Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171570497> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2171570497 abstract "This book presents the foundations of reasoning with partial information and a theory of common sense reasoning based on monotonic logic and partial structures. This theory was designed specifically for the needs of practicing computer scientists and provides easily implementable algorithms. Starting from first principles, following the logic of discovery of Karl Popper and Imre Lakatos, and the semantics of programming languages, the book develops a system of reasoning with partial information, and applies it to a comprehensive study of the problem examples from the literature of common sense reasoning. Proof-theoretic and model-theoretic views are considered in the applications, as well as logical problems of theoretical physics, such as issues related to Heisenberg's uncertainty principle. The book points out that customary expositions of common-sense reasoning are based on a flawed non-monotonic reasoning paradigm and that the resulting solutions proposed for major problems, such as the frame problem, are either ad hoc or inadequate. It is shown that non-monotonicity results from hiding information that should not be hidden. The essential research in common-sense reasoning has been developed in isolation from the disciplines of theoretical computer science and classical logic. This work breaks the isolation and establishes deep links. The book will be of interest to computer scientists, mathematicians, logicians, and philosophers interested in the foundations and applications of reasoning with partial information." @default.
- W2171570497 created "2016-06-24" @default.
- W2171570497 creator A5088503155 @default.
- W2171570497 date "1995-01-01" @default.
- W2171570497 modified "2023-09-27" @default.
- W2171570497 title "The Logic of Partial Information" @default.
- W2171570497 doi "https://doi.org/10.1007/978-3-642-78160-5" @default.
- W2171570497 hasPublicationYear "1995" @default.
- W2171570497 type Work @default.
- W2171570497 sameAs 2171570497 @default.
- W2171570497 citedByCount "23" @default.
- W2171570497 countsByYear W21715704972012 @default.
- W2171570497 countsByYear W21715704972014 @default.
- W2171570497 countsByYear W21715704972015 @default.
- W2171570497 countsByYear W21715704972016 @default.
- W2171570497 countsByYear W21715704972017 @default.
- W2171570497 countsByYear W21715704972018 @default.
- W2171570497 countsByYear W21715704972020 @default.
- W2171570497 countsByYear W21715704972022 @default.
- W2171570497 crossrefType "book" @default.
- W2171570497 hasAuthorship W2171570497A5088503155 @default.
- W2171570497 hasConcept C41008148 @default.
- W2171570497 hasConceptScore W2171570497C41008148 @default.
- W2171570497 hasLocation W21715704971 @default.
- W2171570497 hasOpenAccess W2171570497 @default.
- W2171570497 hasPrimaryLocation W21715704971 @default.
- W2171570497 hasRelatedWork W2093578348 @default.
- W2171570497 hasRelatedWork W2350741829 @default.
- W2171570497 hasRelatedWork W2358668433 @default.
- W2171570497 hasRelatedWork W2376932109 @default.
- W2171570497 hasRelatedWork W2382290278 @default.
- W2171570497 hasRelatedWork W2390279801 @default.
- W2171570497 hasRelatedWork W2748952813 @default.
- W2171570497 hasRelatedWork W2766271392 @default.
- W2171570497 hasRelatedWork W2899084033 @default.
- W2171570497 hasRelatedWork W3004735627 @default.
- W2171570497 isParatext "false" @default.
- W2171570497 isRetracted "false" @default.
- W2171570497 magId "2171570497" @default.
- W2171570497 workType "book" @default.