FRINK Linked Data Fragments server

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

• W2058642263 endingPage "497" @default.
• W2058642263 startingPage "472" @default.
• W2058642263 abstract "Formal logical tools are able to provide some amount of reasoning support for information analysis, but are unable to represent uncertainty. Bayesian network tools represent probabilistic and causal information, but in the worst case scale as poorly as some formal logical systems and require specialized expertise to use effectively. We describe a framework for systems that incorporate the advantages of both Bayesian and logical systems. We define a formalism for the conversion of automatically generated natural deduction proof trees into Bayesian networks. We then demonstrate that the merging of such networks with domain-specific causal models forms a consistent Bayesian network with correct values for the formulas derived in the proof. In particular, we show that hard evidential updates in which the premises of a proof are found to be true force the conclusions of the proof to be true with probability one, regardless of any dependencies and prior probability values assumed for the causal model. We provide several examples that demonstrate the generality of the natural deduction system by using inference schemes not supportable directly in Horn clause logic. We compare our approach to other ones, including some that use non-standard logics." @default.
• W2058642263 created "2016-06-24" @default.
• W2058642263 creator A5001196675 @default.
• W2058642263 creator A5007794440 @default.
• W2058642263 creator A5029729399 @default.
• W2058642263 creator A5077942901 @default.
• W2058642263 date "2011-01-15" @default.
• W2058642263 modified "2023-09-26" @default.
• W2058642263 title "On the combination of logical and probabilistic models for information analysis" @default.
• W2058642263 cites W1484037213 @default.
• W2058642263 cites W1501170495 @default.
• W2058642263 cites W1523817461 @default.
• W2058642263 cites W1535430927 @default.
• W2058642263 cites W1536980722 @default.
• W2058642263 cites W1540899940 @default.
• W2058642263 cites W1554205565 @default.
• W2058642263 cites W1554824096 @default.
• W2058642263 cites W1555888639 @default.
• W2058642263 cites W1563950057 @default.
• W2058642263 cites W1576159843 @default.
• W2058642263 cites W1577536563 @default.
• W2058642263 cites W1585529040 @default.
• W2058642263 cites W1590983754 @default.
• W2058642263 cites W1600658431 @default.
• W2058642263 cites W1608935641 @default.
• W2058642263 cites W1755360231 @default.
• W2058642263 cites W1766062603 @default.
• W2058642263 cites W1964821516 @default.
• W2058642263 cites W1965552673 @default.
• W2058642263 cites W1971937407 @default.
• W2058642263 cites W1977970897 @default.
• W2058642263 cites W1980452149 @default.
• W2058642263 cites W2000805332 @default.
• W2058642263 cites W2013476941 @default.
• W2058642263 cites W2026927381 @default.
• W2058642263 cites W2028667927 @default.
• W2058642263 cites W2033200287 @default.
• W2058642263 cites W2038500945 @default.
• W2058642263 cites W2053181911 @default.
• W2058642263 cites W2058303288 @default.
• W2058642263 cites W2070995946 @default.
• W2058642263 cites W2075123415 @default.
• W2058642263 cites W2075231727 @default.
• W2058642263 cites W2078843353 @default.
• W2058642263 cites W2096967553 @default.
• W2058642263 cites W2100344918 @default.
• W2058642263 cites W2107261164 @default.
• W2058642263 cites W2110137938 @default.
• W2058642263 cites W2125720043 @default.
• W2058642263 cites W2132996183 @default.
• W2058642263 cites W2139192394 @default.
• W2058642263 cites W2145990817 @default.
• W2058642263 cites W2158069240 @default.
• W2058642263 cites W2167289276 @default.
• W2058642263 cites W2169250070 @default.
• W2058642263 cites W2169992051 @default.
• W2058642263 cites W2171279236 @default.
• W2058642263 cites W2914728526 @default.
• W2058642263 cites W4214637188 @default.
• W2058642263 cites W4230588984 @default.
• W2058642263 doi "https://doi.org/10.1007/s10489-010-0272-x" @default.
• W2058642263 hasPublicationYear "2011" @default.
• W2058642263 type Work @default.
• W2058642263 sameAs 2058642263 @default.
• W2058642263 citedByCount "6" @default.
• W2058642263 countsByYear W20586422632012 @default.
• W2058642263 countsByYear W20586422632013 @default.
• W2058642263 countsByYear W20586422632017 @default.
• W2058642263 crossrefType "journal-article" @default.
• W2058642263 hasAuthorship W2058642263A5001196675 @default.
• W2058642263 hasAuthorship W2058642263A5007794440 @default.
• W2058642263 hasAuthorship W2058642263A5029729399 @default.
• W2058642263 hasAuthorship W2058642263A5077942901 @default.
• W2058642263 hasBestOaLocation W20586422632 @default.
• W2058642263 hasConcept C119857082 @default.
• W2058642263 hasConcept C134752490 @default.
• W2058642263 hasConcept C142362112 @default.
• W2058642263 hasConcept C153349607 @default.
• W2058642263 hasConcept C154945302 @default.
• W2058642263 hasConcept C15744967 @default.
• W2058642263 hasConcept C2776214188 @default.
• W2058642263 hasConcept C2780767217 @default.
• W2058642263 hasConcept C33724603 @default.
• W2058642263 hasConcept C3746660 @default.
• W2058642263 hasConcept C41008148 @default.
• W2058642263 hasConcept C49937458 @default.
• W2058642263 hasConcept C542102704 @default.
• W2058642263 hasConcept C558565934 @default.
• W2058642263 hasConcept C73301696 @default.
• W2058642263 hasConcept C80444323 @default.
• W2058642263 hasConceptScore W2058642263C119857082 @default.
• W2058642263 hasConceptScore W2058642263C134752490 @default.
• W2058642263 hasConceptScore W2058642263C142362112 @default.
• W2058642263 hasConceptScore W2058642263C153349607 @default.
• W2058642263 hasConceptScore W2058642263C154945302 @default.
• W2058642263 hasConceptScore W2058642263C15744967 @default.
• W2058642263 hasConceptScore W2058642263C2776214188 @default.
• W2058642263 hasConceptScore W2058642263C2780767217 @default.

• next