Reasoning about knowledge
The logic of knights, knaves, normals and mutes
Acta Cybernetica
To trust information sources: a proposal for a modal logical framework
Trust and deception in virtual societies
Lotrec: The Generic Tableau Prover for Modal and Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
A logic for semi-public communication in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Hi-index | 0.00 |
In this paper we investigate a modal logic of believing and saying to reason about unreliable agents in a system of communicating agents. We suppose that communication is reliable and semi-public: an agent's utterances are communicated to all the adjacent agents. We suppose that to each agent is associated some set of facts that he monitors, and that his perception is perfect in what concerns these facts. We show how an agent can detect failure of another agent by deduction in our logic. To that end we use a tableau theorem prover for our logic.