FRINK Linked Data Fragments server

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

• W2090424995 endingPage "66" @default.
• W2090424995 startingPage "52" @default.
• W2090424995 abstract "The paper presents the proof-theoretical approach to a probabilistic logic which allows expressions about (approximate) conditional probabilities. The logic enriches propositional calculus with probabilistic operators which are applied to propositional formulas: CP⩾s(α,β), CP⩽s(α, β) and CP≈s(α,β), with the intended meaning “the conditional probability of α given β is at least s”, “at most s” and “approximately s”, respectively. Possible-world semantics with a finitely additive probability measure on sets of worlds is defined and the corresponding strong completeness theorem is proved for a rather simple set of axioms. This is achieved at the price of allowing infinitary rules of inference. One of these rules enables us to syntactically define the range of the probability function. This range is chosen to be the unit interval of a recursive non-archimedean field, making it possible to express statements about approximate probabilities. Formulas of the form CP≈1(α, β) may be used to model defaults. The decidability of the logic is proved." @default.
• W2090424995 created "2016-06-24" @default.
• W2090424995 creator A5032703418 @default.
• W2090424995 creator A5057630815 @default.
• W2090424995 creator A5084703327 @default.
• W2090424995 date "2008-09-01" @default.
• W2090424995 modified "2023-10-16" @default.
• W2090424995 title "A logic with approximate conditional probabilities that can model default reasoning" @default.
• W2090424995 cites W1527216005 @default.
• W2090424995 cites W1956817724 @default.
• W2090424995 cites W1981283924 @default.
• W2090424995 cites W1990359916 @default.
• W2090424995 cites W1999325584 @default.
• W2090424995 cites W2003374324 @default.
• W2090424995 cites W2020429914 @default.
• W2090424995 cites W2044153777 @default.
• W2090424995 cites W2044620906 @default.
• W2090424995 cites W2062125000 @default.
• W2090424995 cites W2062285040 @default.
• W2090424995 cites W2071743233 @default.
• W2090424995 cites W2076156443 @default.
• W2090424995 cites W2080142817 @default.
• W2090424995 cites W2081202140 @default.
• W2090424995 cites W2088199740 @default.
• W2090424995 cites W2106084705 @default.
• W2090424995 cites W2167180320 @default.
• W2090424995 cites W2167907160 @default.
• W2090424995 cites W2169250070 @default.
• W2090424995 cites W2914728526 @default.
• W2090424995 cites W4205973993 @default.
• W2090424995 doi "https://doi.org/10.1016/j.ijar.2007.08.006" @default.
• W2090424995 hasPublicationYear "2008" @default.
• W2090424995 type Work @default.
• W2090424995 sameAs 2090424995 @default.
• W2090424995 citedByCount "44" @default.
• W2090424995 countsByYear W20904249952012 @default.
• W2090424995 countsByYear W20904249952013 @default.
• W2090424995 countsByYear W20904249952014 @default.
• W2090424995 countsByYear W20904249952015 @default.
• W2090424995 countsByYear W20904249952016 @default.
• W2090424995 countsByYear W20904249952017 @default.
• W2090424995 countsByYear W20904249952018 @default.
• W2090424995 countsByYear W20904249952019 @default.
• W2090424995 countsByYear W20904249952020 @default.
• W2090424995 countsByYear W20904249952021 @default.
• W2090424995 countsByYear W20904249952022 @default.
• W2090424995 crossrefType "journal-article" @default.
• W2090424995 hasAuthorship W2090424995A5032703418 @default.
• W2090424995 hasAuthorship W2090424995A5057630815 @default.
• W2090424995 hasAuthorship W2090424995A5084703327 @default.
• W2090424995 hasConcept C105795698 @default.
• W2090424995 hasConcept C118615104 @default.
• W2090424995 hasConcept C128394911 @default.
• W2090424995 hasConcept C153269930 @default.
• W2090424995 hasConcept C154945302 @default.
• W2090424995 hasConcept C159032336 @default.
• W2090424995 hasConcept C167729594 @default.
• W2090424995 hasConcept C21031990 @default.
• W2090424995 hasConcept C2524010 @default.
• W2090424995 hasConcept C33923547 @default.
• W2090424995 hasConcept C3746660 @default.
• W2090424995 hasConcept C41008148 @default.
• W2090424995 hasConcept C44492722 @default.
• W2090424995 hasConcept C49937458 @default.
• W2090424995 hasConcept C69562738 @default.
• W2090424995 hasConcept C80444323 @default.
• W2090424995 hasConceptScore W2090424995C105795698 @default.
• W2090424995 hasConceptScore W2090424995C118615104 @default.
• W2090424995 hasConceptScore W2090424995C128394911 @default.
• W2090424995 hasConceptScore W2090424995C153269930 @default.
• W2090424995 hasConceptScore W2090424995C154945302 @default.
• W2090424995 hasConceptScore W2090424995C159032336 @default.
• W2090424995 hasConceptScore W2090424995C167729594 @default.
• W2090424995 hasConceptScore W2090424995C21031990 @default.
• W2090424995 hasConceptScore W2090424995C2524010 @default.
• W2090424995 hasConceptScore W2090424995C33923547 @default.
• W2090424995 hasConceptScore W2090424995C3746660 @default.
• W2090424995 hasConceptScore W2090424995C41008148 @default.
• W2090424995 hasConceptScore W2090424995C44492722 @default.
• W2090424995 hasConceptScore W2090424995C49937458 @default.
• W2090424995 hasConceptScore W2090424995C69562738 @default.
• W2090424995 hasConceptScore W2090424995C80444323 @default.
• W2090424995 hasIssue "1" @default.
• W2090424995 hasLocation W20904249951 @default.
• W2090424995 hasOpenAccess W2090424995 @default.
• W2090424995 hasPrimaryLocation W20904249951 @default.
• W2090424995 hasRelatedWork W1581869334 @default.
• W2090424995 hasRelatedWork W192370313 @default.
• W2090424995 hasRelatedWork W1999924358 @default.
• W2090424995 hasRelatedWork W2090424995 @default.
• W2090424995 hasRelatedWork W2134384958 @default.
• W2090424995 hasRelatedWork W2169250070 @default.
• W2090424995 hasRelatedWork W2327629383 @default.
• W2090424995 hasRelatedWork W3045046088 @default.
• W2090424995 hasRelatedWork W3166175167 @default.
• W2090424995 hasRelatedWork W41962422 @default.
• W2090424995 hasVolume "49" @default.
• W2090424995 isParatext "false" @default.

• next