LILaC
- paper abstract
Reasoning about failure
Aszalos, Laszlo and Herzig, Andreas
Abstract:
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.
PostScript
PostScript, gzipped
Bibtex-entry:
@InProceedings{AsHe-Esaw01,
author = {Aszal{\'o}s, L{\'a}szl{\'o} and Herzig, Andreas },
title = "{Reasoning about Failure}",
booktitle = {Engineering Societies in the Agents' World,
2nd Int. Workshop (ESAW'01), Prague},
publisher = {},
year = {2001},
month = {7 juillet},
pages = {12},
}
https://www.irit.fr/~Andreas.Herzig