FRINK Linked Data Fragments server

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

• W192370313 endingPage "341" @default.
• W192370313 startingPage "335" @default.
• W192370313 abstract "A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈ S, where S is the unit interval of a recursive nonarchimedean field, an unary operator P≥s(α) and binary operators CP=s(α, β) and CP≥s(α, β) (with the intended meaning ”the probability of α is at least s”, ”the conditional probability of α given β is s, and ”the conditional probability of α given β is at least s”, respectively) are introduced. Since S is a non-archimedean field, we can also introduce a binary operator CP≈1(α, β) with the intended meaning ”probabilities of α ∧ β and β are infinitely close”. Possible-world semantics with a probability measure on an algebra of subsets of the set of all possible worlds is provided. A simple set of axioms is given but some of the rules of inference are infinitary. As a result we can prove the strong completeness theorem for our logic. Formulas of the form CP≈1(α, β) can be used to model default statements. We discuss some properties of the corresponding default entailment. We show that, if the language of defaults is considered, for every finite default base our default consequence relation coincides with the system P. If we allow arbitrary default bases, our system is more expressive than P. Finally, we analyze properties of the default consequence relation when we consider the full logic with negated defaults, imprecise observation etc." @default.
• W192370313 created "2016-06-24" @default.
• W192370313 creator A5032703418 @default.
• W192370313 creator A5057630815 @default.
• W192370313 creator A5084703327 @default.
• W192370313 date "2004-01-01" @default.
• W192370313 modified "2023-10-16" @default.
• W192370313 title "A probabilistic approach to default reasoning." @default.
• W192370313 cites W1513100075 @default.
• W192370313 cites W1572624110 @default.
• W192370313 cites W1990359916 @default.
• W192370313 cites W1998146115 @default.
• W192370313 cites W2003374324 @default.
• W192370313 cites W2062125000 @default.
• W192370313 cites W2062285040 @default.
• W192370313 cites W2071743233 @default.
• W192370313 cites W2076156443 @default.
• W192370313 cites W2080142817 @default.
• W192370313 cites W2081202140 @default.
• W192370313 cites W2088199740 @default.
• W192370313 cites W2104024908 @default.
• W192370313 cites W2106898966 @default.
• W192370313 cites W2159304001 @default.
• W192370313 cites W2167180320 @default.
• W192370313 cites W2167907160 @default.
• W192370313 cites W2169250070 @default.
• W192370313 hasPublicationYear "2004" @default.
• W192370313 type Work @default.
• W192370313 sameAs 192370313 @default.
• W192370313 citedByCount "2" @default.
• W192370313 countsByYear W1923703132016 @default.
• W192370313 crossrefType "proceedings-article" @default.
• W192370313 hasAuthorship W192370313A5032703418 @default.
• W192370313 hasAuthorship W192370313A5057630815 @default.
• W192370313 hasAuthorship W192370313A5084703327 @default.
• W192370313 hasConcept C102993220 @default.
• W192370313 hasConcept C104317684 @default.
• W192370313 hasConcept C105795698 @default.
• W192370313 hasConcept C118615104 @default.
• W192370313 hasConcept C128394911 @default.
• W192370313 hasConcept C158448853 @default.
• W192370313 hasConcept C159032336 @default.
• W192370313 hasConcept C160236029 @default.
• W192370313 hasConcept C167729594 @default.
• W192370313 hasConcept C17020691 @default.
• W192370313 hasConcept C185592680 @default.
• W192370313 hasConcept C203659156 @default.
• W192370313 hasConcept C21031990 @default.
• W192370313 hasConcept C2524010 @default.
• W192370313 hasConcept C33923547 @default.
• W192370313 hasConcept C3845977 @default.
• W192370313 hasConcept C41008148 @default.
• W192370313 hasConcept C44492722 @default.
• W192370313 hasConcept C49937458 @default.
• W192370313 hasConcept C55493867 @default.
• W192370313 hasConcept C69562738 @default.
• W192370313 hasConcept C78023250 @default.
• W192370313 hasConcept C80444323 @default.
• W192370313 hasConcept C86339819 @default.
• W192370313 hasConceptScore W192370313C102993220 @default.
• W192370313 hasConceptScore W192370313C104317684 @default.
• W192370313 hasConceptScore W192370313C105795698 @default.
• W192370313 hasConceptScore W192370313C118615104 @default.
• W192370313 hasConceptScore W192370313C128394911 @default.
• W192370313 hasConceptScore W192370313C158448853 @default.
• W192370313 hasConceptScore W192370313C159032336 @default.
• W192370313 hasConceptScore W192370313C160236029 @default.
• W192370313 hasConceptScore W192370313C167729594 @default.
• W192370313 hasConceptScore W192370313C17020691 @default.
• W192370313 hasConceptScore W192370313C185592680 @default.
• W192370313 hasConceptScore W192370313C203659156 @default.
• W192370313 hasConceptScore W192370313C21031990 @default.
• W192370313 hasConceptScore W192370313C2524010 @default.
• W192370313 hasConceptScore W192370313C33923547 @default.
• W192370313 hasConceptScore W192370313C3845977 @default.
• W192370313 hasConceptScore W192370313C41008148 @default.
• W192370313 hasConceptScore W192370313C44492722 @default.
• W192370313 hasConceptScore W192370313C49937458 @default.
• W192370313 hasConceptScore W192370313C55493867 @default.
• W192370313 hasConceptScore W192370313C69562738 @default.
• W192370313 hasConceptScore W192370313C78023250 @default.
• W192370313 hasConceptScore W192370313C80444323 @default.
• W192370313 hasConceptScore W192370313C86339819 @default.
• W192370313 hasLocation W1923703131 @default.
• W192370313 hasOpenAccess W192370313 @default.
• W192370313 hasPrimaryLocation W1923703131 @default.
• W192370313 hasRelatedWork W1508546487 @default.
• W192370313 hasRelatedWork W1529265550 @default.
• W192370313 hasRelatedWork W1531558136 @default.
• W192370313 hasRelatedWork W1533062081 @default.
• W192370313 hasRelatedWork W1570170838 @default.
• W192370313 hasRelatedWork W1578843373 @default.
• W192370313 hasRelatedWork W1874476369 @default.
• W192370313 hasRelatedWork W1956817724 @default.
• W192370313 hasRelatedWork W1990359916 @default.
• W192370313 hasRelatedWork W2062125000 @default.
• W192370313 hasRelatedWork W2062285040 @default.
• W192370313 hasRelatedWork W2106084705 @default.

• next