Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by Gerhard Lakemeyer

(view other items matching `Gerhard Lakemeyer`,view all matches )
11 found
Order:

1 filter applied
  1.  18
    The Logic of Knowledge Bases.Hector J. Levesque &Gerhard Lakemeyer -2001 - MIT Press.
    This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is (...) told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  14
    A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer &Hector J. Levesque -2011 -Artificial Intelligence 175 (1):142-164.
  3.  33
    Experiences with an interactive museum tour-guide robot.Wolfram Burgard,Armin B. Cremers,Dieter Fox,Dirk Hähnel,Gerhard Lakemeyer,Dirk Schulz,Walter Steiner &Sebastian Thrun -1999 -Artificial Intelligence 114 (1-2):3-55.
  4.  11
    Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer -1994 -Artificial Intelligence 71 (2):213-255.
  5.  16
    Relevance from an epistemic perspective.Gerhard Lakemeyer -1997 -Artificial Intelligence 97 (1-2):137-167.
  6.  26
    Belief revision and projection in the epistemic situation calculus.Christoph Schwering,Gerhard Lakemeyer &Maurice Pagnucco -2017 -Artificial Intelligence 251 (C):62-97.
  7.  17
    Levesque's axiomatization of only knowing is incomplete.Joseph Y. Halpern &Gerhard Lakemeyer -1995 -Artificial Intelligence 74 (2):381-387.
  8.  14
    Limited reasoning in first-order knowledge bases with full introspection.Gerhard Lakemeyer -1996 -Artificial Intelligence 84 (1-2):209-255.
  9.  11
    Semantical considerations on multiagent only knowing.Vaishak Belle &Gerhard Lakemeyer -2015 -Artificial Intelligence 223 (C):1-26.
  10.  19
    SLAP: Specification logic of actions with probability.Gavin Rens,Thomas Meyer &Gerhard Lakemeyer -2014 -Journal of Applied Logic 12 (2):128-150.
    Direct download(3 more)  
     
    Export citation  
     
    Bookmark  
  11.  146
    The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer -2010 -Journal of Logic, Language and Information 19 (4):431-450.
    The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...) of the original. (shrink)
    Direct download(4 more)  
     
    Export citation  
     
    Bookmark  
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-5b9ff6f457-sbjvh uwo
[8]ページ先頭
©2009-2025 Movatter.jp