Logics of time and computation
Logics of time and computation
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Intention is choice with commitment
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
A first-order branching time logic of multi-agent systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Artificial Intelligence
PLACA, an agent oriented programming language
PLACA, an agent oriented programming language
Guarantees for autonomy in cognitive agent architecture
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Compositional formal specification of multi-agent systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Unravelling nondeterminism: on having the ability to choose (extended abstract)
AIMSA '94 Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications: methodology, systems, applications
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Belief Revision
Logics of Mental Attitudes in AI
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
The Dynamics of Default Reasoning (Extended Abstract)
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Epistemic Approach to Actions with Typical Effects
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Analytic Modal Revision for Multi-agent Systems
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Verifying epistemic properties of multi-agent systems via bounded model checking
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Hi-index | 0.00 |
In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically.