Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966552757> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1966552757 endingPage "94" @default.
- W1966552757 startingPage "75" @default.
- W1966552757 abstract "Commonsense reasoning is ‘nonmonotonic’ in the sense that we often draw, on the basis of partial information, conclusions that we later retract when we are given more complete information. Some of the most interesting products of recent attempts to formalize nonmonotonic reasoning are the nonmonotonic logics of McDermott and Doyle [1, 2]. These logics, however, all have peculiarities that suggest they do not quite succeed in capturing the intuitions that prompted their development. In this paper we reconstruct nonmonotonic logic as a model of an ideally rational agent's reasoning about his own beliefs. For the resulting system, called autoepistemic logic, we define an intuitively based semantics for which we can show autoepistemic logic to be both sound and complete. We then compare autoepistemic logic with the approach of McDermott and Doyle, showing how it avoids the peculiarities of their nonmonotonic logic." @default.
- W1966552757 created "2016-06-24" @default.
- W1966552757 creator A5002282030 @default.
- W1966552757 date "1985-01-01" @default.
- W1966552757 modified "2023-10-11" @default.
- W1966552757 title "Semantical considerations on nonmonotonic logic" @default.
- W1966552757 cites W1996347293 @default.
- W1966552757 cites W2169602487 @default.
- W1966552757 doi "https://doi.org/10.1016/0004-3702(85)90042-6" @default.
- W1966552757 hasPublicationYear "1985" @default.
- W1966552757 type Work @default.
- W1966552757 sameAs 1966552757 @default.
- W1966552757 citedByCount "978" @default.
- W1966552757 countsByYear W19665527572012 @default.
- W1966552757 countsByYear W19665527572013 @default.
- W1966552757 countsByYear W19665527572014 @default.
- W1966552757 countsByYear W19665527572015 @default.
- W1966552757 countsByYear W19665527572016 @default.
- W1966552757 countsByYear W19665527572017 @default.
- W1966552757 countsByYear W19665527572018 @default.
- W1966552757 countsByYear W19665527572019 @default.
- W1966552757 countsByYear W19665527572020 @default.
- W1966552757 countsByYear W19665527572021 @default.
- W1966552757 countsByYear W19665527572022 @default.
- W1966552757 countsByYear W19665527572023 @default.
- W1966552757 crossrefType "journal-article" @default.
- W1966552757 hasAuthorship W1966552757A5002282030 @default.
- W1966552757 hasConcept C102993220 @default.
- W1966552757 hasConcept C154945302 @default.
- W1966552757 hasConcept C15744967 @default.
- W1966552757 hasConcept C159032336 @default.
- W1966552757 hasConcept C184337299 @default.
- W1966552757 hasConcept C188147891 @default.
- W1966552757 hasConcept C18998212 @default.
- W1966552757 hasConcept C199360897 @default.
- W1966552757 hasConcept C203659156 @default.
- W1966552757 hasConcept C33923547 @default.
- W1966552757 hasConcept C3845977 @default.
- W1966552757 hasConcept C41008148 @default.
- W1966552757 hasConcept C80444323 @default.
- W1966552757 hasConceptScore W1966552757C102993220 @default.
- W1966552757 hasConceptScore W1966552757C154945302 @default.
- W1966552757 hasConceptScore W1966552757C15744967 @default.
- W1966552757 hasConceptScore W1966552757C159032336 @default.
- W1966552757 hasConceptScore W1966552757C184337299 @default.
- W1966552757 hasConceptScore W1966552757C188147891 @default.
- W1966552757 hasConceptScore W1966552757C18998212 @default.
- W1966552757 hasConceptScore W1966552757C199360897 @default.
- W1966552757 hasConceptScore W1966552757C203659156 @default.
- W1966552757 hasConceptScore W1966552757C33923547 @default.
- W1966552757 hasConceptScore W1966552757C3845977 @default.
- W1966552757 hasConceptScore W1966552757C41008148 @default.
- W1966552757 hasConceptScore W1966552757C80444323 @default.
- W1966552757 hasIssue "1" @default.
- W1966552757 hasLocation W19665527571 @default.
- W1966552757 hasOpenAccess W1966552757 @default.
- W1966552757 hasPrimaryLocation W19665527571 @default.
- W1966552757 hasRelatedWork W137617101 @default.
- W1966552757 hasRelatedWork W1501530641 @default.
- W1966552757 hasRelatedWork W2008106366 @default.
- W1966552757 hasRelatedWork W2097589034 @default.
- W1966552757 hasRelatedWork W2109571168 @default.
- W1966552757 hasRelatedWork W2183022864 @default.
- W1966552757 hasRelatedWork W2546606475 @default.
- W1966552757 hasRelatedWork W2563126189 @default.
- W1966552757 hasRelatedWork W4233073588 @default.
- W1966552757 hasRelatedWork W610916638 @default.
- W1966552757 hasVolume "25" @default.
- W1966552757 isParatext "false" @default.
- W1966552757 isRetracted "false" @default.
- W1966552757 magId "1966552757" @default.
- W1966552757 workType "article" @default.