FRINK Linked Data Fragments server

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

• W1888396936 abstract "Prior works by the author have introduced the system QUAL (herein Q) of qualified syllogisms. An example of such a syllogism is Most birds can fly; Tweety is a bird; therefore, it is likely that Tweety can fly. Q provides a formal language for expressing such syllogisms, together with a semantics which validates them. Also introduced in the prior works is the notion of a path logic. Reformulating Q as a path logic allows for the expression of modifier combination rules, such as From likely P and unlikely P, infer uncertain P. The present work builds on this, showing how to incorporate Q into a system for default reasoning. Here is introduced the notion of a dynamic reasoning system (DRS), consisting of a path logic, together with a semantic net, or more exactly, a taxonomic hierarchy that allows for multiple inheritance. The taxonomic hierarchy enables definition of a specificity relation, which can then be used in default reasoning (more specific information takes priority over less specific). Modifier combination rules prescribe what to do when defaults are applied in the context of multiple inheritance. Propositions derived in this manner all bear qualitative likelihood modifiers, representing the extent to which the proposition is believed." @default.
• W1888396936 created "2016-06-24" @default.
• W1888396936 creator A5063177502 @default.
• W1888396936 date "2002-11-19" @default.
• W1888396936 modified "2023-09-26" @default.
• W1888396936 title "Default reasoning with qualified syllogisms" @default.
• W1888396936 cites W1509304553 @default.
• W1888396936 cites W1823469506 @default.
• W1888396936 cites W1973087208 @default.
• W1888396936 cites W1980080444 @default.
• W1888396936 cites W2078237001 @default.
• W1888396936 cites W2109015621 @default.
• W1888396936 cites W2132097227 @default.
• W1888396936 cites W2156445060 @default.
• W1888396936 cites W2912435539 @default.
• W1888396936 doi "https://doi.org/10.1109/isuma.1995.527728" @default.
• W1888396936 hasPublicationYear "2002" @default.
• W1888396936 type Work @default.
• W1888396936 sameAs 1888396936 @default.
• W1888396936 citedByCount "1" @default.
• W1888396936 crossrefType "proceedings-article" @default.
• W1888396936 hasAuthorship W1888396936A5063177502 @default.
• W1888396936 hasConcept C102993220 @default.
• W1888396936 hasConcept C104317684 @default.
• W1888396936 hasConcept C111472728 @default.
• W1888396936 hasConcept C131598440 @default.
• W1888396936 hasConcept C138885662 @default.
• W1888396936 hasConcept C151730666 @default.
• W1888396936 hasConcept C154945302 @default.
• W1888396936 hasConcept C159032336 @default.
• W1888396936 hasConcept C160236029 @default.
• W1888396936 hasConcept C162324750 @default.
• W1888396936 hasConcept C184337299 @default.
• W1888396936 hasConcept C185592680 @default.
• W1888396936 hasConcept C199360897 @default.
• W1888396936 hasConcept C203659156 @default.
• W1888396936 hasConcept C204321447 @default.
• W1888396936 hasConcept C2777152325 @default.
• W1888396936 hasConcept C2777735758 @default.
• W1888396936 hasConcept C2779343474 @default.
• W1888396936 hasConcept C2780902518 @default.
• W1888396936 hasConcept C31170391 @default.
• W1888396936 hasConcept C34447519 @default.
• W1888396936 hasConcept C3845977 @default.
• W1888396936 hasConcept C41008148 @default.
• W1888396936 hasConcept C55493867 @default.
• W1888396936 hasConcept C80444323 @default.
• W1888396936 hasConcept C86803240 @default.
• W1888396936 hasConcept C97364631 @default.
• W1888396936 hasConceptScore W1888396936C102993220 @default.
• W1888396936 hasConceptScore W1888396936C104317684 @default.
• W1888396936 hasConceptScore W1888396936C111472728 @default.
• W1888396936 hasConceptScore W1888396936C131598440 @default.
• W1888396936 hasConceptScore W1888396936C138885662 @default.
• W1888396936 hasConceptScore W1888396936C151730666 @default.
• W1888396936 hasConceptScore W1888396936C154945302 @default.
• W1888396936 hasConceptScore W1888396936C159032336 @default.
• W1888396936 hasConceptScore W1888396936C160236029 @default.
• W1888396936 hasConceptScore W1888396936C162324750 @default.
• W1888396936 hasConceptScore W1888396936C184337299 @default.
• W1888396936 hasConceptScore W1888396936C185592680 @default.
• W1888396936 hasConceptScore W1888396936C199360897 @default.
• W1888396936 hasConceptScore W1888396936C203659156 @default.
• W1888396936 hasConceptScore W1888396936C204321447 @default.
• W1888396936 hasConceptScore W1888396936C2777152325 @default.
• W1888396936 hasConceptScore W1888396936C2777735758 @default.
• W1888396936 hasConceptScore W1888396936C2779343474 @default.
• W1888396936 hasConceptScore W1888396936C2780902518 @default.
• W1888396936 hasConceptScore W1888396936C31170391 @default.
• W1888396936 hasConceptScore W1888396936C34447519 @default.
• W1888396936 hasConceptScore W1888396936C3845977 @default.
• W1888396936 hasConceptScore W1888396936C41008148 @default.
• W1888396936 hasConceptScore W1888396936C55493867 @default.
• W1888396936 hasConceptScore W1888396936C80444323 @default.
• W1888396936 hasConceptScore W1888396936C86803240 @default.
• W1888396936 hasConceptScore W1888396936C97364631 @default.
• W1888396936 hasLocation W18883969361 @default.
• W1888396936 hasOpenAccess W1888396936 @default.
• W1888396936 hasPrimaryLocation W18883969361 @default.
• W1888396936 hasRelatedWork W12654550 @default.
• W1888396936 hasRelatedWork W1841361695 @default.
• W1888396936 hasRelatedWork W1845725642 @default.
• W1888396936 hasRelatedWork W192775082 @default.
• W1888396936 hasRelatedWork W198933960 @default.
• W1888396936 hasRelatedWork W2041049045 @default.
• W1888396936 hasRelatedWork W2089915401 @default.
• W1888396936 hasRelatedWork W2216709147 @default.
• W1888396936 hasRelatedWork W2396008217 @default.
• W1888396936 hasRelatedWork W249152387 @default.
• W1888396936 hasRelatedWork W2545022179 @default.
• W1888396936 hasRelatedWork W2613275623 @default.
• W1888396936 hasRelatedWork W2761508096 @default.
• W1888396936 hasRelatedWork W2899405748 @default.
• W1888396936 hasRelatedWork W2953198831 @default.
• W1888396936 hasRelatedWork W2963938567 @default.
• W1888396936 hasRelatedWork W3007437914 @default.
• W1888396936 hasRelatedWork W3105046511 @default.
• W1888396936 hasRelatedWork W3733054 @default.
• W1888396936 hasRelatedWork W89614972 @default.
• W1888396936 isParatext "false" @default.

• next