Alessio Lomuscio, Mark Ryan  Home/Search
Context Related
| cs.ucl.ac.uk/staff...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.ucl.ac.uk/staff/A.Lom...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 (2000) (Correct)
0.6: Extending Interpreted Systems with Some Deontic Concepts - Lomuscio, Sergot (Correct)
0.4: A Logic of Visibility, Perception, and Knowledge.. - Wooldridge, Lomuscio (Correct)
Similar documents based on text: More All
0.4: QLB: A Quantified Logic for Belief - Lomuscio, Colombetti (1996) (Correct)
0.3: An Algorithmic Approach to Knowledge Evolution - Lomuscio, Ryan (1999) (Correct)
0.3: On the relation between Interpreted Systems and Kripke Models - Lomuscio, Ryan (1998) (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/lomuscio99spectrum.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/lomuscio99spectrum.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 Semantic analysis of modal logic (context) - Kripke - 1959
10 The McKinsey axiom is not canonical (context) - Goldblatt - 1991
9 an introduction to the logic of the two notions (context) - Hintikka, Belief - 1962
9 Ideal agents sharing (context) - Lomuscio, Ryan - 1998
9 Normal Multimodal Logics: Automatic Deduction and Logic Prog.. - Baldoni - 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 Reasoning about visibility (context) - Wooldridge, Lomuscio - 2000
3 Generation of unknown environment maps by cooperative low-co.. (context) - de Mantaras, Amat et al. - 1997
2 Sytems for knowledge and belief (context) - van der Hoek - 1993
1 note logic Sn + fp ) pg (context) - on, pg et al. - 1999
1 Observability-based nested belief computation for multiagent.. (context) - Isozaki, Katsuno - 2000
Documents on the same site (http://www.cs.ucl.ac.uk/staff/A.Lomuscio/papers.html): More
The Bit Transmission Problem Revisited - Lomuscio, Sergot (2002) (Correct)
Multi-Agent VSK Logic - Wooldridge, Lomuscio (2000) (Correct)
Dialogue Games for Inconsistent and Biased Information - Lebbink, Witteman, Meyer (2004) (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