Alessio Lomuscio, Mark Ryan  Home/Search
Context Related
| cs.bham.ac.uk/pub/autho...99atal.ps.gz doc.ic.ac.uk/~ales...uscioRyanATAL99.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/~mdr/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The logic S5n is widely used as the logic of knowledge for ideal agents in a multi-agent system. Some extensions of S5n have been proposed for expressing knowledge sharing between the agents, but no systematic exploration of the possibilities has taken place. In this paper we present a spectrum of degrees of knowledge sharing by examining and classifying axioms expressing the sharing. We present completeness results and a diagram showing the relations between some of the principal... (Update)
Context of citations to this paper: More
.... imagine broad spectrum of possible speci cations on how private states of knowledge are a ected by other agents knowledge (see [Lomuscio and Ryan 2000] for a detailed exposition) At one end of the spectrum we have the system S5 in which all agents have the same knowledge. This...
...of multi agent systems has continued. It has resulted in a successfully defended PhD thesis [Lom99] and also the papers [LR99a, LR99b, LR98] Another FIREworks related PhD thesis [Gue99] has been completed and will be examined in a few weeks. 3.3 FUNDP: Namur, Belgium...
Cited by: More
FireWorks - Technical Report for Year 2 - Ryan (1999) (Correct)
Knowledge in Multiagent Systems: Initial.. - Lomuscio, van der.. (2000) (Correct)
Active bibliography (related documents): More All
1.3: A Spectrum of Modes of Knowledge Sharing between Agents - Lomuscio, Ryan (1999) (Correct)
0.4: A Logic of Visibility, Perception, and Knowledge.. - Wooldridge, Lomuscio (Correct)
0.3: On the relation between Interpreted Systems and Kripke Models - Lomuscio, Ryan (1998) (Correct)
Similar documents based on text: More All
0.1: Ideal Agents Sharing (some!) Knowledge - Lomuscio, Ryan (Correct)
0.1: Combining Logics for Multi-agent Systems - Lomuscio, Ryan (1997) (Correct)
0.1: An Algorithmic Approach to Knowledge Evolution - Lomuscio, Ryan (1999) (Correct)
Related documents from co-citation: More All
2: Knowledge Sharing among Ideal Agents (context) - Lomuscio - 1999
BibTeX entry: (Update)
Lomuscio, A. and Ryan, M. 2000. A spectrum of modes of knowledge sharing between agents. In M. J. Wooldridge and N. R. Jennings Eds., Intelligent Agents VI | Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Volume 1757 of Lecture Notes in Articial Intelligence. Springer-Verlag, Heidelberg. http://citeseer.ist.psu.edu/article/lomuscio00spectrum.html More
@inproceedings{ lomuscio99spectrum,
author = "Alessio Lomuscio and Mark Ryan",
title = "A Spectrum of Modes of Knowledge Sharing between Agents",
booktitle = "Agent Theories, Architectures, and Languages",
pages = "13-26",
year = "1999",
url = "citeseer.ist.psu.edu/article/lomuscio00spectrum.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
107 A New Introduction to Modal Logic (context) - Hughes, Cresswell - 1996
100 Epistemic Logic for AI and Computer Science (context) - Ch, van der Hoek - 1995
51 First Steps in Modal Logic (context) - Popkorn - 1994
43 Theoretical Computer Science (context) - Kraus, Lehmann et al. - 1988
19 Normal multimodal logics (context) - Catach - 1988
13 Knowledge Sharing among Ideal Agents (context) - Lomuscio - 1999
10 The McKinsey axiom is not canonical (context) - Goldblatt - 1991
10 Semantic analysis of modal logic (context) - Kripke - 1959
9 an introduction to the logic of the two notions (context) - Hintikka, Belief - 1962
9 Normal Multimodal Logics: Automatic Deduction and Logic Prog.. - Baldoni - 1998
9 Ideal agents sharing (context) - Lomuscio, Ryan - 1998
7 An algorithmic approach to knowledge evolution - Lomuscio, Ryan - 1999
7 Artificial Intelligence and Mathematical Theory of Computati.. (context) - Halpern, Vardi et al. - 1991
3 Generation of unknown environment maps by cooperative low-co.. (context) - de Mantaras, Amat et al. - 1997
1 note logic Sn + fp ) pg (context) - on, pg et al. - 1999
1 Sytems for knowledge and belief (context) - van der Hoek - 1993
Documents on the same site (http://www.cs.bham.ac.uk/~mdr/papers.html): More
On the relation between Interpreted Systems and Kripke Models - Lomuscio, Ryan (1998) (Correct)
An Algorithmic Approach to Knowledge Evolution - Lomuscio, Ryan (1999) (Correct)
SFI: a Feature Integration Tool - Plath, Ryan (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC