权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Development of High-Performance Systems for Model-based Problem Solving via Answer Set Programming

通过答案集编程开发基于模型的问题解决的高性能系统

基本信息

批准号：
67090203
负责人：
Professor Dr. Torsten Schaub
金额：
--
依托单位：
Lehrstuhl für Wissensverarbeitung und Informationssysteme
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2008
资助国家：
德国
起止时间：
2007-12-31 至 2015-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/67090203?language=en
关键词：
Development Performance Systems Model based

项目摘要

Die Antwortmengenprogrammierung ist ein neuartiges Paradigma zur deklarativen Programmierung, das ursprünglich im Gebiet der Wissensrepräsentation und –verarbeitung entwickelt wurde. Dank ihrer attraktiven Kombination aus einer einfachen, gleichzeitig aber ausdrucksstarken Modellierungssprache mit hochperformanten Problemlösungstechniken hat sie mittlerweile auch das Interesse verwandter Gebiete, wie der Bioinformatik, Robotik oder Systemsynthese geweckt. Die Grundidee der Antwortmengenprogrammierung besteht darin, ein Problem als logisches Programm auszudrücken, so dass die Modelle des Programms die Lösungen des ursprünglichen Problems beschreiben. Obwohl ähnlich zu Prolog-Programmen, basiert die Verarbeitung logischer Programme in der Antwortmengenprogrammierung auf modernen Boole’schen Problemlösungstechniken, die im letzten Jahrzehnt auf dem Gebiet des Erfüllbarkeitstestens entscheidend vorangebracht wurden. Das allübergreifende Ziel unseres Forschungsvorhabens ist die Entwicklung hoch-performanter Systeme zur Antwortmengenprogrammierung (ASP), die neue Standards setzen und das Gebiet für die Behandlung praxisrelevanter Anwendungsprobleme attraktiv machen. Beginnend mit der semantischen Charakterisierung haben wir bereits am Anfang der ersten Projektphase diverse neuartige Algorithmen entwickelt, die zur Implementierung verschiedener sequentieller ASP-Systeme — darunter der preisgekrönte ASP-Löser clasp — geführt haben. Die zweite Hälfte der ersten Projektphase wurde durch das Design und die Implementierung verschiedener Strategien zum parallelen ASP-Lösen dominiert. Überdies haben wir in dieser Phase mit der Umsetzung diverser Formen komplexer Schlussweisen begonnen, die für viele Anwendungen von entscheidender Bedeutung sind. Insgesamt wird unser Vorhaben stets von Anwendungen flankiert, die bei der Steuerung und der Validierung des Designs sowie der Implementierung eine wichtige Rolle spielen. All diese Aktivitäten haben zur Etablierung der offenen Plattform potassco.sourceforge.net geführt, über die unsere Systeme weltweite Verbreitung finden. Ihre Popularität wurde nicht zuletzt durch den Gewinn zahlreicher erster Preise bei internationalen Wettbewerben begünstigt. Bisher haben wir somit die theoretischen Grundlagen unseres Projektvorhabens gelegt und anspruchsvolle sequentielle und parallele Problemlösungsplattformen konzipiert und implementiert. Das jetzige Ziel besteht darin, die Leistungsfähigkeit der parallelen Plattform weit über die der seriellen Plattform zu steigern. Das soll nicht nur in Bezug auf Performanz und Robustheit, sondern vielmehr auch hinsichtlich der Mächtigkeit des Lösungsansatzes geschehen. Dafür wollen wir neue parallele Lösungstechniken entwickeln, die das gesamte Spektrum an komplexen ASP-Schlussweisen abdecken. Unser besonderes Interesse gilt dabei Sprachkonstrukten und Schlussweisen, die eine erhöhte Komplexität besitzen sowie der dazugehörigen Implementierung durch mehrere interagierende Lösungsmodule. Diese Hauptaufgabe wird zum einen durch die Weiterentwicklung der grundlegenden Suchverfahren und zum anderen durch infrastrukturelle Verbesserungen und eine kontinuierliche Validierung begleitet, um so die Nachhaltigkeit der von uns zu entwickelnden ASP-Lösungstechnologie zu garantieren.

2 .反wowomengenprogrammierung - in neuarties paradigm zur declarationprogrammierung， as unsprspr<s:1> nglich - Gebiet der Wissensrepräsentation und - verarbeung entwickelt wurde。我们认为，更有吸引力的组合是更有吸引力的，更有吸引力的组合是更有吸引力的，更有吸引力的组合是更有吸引力的，更有吸引力的组合是更有吸引力的。Die Grundidee der antwormengenprogrammierung best darin, in Problem als logisches Programm auszudrcken, so pass Die Modelle des Programms Die Lösungen des urspr<e:1> nglichen Problems beschreiben。Obwohl ähnlich prologi - programmen, basiert die verarbeung logischer Programme in der antwormenmengenprogrammierung aufen Boole 'schen Problemlösungstechniken, die im letzten Jahrzehnt aufdem Gebiet des erafilbarkeitstestens entscheidendvorangebracht wurden。as allbergreifende Ziel unseres forschungsvohabens ist die Entwicklung - performance Systeme zur antwormengenprogrammiung (ASP)， die neue Standards seten and Das Gebiet fgr die Behandlung实践相关的anwendungsproblem - attrakmachine。beginnendsemantischen Charakterisierung haben与berits在Anfang der ersten项目中相异的neutige algorithm entwickelt， die zerimplementierung verschiedensequentieller asp - system - darunderderderderpreisgekrönte ASP-Löser clapper - gefhrt haben。模具zweite Hälfte der ersten项目阶段的设计和模具实施的verschiedener策略zum parallelen ASP-Lösen dominiert。Überdies haben wir in dieser Phase mit der Umsetzung diverser Schlussweisen begonnen, die fere viele Anwendungen von entscheidender Bedeutung sind。在Vorhaben stents von Anwendungen flankiert， die bei der Steuerung和der valididerung des Designs，以及der Implementierung eichtige Rolle spielen。所有疾病Aktivitäten haben zur Etablierung der offenen platform potassco.sourceforge.net gef<s:1> hrt, ber die unsere Systeme weltweite Verbreitung finden。Ihre Popularität wurde night zuletzt durch den Gewinn zahlreicher erster Preise bei internationalen Wettbewerben begingst。比舍尔·哈本斯将研究一些理论问题，如：“理论与理论”，“理论与实践”，“理论与实践”，“理论与实践”，“理论与实践”，“理论与实践”，“理论与实践”。Das jetzige Ziel best darin, die Leistungsfähigkeit der parallelen platform weit, die der serien platform zusteigern。今天晚上，在德国柏林的高性能与健壮性展览会上，现代音乐大师们将在德国德国Mächtigkeit des Lösungsansatzes geschehen上展示他们的作品。dafr_wollen与neue parallele Lösungstechniken entwickeln， die das gesamte spectrum and komplexen ASP-Schlussweisen abdecken。Unser besonderes Interesse gilt dabei sprachkonstrkten and Schlussweisen, die eine erhöhte Komplexität besitzen sowie der dazugehörigen Implementierung durch mehrere interagierende Lösungsmodule。德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国