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.

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

Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.
Knowledge Theoretic Properties of Topological Spaces.Konstantinos Georgatos - 1994 - In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159.
Logic For Reasoning About Knowledge.Ewa Orlowska - 1987 - Bulletin of the Section of Logic 16 (1):26-36.
Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):559-572.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Reasoning, Logic and Computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.

Analytics

Added to PP
2020-07-31

Downloads
101 (#121,116)

6 months
18 (#54,077)

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

References found in this work

A Logical Calculus of the Ideas Immanent in Nervous Activity.Warren S. McCulloch & Walter Pitts - 1943 - The Bulletin of Mathematical Biophysics 5 (4):115-133.
Physical Symbol Systems.Allen Newell - 1980 - Cognitive Science 4 (2):135-83.
A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 19 references / Add more references