Logic programming and interactive applications

Title:

Logic programming and interactive applications
Logické programování a interaktivní aplikace

Creator:

Šimko, Alexander and Šiška, Jozef

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:5bd0dc4a-81f9-460e-84b7-635beac50d4a
uuid:5bd0dc4a-81f9-460e-84b7-635beac50d4a

Subject:

answer set programming, declarative problem solving, interactive applications, logic programming, programování sady odpovědí, deklarativní řešení problémů, interaktivní aplikace, and logické programování

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

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., Programování odpovědí Set (ASP) je logické programování založené na skutečně deklarativním formalismu pro řešení obecných problémů. Jeho deklarativní charakter umožňuje uživatelům řešit problémy definováním toho, jaká řešení jsou namísto toho, jak je najít. Úplný nedostatek imperativní komponenty v ASP umožňuje vytváření aplikací pro koncové uživatele nebo integraci s jinými systémy náročnými. Jsou zapotřebí externí nástroje, které mohou zpracovávat a interpretovat výstupy řešitelů ASP. Pro řešení tohoto problému v případě jednoduchých aplikací se vstupní a výstupní interakční smyčkou představujeme rámec pro iterativní logické aplikace. Tyto aplikace se skládají z jádrového logického programu, který se používá k vyhodnocení akcí uživatele s jejich aktuálním stavem a odvození nového stavu aplikace. Dbáme na to, abychom tento rámec definovali způsobem, který umožní jeho použití i s jiným formalismem, zejména SAT řešiteli. Představujeme také webovou implementaci takového rámce pro ASP., and Alexander Šimko ; Jozef Šiška

Language:

Slovak

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Source:

Organon F: filozofický časopis | 2013 Volume:20 | Number:Supplementary Issue, 2

Harvested from:

CDK

Metadata only:

false