240 search results - page 17 / 48 » A Logic for Reasoning about Rational Agents |
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
WOA
2000
15 years 1 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
IEEEICCI
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
DALT
2003
Springer
15 years 5 months ago
2003
Springer
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...
IGPL
2010
14 years 9 months ago
2010
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...