Matches in SemOpenAlex for { <https://semopenalex.org/work/W2308687149> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2308687149 abstract "To give a standard against which to judge the limitations and possibilities of a theory of nonmonotonic reasoning, V. Lifschitz presented a paper at the 1988 Second International Workshop on Non-Monotonic Reasoning entitled Benchmark Problems for Formal Nonmonotonic Reasoning. We show in this work the application of the modal logic Z to these benchmark problems. The modal logic Z provides a consistency-based approach to nonmonotonic reasoning. Z is a fragment of second order modal quantificational logic involving quantification over propositions but not over properties. We demonstrate that Z leads to correct and concise solutions to all the benchmark problems. We also show that many solutions to nonmonotonic reasoning problems expressed in Z are automatically derivable. Because we are able to solve the benchmark problems by hand using a small number of lemmas, we claim that Z has a learnable proof theory.In addition to handling all the benchmark problems, which to our knowledge has not been demonstrated for a single system of nonmonotonic reasoning, we also make a number of smaller contributions. This work provides solutions to the unique name problems which, to our knowledge, have not been solved by any other formal system. It demonstrates a new representation in Z for temporal projection, and improves on a representation by Lifschitz for temporal explanation. It describes a way of generalizing temporal projection to handle concurrent actions, and a way of using temporal explanation for counterfactual reasoning. It shows that Z is able to reason correctly about autoepistemic problems, including problems with quantification. Finally, it reports results on our use of and extensions to a theorem prover for Z." @default.
- W2308687149 created "2016-06-24" @default.
- W2308687149 creator A5011415972 @default.
- W2308687149 date "1993-01-02" @default.
- W2308687149 modified "2023-09-23" @default.
- W2308687149 title "The model logic Z applied to Lifschitz's benchmark problems for formal nonmonotonic reasoning" @default.
- W2308687149 hasPublicationYear "1993" @default.
- W2308687149 type Work @default.
- W2308687149 sameAs 2308687149 @default.
- W2308687149 citedByCount "0" @default.
- W2308687149 crossrefType "journal-article" @default.
- W2308687149 hasAuthorship W2308687149A5011415972 @default.
- W2308687149 hasConcept C102993220 @default.
- W2308687149 hasConcept C108650721 @default.
- W2308687149 hasConcept C111472728 @default.
- W2308687149 hasConcept C11413529 @default.
- W2308687149 hasConcept C13280743 @default.
- W2308687149 hasConcept C138885662 @default.
- W2308687149 hasConcept C154945302 @default.
- W2308687149 hasConcept C159032336 @default.
- W2308687149 hasConcept C160236029 @default.
- W2308687149 hasConcept C161301231 @default.
- W2308687149 hasConcept C17744445 @default.
- W2308687149 hasConcept C185592680 @default.
- W2308687149 hasConcept C185798385 @default.
- W2308687149 hasConcept C188027245 @default.
- W2308687149 hasConcept C195344581 @default.
- W2308687149 hasConcept C199539241 @default.
- W2308687149 hasConcept C203659156 @default.
- W2308687149 hasConcept C205649164 @default.
- W2308687149 hasConcept C27508121 @default.
- W2308687149 hasConcept C2776359362 @default.
- W2308687149 hasConcept C2776436953 @default.
- W2308687149 hasConcept C33923547 @default.
- W2308687149 hasConcept C3845977 @default.
- W2308687149 hasConcept C41008148 @default.
- W2308687149 hasConcept C57493831 @default.
- W2308687149 hasConcept C71139939 @default.
- W2308687149 hasConcept C78344899 @default.
- W2308687149 hasConcept C80444323 @default.
- W2308687149 hasConcept C94625758 @default.
- W2308687149 hasConceptScore W2308687149C102993220 @default.
- W2308687149 hasConceptScore W2308687149C108650721 @default.
- W2308687149 hasConceptScore W2308687149C111472728 @default.
- W2308687149 hasConceptScore W2308687149C11413529 @default.
- W2308687149 hasConceptScore W2308687149C13280743 @default.
- W2308687149 hasConceptScore W2308687149C138885662 @default.
- W2308687149 hasConceptScore W2308687149C154945302 @default.
- W2308687149 hasConceptScore W2308687149C159032336 @default.
- W2308687149 hasConceptScore W2308687149C160236029 @default.
- W2308687149 hasConceptScore W2308687149C161301231 @default.
- W2308687149 hasConceptScore W2308687149C17744445 @default.
- W2308687149 hasConceptScore W2308687149C185592680 @default.
- W2308687149 hasConceptScore W2308687149C185798385 @default.
- W2308687149 hasConceptScore W2308687149C188027245 @default.
- W2308687149 hasConceptScore W2308687149C195344581 @default.
- W2308687149 hasConceptScore W2308687149C199539241 @default.
- W2308687149 hasConceptScore W2308687149C203659156 @default.
- W2308687149 hasConceptScore W2308687149C205649164 @default.
- W2308687149 hasConceptScore W2308687149C27508121 @default.
- W2308687149 hasConceptScore W2308687149C2776359362 @default.
- W2308687149 hasConceptScore W2308687149C2776436953 @default.
- W2308687149 hasConceptScore W2308687149C33923547 @default.
- W2308687149 hasConceptScore W2308687149C3845977 @default.
- W2308687149 hasConceptScore W2308687149C41008148 @default.
- W2308687149 hasConceptScore W2308687149C57493831 @default.
- W2308687149 hasConceptScore W2308687149C71139939 @default.
- W2308687149 hasConceptScore W2308687149C78344899 @default.
- W2308687149 hasConceptScore W2308687149C80444323 @default.
- W2308687149 hasConceptScore W2308687149C94625758 @default.
- W2308687149 hasLocation W23086871491 @default.
- W2308687149 hasOpenAccess W2308687149 @default.
- W2308687149 hasPrimaryLocation W23086871491 @default.
- W2308687149 hasRelatedWork W1555256314 @default.
- W2308687149 hasRelatedWork W1561816611 @default.
- W2308687149 hasRelatedWork W1780025212 @default.
- W2308687149 hasRelatedWork W1965922964 @default.
- W2308687149 hasRelatedWork W1993742694 @default.
- W2308687149 hasRelatedWork W1996971120 @default.
- W2308687149 hasRelatedWork W2002476082 @default.
- W2308687149 hasRelatedWork W2017956822 @default.
- W2308687149 hasRelatedWork W204153282 @default.
- W2308687149 hasRelatedWork W2044169892 @default.
- W2308687149 hasRelatedWork W2060353552 @default.
- W2308687149 hasRelatedWork W2065153879 @default.
- W2308687149 hasRelatedWork W2096466779 @default.
- W2308687149 hasRelatedWork W2108378644 @default.
- W2308687149 hasRelatedWork W2114547132 @default.
- W2308687149 hasRelatedWork W2120465900 @default.
- W2308687149 hasRelatedWork W2128149739 @default.
- W2308687149 hasRelatedWork W2143133577 @default.
- W2308687149 hasRelatedWork W2165449269 @default.
- W2308687149 hasRelatedWork W1795789834 @default.
- W2308687149 isParatext "false" @default.
- W2308687149 isRetracted "false" @default.
- W2308687149 magId "2308687149" @default.
- W2308687149 workType "article" @default.