REASONING WITH REAL-VALUED PROPOSITIONAL LOGIC AND PROBABILITY INTERVALS
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Dec 15, 2022
app pub date -
Jun 14, 2021
filing date -
Jun 14, 2021
priority date (Note) -
Published
status (Latency Note)
Importance
Abstract
In an approach for reasoning with real-valued propositional logic, a processor receives a set of propositional logic formulae, a set of intervals representing upper and lower bounds on truth values of a set of atomic propositions in the set of propositional logic formulae, and a query. A processor generates a logical neural network based on the set of propositional logic formulae and the set of intervals representing upper and lower bounds on truth values. A processor generates a credal network with a same structure of the logical neural network. A processor runs probabilistic inference on the credal network to compute a conditional probability based on the query. A processor outputs the conditional probability as an answer to the query.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully