Gerhard Lakemeyer Institute of Computer Science III University of Bonn...  Home/Search
Context Related
| kbsg.informatik.rw...akemeyer1996.ps.gz 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: kbsg.informatik...ublications.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Actions depend crucially on what an agent knows and does not know. For example, an action may have a precondition that requires knowing the referent of a term, which is generally referred to as knowing who or knowing what. Alternatively, executing a sense action may be the result of realizing that the referent of a term is not known yet. The latter requires an agent to reason about all it knows about the world. This concept, also called only knowing, has been studied using... (Update)
Context of citations to this paper: More
.... in) We remark that Lakemeyer independently used this approach to give semantics to knowledge and only knowing in the situation calculus [11] (also see [12] This method of mapping situations to global states captures the implicit situation calculus assumption that the agent...
.... 1985) However, the bestknown such reconstruction is (Levesque 1990) extended and discussed in (Halpern Lakemeyer 1995) (Lakemeyer 1993; 1996) and (Lakemeyer Levesque 1998) For an overview of the relationships between these closely related approaches, see (Donini,...
Cited by: More
Total Knowledge - Ian Pratt-Hartmann Department (Correct)
AOL: a logic of acting, sensing, knowing, and only knowing - Lakemeyer, Levesque (1998) (Correct)
Possibility and Infinitary Nondeterminism in the Situation Calculus - Khalil (1997) (Correct)
Active bibliography (related documents): More All
0.1: On sensing and off-line interpreting in GOLOG Gerhard.. - Department Of Computer (1999) (Correct)
0.1: An Approach to Belief in Strong Kleene Logic - Gustavo Núñez.. (Correct)
0.1: Iterated Belief Change in the Situation Calculus - Shapiro, Pagnucco, al. (2000) (Correct)
Similar documents based on text: More All
0.4: Multi-Agent Only Knowing - Halpern, Lakemeyer (1996) (Correct)
0.3: Levesque's Axiomatization of Only Knowing is Incomplete - Halpern, Lakemeyer (1995) (Correct)
0.3: Limited Reasoning in First-Order Knowledge Bases with Full.. - Lakemeyer (1996) (Correct)
Related documents from co-citation: More All
4: All I know: A study in autoepistemic logic (context) - Hector - 1989
3: Towards a theory of knowledge and ignorance: Preliminary report - Halpern, Moses - 1985
3: Levesque's axiomatization of only knowing is incomplete - Halpern, Lakemeyer - 1995
BibTeX entry: (Update)
G. Lakemeyer. Only knowing in the situation calculus. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), pages 14--25. Morgan Kaufmann, Los Altos, 1996. http://citeseer.ist.psu.edu/lakemeyer96only.html More
@incollection{ lakemeyer96only,
author = "Gerhard Lakemeyer",
title = "Only Knowing in the Situation Calculus",
booktitle = "{KR}'96: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Luigia Carlucci Aiello and Jon Doyle and Stuart Shapiro",
pages = "14--25",
year = "1996",
url = "citeseer.ist.psu.edu/lakemeyer96only.html" }
Citations (may not include all citations):388 The Frame Problem in the Situation Calculus: A simple Soluti.. (context) - Reiter - 1991
311 Semantical Considerations on Nonmonotonic Logic (context) - Moore - 1985
240 A Guide to Completeness and Complexity for Modal Logics of K.. (context) - Halpern, Moses - 1992
210 A Formal Theory of Knowledge and Action (context) - Moore - 1985
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
199 Sensor Fusion in Certainty Grids for Mobile Robots (context) - Moravec - 1988
151 The Frame Problem and Knowledge Producing Actions - Scherl, Levesque - 1993
119 All I Know: A Study in Autoepistemic Logic (context) - Levesque - 1990
102 Semantical considerations on modal logic (context) - Kripke - 1963
98 Proving Properties of States in the Situation Calculus - Reiter - 1993
86 Foundations of a Functional Approach to Knowledge Representa.. (context) - Levesque - 1984
78 The Mobile Robot RHINO - Buhmann, Burgard et al. - 1995
65 Temporal Reasoning in the Situation Calculus - Pinto - 1994
61 How to Progress a Database - Reiter, Lin - 1994
42 Knowledge and Belief: An Introduction to the Logic of the Tw.. (context) - Hintikka - 1962
20 Reasoning about Noisy Sensors in the Situation Calculus - Bacchus, Halpern et al. - 1940
10 Levesque's axiomatization of only knowing is incomplete - Halpern, Lakemeyer - 1995
10 Semantic Information Processing (context) - McCarthy, Situations - 1968
9 A Unified View of Belief Revision and Update - Val, Shoham - 1994
1 First-Order Database Progression (context) - Lakemeyer
1 Dept of Computer Science (context) - Reiter - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-kbsg.informatik.rwth-aachen.de/research/publications.php): More
Deliberation in a Metadata-Based Modeling and.. - Gans, Jarke.. (2004) (Correct)
Levesque's Axiomatization of Only Knowing is Incomplete - Halpern, Lakemeyer (1995) (Correct)
Limited Reasoning in First-Order Knowledge Bases - Lakemeyer (1994) (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