Practical Reasoning and Plan Execution with Active Logic (1999)
| Venue: | In Proceedings of the IJCAI’99 Workshop on Practical Reasoning and Rationality |
| Citations: | 21 - 4 self |
BibTeX
@INPROCEEDINGS{Purang99practicalreasoning,
author = {K. Purang and Darsana Purushothaman and David Traum and Carl Andersen and Don Perlis},
title = {Practical Reasoning and Plan Execution with Active Logic},
booktitle = {In Proceedings of the IJCAI’99 Workshop on Practical Reasoning and Rationality},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an approach toward design of a rational agent, integrating aspects of theoretical reasoning, practical reasoning, and reasoning about and executing plans. The approach uses Active Logic, which combines reactivity and logical inference, taking resource bounds into account, and providing mechanisms for handling contradiction. We augment this logic with a formalization of practical reasoning and plan execution, which also makes uses of contradiction handling abilities to cope with plan failure. We conclude with a description of a preliminary implementation and plans for embedding that within a dialogue system. 1 Introduction In this paper, we present an approach toward design of a rational agent, integrating aspects of theoretical reasoning, practical reasoning, and reasoning about and executing plans. The approach, based on Active Logic [ Elgot-Drapkin and Perlis, 1990 ] , couples a view of belief as resulting explicitly from inference (or observation), with a resource-bound...
Citations
No citations identified.
