Towards Efficient Modeling of Distributed Knowledge Using Equational and Order-sorted Logic (1994) [1 citations — 0 self]
by Renata Wassermann, Fl'avio S. Correa Da Silva
http://www.ime.usp.br/~renata/pap26_5.ps.gz
Add To MetaCart
Abstract:
Reasoning about multiple interacting agents is important for many areas of research such as distributed computing, artificial intelligence, game theory, decision theory, cognitive science, economics and psychology. J. Y. Halpern and colleagues [HM90, HF89, HT93] have proposed the use of multiagent epistemic logics to formalise reasoning about multiple agents. In the present paper we extend their proposal to allow grouping of agents, and propose a strategy to build efficient resolution-based logic programs for automated reasoning about interacting agents.
Citations
| 414 | Knowledge and common knowledge in a distributed environment – Halpern, Moses - 1984 |
| 140 | Towards a meaning of LIFE – t-Kaci, Podelski - 1993 |
| 88 | Modelling knowledge and action in distributed systems – Halpern, Fagin - 1989 |
| 64 | Knowledge, probability, and adversaries – Halpern, Tuttle - 1993 |
| 32 | G.: A complete and recursive feature theory – Backofen, Smolka - 1995 |
| 28 | Multimodal logic programming using equational and order-sorted logic – Debart, Enjalbert, et al. - 1992 |
| 23 | Taxonomic reasoning with many-sorted logics – Cohn - 1989 |
