FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120465900> ?p ?o ?g. }

• W2120465900 endingPage "333" @default.
• W2120465900 startingPage "328" @default.
• W2120465900 abstract "Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human or plausible through their inference mechanisms just as modus ponens provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reasoning have been identified, for the most part these logics have not actually been applied to practical problems to see whether they produce the expected results.We provide axioms for a simple problem in temporal reasoning which has long been identified as a case of default reasoning, thus presumably amenable to representation in nonmonotonic logic. Upon examining the resulting nonmonotonic theories, however, we find that the inferences permitted by the logics are not those we had intended when we wrote the axioms, and in fact are much weaker. This problem is shown to be independent of the logic used; nor does it depend on any particular temporal representation. Upon analyzing the failure we find that the nonmonotonic logics we considered are inherently incapable of representing this kind of default reasoning. Finally we discuss two recent proposals for solving this problem." @default.
• W2120465900 created "2016-06-24" @default.
• W2120465900 creator A5003940964 @default.
• W2120465900 creator A5016161592 @default.
• W2120465900 date "1986-08-11" @default.
• W2120465900 modified "2023-09-24" @default.
• W2120465900 title "Default reasoning, nonmonotonic logics, and the frame problem" @default.
• W2120465900 cites W1991718988 @default.
• W2120465900 cites W1996347293 @default.
• W2120465900 cites W1998363560 @default.
• W2120465900 cites W200100875 @default.
• W2120465900 cites W2005984922 @default.
• W2120465900 cites W2040326164 @default.
• W2120465900 cites W2076439421 @default.
• W2120465900 cites W2104351678 @default.
• W2120465900 cites W2138162238 @default.
• W2120465900 cites W2155322595 @default.
• W2120465900 cites W2331930889 @default.
• W2120465900 cites W2911298501 @default.
• W2120465900 cites W1596846951 @default.
• W2120465900 hasPublicationYear "1986" @default.
• W2120465900 type Work @default.
• W2120465900 sameAs 2120465900 @default.
• W2120465900 citedByCount "142" @default.
• W2120465900 countsByYear W21204659002012 @default.
• W2120465900 countsByYear W21204659002013 @default.
• W2120465900 countsByYear W21204659002014 @default.
• W2120465900 countsByYear W21204659002015 @default.
• W2120465900 countsByYear W21204659002016 @default.
• W2120465900 countsByYear W21204659002018 @default.
• W2120465900 countsByYear W21204659002020 @default.
• W2120465900 countsByYear W21204659002021 @default.
• W2120465900 crossrefType "proceedings-article" @default.
• W2120465900 hasAuthorship W2120465900A5003940964 @default.
• W2120465900 hasAuthorship W2120465900A5016161592 @default.
• W2120465900 hasConcept C102993220 @default.
• W2120465900 hasConcept C154945302 @default.
• W2120465900 hasConcept C159032336 @default.
• W2120465900 hasConcept C160236029 @default.
• W2120465900 hasConcept C161301231 @default.
• W2120465900 hasConcept C167729594 @default.
• W2120465900 hasConcept C17744445 @default.
• W2120465900 hasConcept C193885149 @default.
• W2120465900 hasConcept C199539241 @default.
• W2120465900 hasConcept C203659156 @default.
• W2120465900 hasConcept C2524010 @default.
• W2120465900 hasConcept C2776214188 @default.
• W2120465900 hasConcept C2776359362 @default.
• W2120465900 hasConcept C33923547 @default.
• W2120465900 hasConcept C3845977 @default.
• W2120465900 hasConcept C41008148 @default.
• W2120465900 hasConcept C42011625 @default.
• W2120465900 hasConcept C5065155 @default.
• W2120465900 hasConcept C5263885 @default.
• W2120465900 hasConcept C58166 @default.
• W2120465900 hasConcept C80444323 @default.
• W2120465900 hasConcept C86602344 @default.
• W2120465900 hasConcept C89288958 @default.
• W2120465900 hasConcept C94625758 @default.
• W2120465900 hasConcept C97364631 @default.
• W2120465900 hasConceptScore W2120465900C102993220 @default.
• W2120465900 hasConceptScore W2120465900C154945302 @default.
• W2120465900 hasConceptScore W2120465900C159032336 @default.
• W2120465900 hasConceptScore W2120465900C160236029 @default.
• W2120465900 hasConceptScore W2120465900C161301231 @default.
• W2120465900 hasConceptScore W2120465900C167729594 @default.
• W2120465900 hasConceptScore W2120465900C17744445 @default.
• W2120465900 hasConceptScore W2120465900C193885149 @default.
• W2120465900 hasConceptScore W2120465900C199539241 @default.
• W2120465900 hasConceptScore W2120465900C203659156 @default.
• W2120465900 hasConceptScore W2120465900C2524010 @default.
• W2120465900 hasConceptScore W2120465900C2776214188 @default.
• W2120465900 hasConceptScore W2120465900C2776359362 @default.
• W2120465900 hasConceptScore W2120465900C33923547 @default.
• W2120465900 hasConceptScore W2120465900C3845977 @default.
• W2120465900 hasConceptScore W2120465900C41008148 @default.
• W2120465900 hasConceptScore W2120465900C42011625 @default.
• W2120465900 hasConceptScore W2120465900C5065155 @default.
• W2120465900 hasConceptScore W2120465900C5263885 @default.
• W2120465900 hasConceptScore W2120465900C58166 @default.
• W2120465900 hasConceptScore W2120465900C80444323 @default.
• W2120465900 hasConceptScore W2120465900C86602344 @default.
• W2120465900 hasConceptScore W2120465900C89288958 @default.
• W2120465900 hasConceptScore W2120465900C94625758 @default.
• W2120465900 hasConceptScore W2120465900C97364631 @default.
• W2120465900 hasLocation W21204659001 @default.
• W2120465900 hasOpenAccess W2120465900 @default.
• W2120465900 hasPrimaryLocation W21204659001 @default.
• W2120465900 hasRelatedWork W122836976 @default.
• W2120465900 hasRelatedWork W148651351 @default.
• W2120465900 hasRelatedWork W1503579586 @default.
• W2120465900 hasRelatedWork W1599735882 @default.
• W2120465900 hasRelatedWork W1766332311 @default.
• W2120465900 hasRelatedWork W1966552757 @default.
• W2120465900 hasRelatedWork W1976303542 @default.
• W2120465900 hasRelatedWork W1996347293 @default.
• W2120465900 hasRelatedWork W1998363560 @default.
• W2120465900 hasRelatedWork W2036900631 @default.

• next