Artificial Intelligence
Proceedings of the first international conference on Artificial intelligence planning systems
A critical evaluation of commensurable abduction models for semantic interpretation
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
Hi-index | 0.00 |
This paper presents a system that is capable of representing situations, states, and nondeterministic nonmonotonic-outcome actions occurring in multiple possible worlds. The system supports explicit representations of actions and situations used in intentional action theory and situation theory. Both types and instances are supported. Situations and states before and after nonmonotomic actions can be represented simultaneously. Agents have free will as to whether to choose to perform an action or not. Situations and actions can have expected values, allowing the system to support decision-making and decision-based plan inferencing. The system can perform global reasoning simultaneously across multiple possible worlds, without being forced to extend each world explicitly. The resulting system is useful for such natural language tasks as plan recognition, intentions modeling, and parallel task scheduling.