A spectrum of modes of knowledge sharing between agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1757, Issue , 2000, Pages 13-26

  Lomuscio, Alessio ^a   Ryan, Mark ^b  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE MANAGEMENT; MULTI AGENT SYSTEMS;

KNOWLEDGE-SHARING; SYSTEMATIC EXPLORATION; TWO AGENTS;

INTELLIGENT AGENTS;

EID: 84942844709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10719619_2     Document Type: Conference Paper

References (19)

1. M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Universitá degli Studi di Torino, Italy, 1998.
2. L. Catach. Normal multimodal logics. In T. M. Smith and G. R. Mitchell, editor, Proceedings of the 7th National Conference on Artificial Intelligence (AAAI’88), pages 491–495, St. Paul, MN, August 1988. Morgan Kaufmann.
3. R. López de Mantaras, J. Amat, F. Esteva, M. López, and C. Sierra. Generation of unknown environment maps by cooperative low-cost robots. In W. L. Johnson and B. Hayes-Roth, editors, Proceedings of the 1st International Conference on Autonomous Agents, pages 164–169, New York, February 5–8 1997. ACM Press.
4. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
5. R. Goldblatt. The McKinsey axiom is not canonical. The Journal of Symbolic Logic, 56(2):554–562, June 1991.
6. J. Halpern and M. Vardi. Model checking vs. theorem proving: a manifesto, pages 151–176. Artificial Intelligence and Mathematical Theory of Computation. Academic Press, Inc, 1991.
7. J. Hintikka. Knowledge and Belief, an introduction to the logic of the two notions. Cornell University Press, Ithaca (NY) and London, 1962.
8. W. van der Hoek. Sytems for knowledge and belief. Journal of Logic and Computation, 3(2):173–195, April 1993.
9. 2p}, 1999. Private Communication.
10. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, New York, 1996.
11. I. Isozaki and H. Katsuno. Observability-based nested belief computation for multiagent systems and its formalization. In N.R. Jennings andY. Lespérance, editors, Intelligent Agents VI — Proceedings of the Sixth InternationalWorkshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000. In this volume.
12. S. Kraus and D. J. Lehmann. Knowledge, belief, and time. Theoretical Computer Science, 58:155–174, 1988.
13. S. A. Kripke. Semantic analysis of modal logic (abstract). Journal of Symbolic Logic, 24:323–324, 1959.
14. A. Lomuscio. Knowledge Sharing among Ideal Agents. PhD thesis, School of Computer Science, University of Birmingham, Birmingham, UK, June 1999.
15. A. Lomuscio and M. Ryan. Ideal agents sharing (some!) knowledge. In H. Prade, editor, Proceedings of Proceedings of the 13th European Conference on Artificial Intelligence, pages 557–561, August 1998.
16. A. Lomuscio and M. Ryan. An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), 13(2), 1999.
17. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambdridge University Press, 1995.
18. S. Popkorn. First Steps in Modal Logic. Cambridge University Press: Cambridge, England, 1994.
19. M. Wooldridge and A. Lomuscio. Reasoning about visibility, perception and knowledge. In N.R. Jennings and Y. Lespérance, editors, Intelligent Agents VI — Proceedings of the Sixth InternationalWorkshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000. In this volume.