Detail príspevku/publikácie

Logic Programming and Interactive Applications

Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 187-205.
Súbor na stiahnutie: PDF*
BibTex EndNote Tagged EndNote XML RIS

Štatistika dokumentu:

Počet prístupov: 2,593
Počet prístupov dnes: 1
Naposledy zobrazené: 24.04.2024 - 22:55
Počet stiahnutí PDF: 629

Abstrakt

Answer Set Programming (ASP) is a logic programming based, truly declarative formalism for general purpose problem solving. Its declarative nature allows users to solve problems by defining what the solutions are instead of how to find them. Complete lack of an imperative component in ASP makes creation of end user applications or integration with other systems demanding. External tools that can process and interpret the output of ASP solvers are needed. To address this issue in the case of simple applications with an input – output interaction loop we introduce a framework for iterative logic applications. Such applications consist of a core logic program that is used to evaluate user actions w.r.t. their current state and to derive a new state of the application. We take care to define the framework in a way that allows it to be used also with other formalism, especially SAT solvers. We also present a web based implementation of such framework for ASP.

Kľúčové slová

Answer Set Programming, Declarative Problem Solving, Interactive Applications, Logic Programming

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).