Reasoning situated in time I: basic concepts
Journal of Experimental & Theoretical Artificial Intelligence
Maintaining mental models of agents who have existential misconceptions
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Contexts: a formalization and some applications
Contexts: a formalization and some applications
A view of one's past and other aspects of reasoned change in belief
A view of one's past and other aspects of reasoned change in belief
Fully Deadline-Coupled Planning: One Step at a Time
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Step-logic: reasoning situated in time
Step-logic: reasoning situated in time
Semantical considerations on nonmonotonic logic
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Reasoning in the presence of inconsistency
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Communication across Viewpoints
Journal of Logic, Language and Information
Hi-index | 0.00 |
Context plays a crucial role in natural-language dialogues. But context can change over the course of a dialogue, and thus communicating agents are tasked with identifying and keeping track of context shifts in order to understand conversations. But context is not wholly objective; each participant in a dialogue has her own view of context. At times the parties involved in a dialogue will unknowingly presume different (aspects of) contexts from one another, perhaps because one person has not kept up with the other's most recent context shift. The resulting context clash may lead to confusion or miscommunication. Agents must be prepared to sort out these confusions when they become evident. Active logics can be successfully utilized by an agent facing confusions such as those that arise when a context clash leads her to misidentify an object. In this paper the active logic approach to resolving such effects of a context clash is sketched. The agent's misidentification is initially reflected in her beliefs, and belief revision is later used to resolve this effect of the clash. As theoretical tools active logics have proven useful for solving a varied array of commonsense reasoning problems, but with implementation comes space and time complexity concerns. These are also discussed along with a proposed partial remedy based in part on context or focus-of-attention.