Softwareentwicklung in der Answer-Set Programmierung

01.09.2009 - 31.08.2013
Research funding project
In diesem Projekt sollen geeignete Prinzipien und Techniken erforscht werden, die darauf abzielen, Answer-Set ProgrammiererInnen bei der Entwicklung zu unterstuetzen. Hierbei soll der Fokus vor allem auf Methodologien zur systematischen Proogrammentwicklung, zum Testen von Programmen und zum Debuggen gesetzt werden. Ferner sollen Konzepte zur modularen Programmierung Beruecksichtigung finden als auch der Deklarativitaet der Answer-Set Programmierung Rechnung getragen werden. Um einen hohen Grad an Anwendbarkeit zu gewaehrleisten, sollen neben Loesungen fuer die Kernsprache von ASP auch Verfahren zur Unterstuetzung wichtiger Spracherweiterungen erforscht werden, wie sie in zahlreichen Berechnungssystemen implementiert sind. Darueber hinaus sollen Komplexitaets- und Entscheidbarkeitsfragen fuer die identifizierten Methoden behandelt und im Bedarfsfall eingeschraenkte Techniken und Approximationen bereitgestellt werden. Die aus dem Projekt resultierenden Methoden sollen in eine integrierte Entwicklungsumgebung fuer ASP inkorpiert werden, die sowohl elementare als auch anspruchsvolle Techniken beinhaltet und ein praktisches Werkzeug fuer die Answer-Set Programmierung darstellen soll. Zur Erreichung der Projektziele werden hauptsaechlich formale, logikbasierte Methoden eingesetzt, die sich besonders fuer die Entwicklung neuer innovativer Unterstuetzungstechniken fuer eine deklarative Sprache eignen. Die Bereitstellung von intelligenten Entwicklungsmethoden und Systemen wird einen wesentlichen Einfluss auf das Gebiet der Answer-Set Programmierung haben und den state-of-the-art signifikant erweitern. Weiters erlauben solche Systeme, dass sowohl Anfaenger als auch fortgeschrittene Entwickler leichter den Zugang zu maechtigen Werkzeugen des deklarativen Problemloesens finden koennen.

People

Project leader

Project personnel

Institute

Förderungmittel

  • FWF - Österr. Wissenschaftsfonds (National) Fonds zur Förderung der wissenschaftlichen Forschung (FWF)

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
Answer-Set ProgrammierungAnswer-Set Programming
Software EntwicklungSoftware Developement
Nichtmonotone Logik-ProgrammierungNonmonotonic Logic-Programming
WissensrepräsentationKnowledge Representation
Deklaratives ProblemloesenDeclarative Problem Solving

Publications