Sciweavers

1316 search results - page 29 / 264
» Intelligent Agents: Issues and Logics
Sort
View
AAAI
1990
14 years 11 months ago
An Approach to Reasoning About Continuous Change for Applications in Planning
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
Thomas Dean, Greg Siegle
AUSAI
2006
Springer
15 years 1 months ago
Hardware Implementation of Temporal Nonmonotonic Logics
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
Insu Song, Guido Governatori
ATAL
2006
Springer
15 years 1 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
LANMR
2007
14 years 11 months ago
Analysis of the paraconsistency in some logics
In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful t...
Eduardo Ariza, José Arrazola
ATAL
1997
Springer
15 years 1 months ago
On the Epistemic Foundations of Agent Theories
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
Ho Ngoc Duc