Gerhard Lakemeyer  Home/Search
Context Related
| kbsg.informatik.rw...akemeyer1994.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: In traditional formal approaches to knowledge representation, agents are assumed to believe all the logical consequences of their knowledge bases. As a result, reasoning in the first-order case becomes undecidable. Since real agents are constrained by resource limitations, it seems appropriate to look for weaker forms of reasoning with better computational properties. One way to approach the problem is by modeling belief. Reasoning can then be understood as the question whether a belief follows ... (Update)
Context of citations to this paper: More
.... Some of these classical approaches have been extended and improved in more recent proposals (e.g. Lake87] LaLe88] Lake91a] [Lake94], Delg95] Wansing shows in [Wans90] how some of these logics can be seen as particular instances of a more general non normal worlds...
...possible worlds model s logical omniscience. Many of these proposals, e.g. the logic of Levesque [20] subsequently refined by Lakemeyer [19] and by Delgrande [5] and the logic of Fagin, Halpern, and Vardi [6] can be seen as making believers perfect reasoners in a weak logic...
Cited by: More
Limited Reasoning in First-Order Knowledge Bases with Full.. - Lakemeyer (1996) (Correct)
Active Logics: A Unified Formal Approach to Episodic.. - Elgot-Drapkin, Kraus, .. (Correct)
Approximate Reasoning about Combined Knowledge - Koriche (1998) (Correct)
Active bibliography (related documents): More All
0.7: On Perfect Introspection with Quantifying-in - Lakemeyer (1992) (Correct)
0.3: Evaluation-Based Reasoning with Disjunctive Information in.. - Lakemeyer, Levesque (2002) (Correct)
0.3: Unknown - Formalization And Experimentation (Correct)
Similar documents based on text: More All
0.2: Multi-Agent Only Knowing - Halpern, Lakemeyer (1996) (Correct)
0.1: Levesque's Axiomatization of Only Knowing is Incomplete - Halpern, Lakemeyer (1995) (Correct)
0.1: Experiences with an Interactive Museum Tour-Guide Robot - Burgard, Cremers, Fox.. (1999) (Correct)
Related documents from co-citation: More All
9: A logic of implicit and explicit belief (context) - Levesque - 1984
6: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
6: A Deduction Model of Belief (context) - Konolige - 1986
BibTeX entry: (Update)
G. Lakemeyer. Limited reasoning in first-order knowledge bases. Artificial Intelligence Journal 71:1--42, 1994. http://citeseer.ist.psu.edu/lakemeyer94limited.html More
@article{ lakemeyer94limited,
author = "Gerhard Lakemeyer",
title = "Limited Reasoning in First-Order Knowledge Bases",
journal = "Artificial Intelligence",
volume = "71",
number = "2",
pages = "213--255",
year = "1994",
url = "citeseer.ist.psu.edu/lakemeyer94limited.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
982 Theoretical Computer Science (context) - Girard - 1987
311 Semantical Considerations on Nonmonotonic Logic (context) - Moore - 1985
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
200 Introduction to Mathematical Logic (context) - Mendelson - 1979
191 Linear-Time Algorithms for Testing the Satisfiability of Pro.. (context) - Dowling, Gallier - 1984
183 A Useful Four-Valued Logic (context) - Belnap - 1977
161 A Logic of Implicit and Explicit Belief (context) - Levesque - 1984
119 All I Know: A Study in Autoepistemic Logic (context) - Levesque - 1990
102 Semantical Considerations on Modal Logic (context) - Kripke - 1963
97 Knowledge Compilation Using Horn Approximations - Selman, Kautz - 1991
88 Hard Problems for Simple Default Logics - Kautz, Selman - 1991
86 Foundations of a Functional Approach to Knowledge Representa.. (context) - Levesque - 1984
77 Tractable Concept Languages (context) - Donini, Lenzerini et al. - 1991
76 Making Believers out of Computers (context) - Levesque - 1986
72 A Fundamental Tradeoff in Knowledge Representation and Reaso.. (context) - Levesque - 1985
66 A knowledge-level account of abduction (context) - Levesque - 1989
59 Naming and Necessity (context) - Kripke - 1980
58 A Guide to the Modal Logics of Knowledge and Belief (context) - Halpern, Moses - 1985
42 Knowledge and Belief: An Introduction to the Logic of the Tw.. (context) - Hintikka - 1962
28 A Nonstandard Approach to the Logical Omniscience Problem - Fagin, Halpern et al. - 1990
27 the Logic of Relevance and Necessity (context) - Anderson, Belnap - 1975
26 A Decidable Fragment of Predicate Calculus (context) - Ketonen, Weyhrauch - 1984
23 Intuitive Semantics for First-Degree Entailments and Coupled.. (context) - Dunn - 1976
23 The Semantics of Entailment (context) - Routley, Meyer - 1973
22 Model-Preference Default Theories (context) - Selman, Kautz - 1990
21 Annual Reviews of Computer Science (context) - Reiter - 1987
17 The Role of Logic in Knowledge Representation and Common Sen.. (context) - Moore - 1982
17 Towards a Theory of Access-Limited Logic for Knowledge Repre.. - Crawford, Kuipers - 1989
14 Steps Towards a First-Order Logic of Explicit and Implicit B.. (context) - Lakemeyer - 1986
11 A Decidable First-Order Logic for Knowledge Representation (context) - Patel-Schneider - 1985
10 Semantics of First Degree Entailment (context) - Routley, Routley - 1972
10 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schau - 1989
10 Knowledge Retrieval as Specialized Inference (context) - Frisch - 1986
7 Annual Reviews Computer Science (context) - Levesque - 1986
7 A Computationally Attractive First-Order Logic of Belief (context) - Lakemeyer - 1991
7 Obvious Logical Inferences (context) - Davis - 1981
5 Models of Belief for Decidable Reasoning in Incomplete Knowl.. (context) - Lakemeyer - 1990
5 Limited Reasoning in First-Order Knowledge Bases with Intros.. - Lakemeyer
4 Decidable Reasoning in First-Order Knowledge Bases with Perf.. (context) - Lakemeyer - 1990
4 Decidable Reasoning in First-Order Knowledge Bases with Perf.. (context) - Lakemeyer - 1991
4 Logic-Based Knowledge Representation (context) - Patel-Schneider - 1987
4 Enhancing the Power of a Decidable First-Order Reasoner (context) - Lakemeyer, Meyer
3 An Overview of Automated Reasoning and Related Fields (context) - Wos, Pereira et al. - 1985
2 On Perfect Introspection with Quantifying - Lakemeyer - 1992
1 Taxonomic Syntax for First Order Infrence (context) - McAllester, Givan - 1993
1 First Degree Entailments (context) - Anderson, Belnap - 1963
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)
Extending DTGolog with Options - Ferrein, Fritz, Lakemeyer (2003) (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