Logic in knowledge representation and reasoning: Central topics via readings.

Abstract

Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Knowledge Representation for Philosophers.Richmond H. Thomason - 2012 - In Sven Ove Hansson & Vincent F. Hendricks, Introduction to Formal Philosophy. Cham: Springer. pp. 371-385.
Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test.H. E. Kyburg Jr - 1990 - In Kyburg Henry E. , Loui Ronald P. & Carlson Greg N. , Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 223.
Mathematical Knowledge Representation and Reasoning Based on Strong Relevant Logic.Jingde Cheng - 2002 - In Robert Trappl, Cybernetics and Systems. Austrian Society for Cybernetics Studies. pp. 789--794.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.

Analytics

Added to PP
2020-07-31

Downloads
470 (#67,187)

6 months
113 (#58,599)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luis M. Augusto
Independent Scientist

Citations of this work

No citations found.

Add more citations