Reasoning about Failure - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Reasoning about Failure

Résumé

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.

Mots clés

Dates et versions

hal-03523409 , version 1 (12-01-2022)

Identifiants

Citer

Laszlo Aszalos, Andreas Herzig. Reasoning about Failure. 2nd International Workshop on Engineering Societies in the Agents World (ESAW 2001), Jul 2001, Prague, Czech Republic. pp.74-86, ⟨10.1007/3-540-45584-1_6⟩. ⟨hal-03523409⟩
19 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More