Dialogue Understanding in a Logic of Action and Belief
Authors: Alfredo Gabaldon, Pat Langley
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we analyze both aspects of the architecture in terms of the Situation Calculus a classical logic for reasoning about dynamical systems and give a specification of the inference task the system performs. Our formalization is novel and of independent interest, but it also contributes by providing a formal representation of UMBRA s knowledge structures and a specification of the dialogue understanding problem it addresses. |
| Researcher Affiliation | Collaboration | Alfredo Gabaldon and Pat Langley Silicon Valley Campus Carnegie Mellon University Moffett Field, CA 94035 USA alfredo.gabaldon@sv.cmu.edu patrick.w.langley@gmail.com Current affiliation: GE Global Research, One Research Circle, Niskayuna, NY 12309 |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link regarding the release of open-source code for the described methodology. |
| Open Datasets | No | This paper is theoretical and does not use or reference any datasets for training or evaluation. |
| Dataset Splits | No | This paper is theoretical and does not involve data or experiments, so there are no training, validation, or test dataset splits mentioned. |
| Hardware Specification | No | This paper focuses on a theoretical formalization and does not report on experiments, thus no hardware specifications are mentioned. |
| Software Dependencies | No | This paper focuses on a theoretical formalization and does not report on experiments, thus no software dependencies with version numbers are mentioned. |
| Experiment Setup | No | This paper focuses on a theoretical formalization and does not report on experiments, thus no experimental setup details like hyperparameters or training configurations are provided. |