Matches in SemOpenAlex for { <https://semopenalex.org/work/W2987239078> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2987239078 abstract "Abstract Information analysis often involves heterogeneous sources expressed as logical sentences, numerical models, sensor data, etc. Each of these has its own way to describe uncertainty or error; e.g., frequency analysis, algorithmic truncation, floating point roundoff, Gaussian distributions, etc. A unifying framework is proposed here to represent this information as logical sentences with associated probabilities in order to allow the inference of the probability of a query sentence. Given such a knowledge base in Conjunctive Normal Form (CNF) for use by an intelligent agent, with probabilities assigned to the conjuncts, the probability of any new query sentence can be determined by solving the Probabilistic Satisfiability Problem (PSAT). This involves finding a consistent probability distribution over the atoms (if they are independent) or complete conjunction set of the atoms. For each sentence in the knowledge base, we propose to produce an equation in terms of atoms and conditional probabilities. This system of equations is then solved numerically to get a solution consistent with the sentence probabilities. Finding such a solution is called the Probabilistic Sentence Satisfiability (PS-SAT) problem. In particular, findings include: 1. For independent logical variables: (a) atom probabilities which solve PS-SAT also provide a PSAT solution. (b) numerical experiments demonstrate a q-superlinear convergence rate for most test cases. (c) problems with up to 1,000 variables and 300 sentences are solved. 2. For general knowledge bases (i.e., variables not independent): (a) both atom and a subset of conditional probabilities must be found, (b) a solution to PS-SAT does not guarantee a solution to PSAT, but most empirical results provide such a solution. (c) The convergence rate for equations with non-independent variables also appears q-superlinear." @default.
- W2987239078 created "2019-11-22" @default.
- W2987239078 creator A5008125047 @default.
- W2987239078 creator A5013051797 @default.
- W2987239078 creator A5032849684 @default.
- W2987239078 creator A5045566521 @default.
- W2987239078 creator A5065376031 @default.
- W2987239078 creator A5068211043 @default.
- W2987239078 creator A5075798640 @default.
- W2987239078 date "2020-01-01" @default.
- W2987239078 modified "2023-10-17" @default.
- W2987239078 title "Probabilistic sentence satisfiability: An approach to PSAT" @default.
- W2987239078 cites W187614860 @default.
- W2987239078 cites W1964821516 @default.
- W2987239078 cites W1965552673 @default.
- W2987239078 cites W1987500336 @default.
- W2987239078 cites W1990359916 @default.
- W2987239078 cites W1999428129 @default.
- W2987239078 cites W2062818807 @default.
- W2987239078 cites W2078438690 @default.
- W2987239078 cites W2085228752 @default.
- W2987239078 cites W2113606817 @default.
- W2987239078 cites W2212155158 @default.
- W2987239078 cites W2316690834 @default.
- W2987239078 cites W2569901565 @default.
- W2987239078 cites W2642916709 @default.
- W2987239078 cites W2914728526 @default.
- W2987239078 cites W2914795094 @default.
- W2987239078 cites W3099451540 @default.
- W2987239078 cites W3104376605 @default.
- W2987239078 cites W4206427571 @default.
- W2987239078 doi "https://doi.org/10.1016/j.artint.2019.103199" @default.
- W2987239078 hasPublicationYear "2020" @default.
- W2987239078 type Work @default.
- W2987239078 sameAs 2987239078 @default.
- W2987239078 citedByCount "4" @default.
- W2987239078 countsByYear W29872390782012 @default.
- W2987239078 countsByYear W29872390782020 @default.
- W2987239078 countsByYear W29872390782021 @default.
- W2987239078 crossrefType "journal-article" @default.
- W2987239078 hasAuthorship W2987239078A5008125047 @default.
- W2987239078 hasAuthorship W2987239078A5013051797 @default.
- W2987239078 hasAuthorship W2987239078A5032849684 @default.
- W2987239078 hasAuthorship W2987239078A5045566521 @default.
- W2987239078 hasAuthorship W2987239078A5065376031 @default.
- W2987239078 hasAuthorship W2987239078A5068211043 @default.
- W2987239078 hasAuthorship W2987239078A5075798640 @default.
- W2987239078 hasBestOaLocation W29872390781 @default.
- W2987239078 hasConcept C105795698 @default.
- W2987239078 hasConcept C11413529 @default.
- W2987239078 hasConcept C118615104 @default.
- W2987239078 hasConcept C149441793 @default.
- W2987239078 hasConcept C154945302 @default.
- W2987239078 hasConcept C16221470 @default.
- W2987239078 hasConcept C168773769 @default.
- W2987239078 hasConcept C2777530160 @default.
- W2987239078 hasConcept C33923547 @default.
- W2987239078 hasConcept C41008148 @default.
- W2987239078 hasConcept C44492722 @default.
- W2987239078 hasConcept C49937458 @default.
- W2987239078 hasConceptScore W2987239078C105795698 @default.
- W2987239078 hasConceptScore W2987239078C11413529 @default.
- W2987239078 hasConceptScore W2987239078C118615104 @default.
- W2987239078 hasConceptScore W2987239078C149441793 @default.
- W2987239078 hasConceptScore W2987239078C154945302 @default.
- W2987239078 hasConceptScore W2987239078C16221470 @default.
- W2987239078 hasConceptScore W2987239078C168773769 @default.
- W2987239078 hasConceptScore W2987239078C2777530160 @default.
- W2987239078 hasConceptScore W2987239078C33923547 @default.
- W2987239078 hasConceptScore W2987239078C41008148 @default.
- W2987239078 hasConceptScore W2987239078C44492722 @default.
- W2987239078 hasConceptScore W2987239078C49937458 @default.
- W2987239078 hasFunder F4320338279 @default.
- W2987239078 hasLocation W29872390781 @default.
- W2987239078 hasLocation W29872390782 @default.
- W2987239078 hasOpenAccess W2987239078 @default.
- W2987239078 hasPrimaryLocation W29872390781 @default.
- W2987239078 hasRelatedWork W2728692 @default.
- W2987239078 hasRelatedWork W4251996 @default.
- W2987239078 hasRelatedWork W4537801 @default.
- W2987239078 hasRelatedWork W4815900 @default.
- W2987239078 hasRelatedWork W5750292 @default.
- W2987239078 hasRelatedWork W5811475 @default.
- W2987239078 hasRelatedWork W723740 @default.
- W2987239078 hasRelatedWork W7639229 @default.
- W2987239078 hasRelatedWork W9325297 @default.
- W2987239078 hasRelatedWork W9380573 @default.
- W2987239078 isParatext "false" @default.
- W2987239078 isRetracted "false" @default.
- W2987239078 magId "2987239078" @default.
- W2987239078 workType "article" @default.