Paper Info
Title
Abductive logic programming agents with destructive databases
Abstract
In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive updates to manipulate a database, which represents the current state of the environment. The language builds upon the ALP combination of logic programs, to represent an agent's beliefs, and integrity constraints, to represent the agent's goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. The execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent's goals and beliefs all true.
Year
DOI
Venue
2011
10.1007/s10472-011-9253-y
Ann. Math. Artif. Intell.
Keywords
DocType
Volume
Abductive logic programming,Agent languages,Model-theoretic semantics,68T42,68T27
Journal
62
Issue
ISSN
Citations 
1-2
1012-2443
15
PageRank 
References 
Authors
0.63
20
2
Name
Order
Citations
PageRank
Robert A. Kowalski141871066.36
Fariba Sadri21475173.43