Unified logic programming approach to the abduction of plans and intentions in information-seeking dialogues
✍ Scribed by Paulo Quaresma; JoséGabriel Lopes
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 820 KB
- Volume
- 24
- Category
- Article
- ISSN
- 0743-1066
No coin nor oath required. For personal study only.
✦ Synopsis
~>
We propose a framework that supports the recognition of plans and intentions behind speech acts through abductive inferences over discourse sentences. These inferences allow each agent to have an active and intelligent participation in dialogues, namely, in cooperative information-seeking dialogues. In our framework, the possible actions, events, states, and world knowledge are represented by extended logic programs (LP with explicit .... negation), and the abductive inference porcess is modeled by the framework proposed by Pereira et al. [13], which is based on the Well Founded Semantics augmented with explicit negation (WFSX) and contradiction removal semantics (CRSX). It will be shown how this framework supports abductive planning with Event Calculus [5], and some examples will be shown [10,14] in the domain of information-seeking dialogues. Finally, some open problems will be pointed out. <1
1. Introduction
A robust man-machine interaction requires the capability for inferring the beliefs, intentions, and plans of each active agent. In order to deal with these problems, there has been a lot of work done taking different views and approaches. One major