Abstract | ||
---|---|---|
In this paper we further develop the formal theory of intentions suggested by C. Baral and M. Gelfond in 2005. In this work the authors formalized the behavior of an agent intending to execute a sequence of actions. The resulting axioms for intentions written in Knowledge Representation language Answer Set Prolog allowed to easily express such properties of intentions as persistence and non-procrastination. This paper expands this work to allow reasoning with intentions in the presence of unexpected observations, and intentions to achieve goals. The theory is formulated in the extension of Answer Set Prolog, called CR-Prolog. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-29414-3_9 | Logic Programs, Norms and Action |
Keywords | Field | DocType |
unexpected observation,knowledge representation language,formal theory,c. baral,m. gelfond,answer set prolog | Logic program,Knowledge representation and reasoning,Theory,Computer science,Cognitive science,Axiom,Prolog,Artificial intelligence,Logic programming | Conference |
Citations | PageRank | References |
1 | 0.41 | 15 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Justin Blount | 1 | 1 | 0.75 |
Michael Gelfond | 2 | 6055 | 492.05 |