Alessio Lomuscio, Mark Ryan  Home/Search
Context Related
| cs.bham.ac.uk/pub/authors/A...Aiedam.ps cs.bham.ac.uk/pub/author...99aiedam.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/~arl/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5 n has been designed for representing knowledge bases in societies of agents. Halpern and Vardi have proposed the notion of refinement of S5 n Kripke models in order to solve multi-agent problems in which knowledge evolves. We argue that there are some problems with their proposal and attempt to solve them by moving from Kripke models to their corresponding trees.... (Update)
Context of citations to this paper: More
.... Such an assumption about knowledge agents being ideal does not necessarily rule out an application, say, to robotics; see e.g. [60]. This way, for the relevant kind of knowing agents, we cannot assume veridical knowledge (such that if something is known by the agent,...
Cited by: More
Playing Cards with Hintikka - An Introduction to.. - van Ditmarsch, van.. (2005) (Correct)
Iterated Belief Change in MAS - Roorda, van der Hoek, al. (2002) (Correct)
A Spectrum of Modes of Knowledge Sharing between Agents - Lomuscio, Ryan (1999) (Correct)
Active bibliography (related documents): More All
0.5: Robotics And Radiation Hardening In The Nuclear Industry - Houssay (2000) (Correct)
0.2: Vivid Agents: Theory, Architecture, and Applications - Schroeder, Wagner (1998) (Correct)
0.2: Tabling for Non-monotonic Programming - Swift (1999) (Correct)
Similar documents based on text: More All
0.3: Knowledge in Multiagent Systems: Initial.. - Lomuscio, Van Der.. (2000) (Correct)
0.2: Model Checking Knowledge and Time - van der Hoek, Wooldridge (2002) (Correct)
0.2: Ideal Agents Sharing (some!) Knowledge - Lomuscio, Ryan (Correct)
Related documents from co-citation: More All
5: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
5: Epistemic Logic for AI and Computer Science (context) - Ch, van der Hoek - 1995
3: Knowledge Sharing among Ideal Agents (context) - Lomuscio - 1999
BibTeX entry: (Update)
A. Lomuscio and M. Ryan. An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM), 13(2), 1999. http://citeseer.ist.psu.edu/lomuscio99algorithmic.html More
@misc{ lomuscio99algorithmic,
author = "A. Lomuscio and M. Ryan",
title = "An algorithmic approach to knowledge evolution",
text = "A. Lomuscio and M. Ryan. An algorithmic approach to knowledge evolution.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
(AIEDAM), 13(2), 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/lomuscio99algorithmic.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
539 The temporal logic of programs (context) - Pnueli - 1977
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
237 Intelligent agents: Theory and practice - Wooldridge, Jennings - 1995
194 Knowledge and Belief (context) - Hintikka - 1962
168 The temporal logic of actions - Lamport - 1994
123 A Companion to Modal Logic (context) - Hughes, Cresswell - 1984
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1993
114 Logics of Time and Computation (context) - Goldblatt - 1992
100 Epistemic Logic for AI and Computer Science (context) - Meyer, van der Hoek - 1995
66 Temporal logics in AI: Semantical and ontological considerat.. (context) - Shoham - 1987
51 First Steps in Modal Logic (context) - Popkorn - 1994
29 Introduction to robotics (context) - McKerrow - 1991
25 ARCHON: Theory and practice (context) - Jennings, Wittig - 1992
15 Model checking vs (context) - Halpern, Vardi - 1991
12 Diagnosis process dynamics: Holding the diagnostic trackhoun.. - Bottcher, Dressler - 1993
10 Semantic analysis of modal logic (context) - Kripke - 1959
4 Model-based Diagnosis Agents (context) - Schroeder - 1998
2 TROD cleans up at Nine Mile Point 1 (context) - Gerriets - 1992
1 Model checking and refinement for S5n (context) - Lomuscio, Ryan - 1998
1 Strategies in model-based diagnosis - Frohlich, Nejdl et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bham.ac.uk/~arl/papers.html): More
QLB: A Quantified Logic for Belief - Lomuscio, Colombetti (1996) (Correct)
QLB: Una Logica Quantificata delle Credenze - Lomuscio Lomuscio (Correct)
Ideal Agents Sharing (some!) Knowledge - Lomuscio, Ryan (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