Dialogue Understanding in a Logic of Action and Belief

Authors

  • Alfredo Gabaldon Carnegie Mellon University
  • Pat Langley Carnegie Mellon University

DOI:

https://doi.org/10.1609/aaai.v29i1.9231

Keywords:

Dialogue understanding, Belief Ascription, Incremental processing

Abstract

In recent work, Langley et al. (2014) introduced UMBRA, a systemfor plan and dialogue understanding. The program applies a form of abductive inference to generate explanations incrementally from relational descriptions of observed behavior and knowledge inthe form of rules. Although UMBRA's creators described the systemarchitecture, knowledge, and inferences, along with experimental studies of its operation, they did not provide a formalization of its structures or processes. In this paper, we analyze both aspects  of the architecture in terms of the Situation Calculus — a classicallogic for reasoning about dynamical systems — and give a specification of the inference task the system performs. After this, we state some properties of this formalization thatare desirable for the task of incremental dialogue understanding. We conclude by discussing related work and describing our plans for additional research.

Downloads

Published

2015-02-10

How to Cite

Gabaldon, A., & Langley, P. (2015). Dialogue Understanding in a Logic of Action and Belief. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9231

Issue

Section

AAAI Technical Track: Cognitive Systems