LOGIC PROGRAMMING AND INTERACTIVE APPLICATIONS

• Authors: Alexander Šimko , Jozef Šiška
• Languages of publication: EN

Abstracts

EN

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.

Keywords

EN

ANSWER SET PROGRAMMING; ASP; INTERACTIVE APPLICATIONS; LOGIC PROGRAMMING

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2013
• Volume: 20
• Issue: suppl. 2
• Pages: 187 – 205

Contributors

author

Alexander Šimko

• Katedra aplikovanej informatiky, UK, Mlynská dolina, 842 48 Bratislava, Slovak Republic

author

Jozef Šiška