Using Meta-Logic to Reconcile Reactive With Rational Agents (1995)
| Venue: | Meta-logics and Logic Programming |
| Citations: | 63 - 6 self |
BibTeX
@INPROCEEDINGS{Kowalski95usingmeta-logic,
author = {Robert Kowalski},
title = {Using Meta-Logic to Reconcile Reactive With Rational Agents},
booktitle = {Meta-logics and Logic Programming},
year = {1995},
pages = {227--242},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
: In this paper I outline an attempt to reconcile the traditional Artificial Intelligence notion of a logic-based rational agent with the contrary notion of a reactive agent that acts "instinctively" in response to conditions that arise in its environment. For this purpose, I will use the tools of meta-logic programming to define the observation-thought-action cycle of an agent that combines the ability to perform resource-bounded reasoning, which can be interrupted and resumed any time, with the ability to act when it is necessary. 1 Introduction The traditional notion of an intelligent agent in Artificial Intelligence is that of a rational agent that has explicit representations of its own goals and of its beliefs about the world. These beliefs typically include beliefs about the actions that the agent can perform and about the effects of those actions on the state of the world. This traditional notion of intelligent agent has been challenged in recent years by the contrary notion o...
