View source for 17806019. REASONING WITH REAL-VALUED FIRST ORDER LOGIC AND PROBABILITY INTERVALS simplified abstract (INTERNATIONAL BUSINESS MACHINES CORPORATION)

=REASONING WITH REAL-VALUED FIRST ORDER LOGIC AND PROBABILITY INTERVALS=


==Organization Name==

[[:Category:INTERNATIONAL BUSINESS MACHINES CORPORATION|INTERNATIONAL BUSINESS MACHINES CORPORATION]]


[[Category:INTERNATIONAL BUSINESS MACHINES CORPORATION]]

==Inventor(s)==

[[:Category:Radu Marinescu of Dublin (IE)|Radu Marinescu of Dublin (IE)]][[Category:Radu Marinescu of Dublin (IE)]]

==REASONING WITH REAL-VALUED FIRST ORDER LOGIC AND PROBABILITY INTERVALS - A simplified explanation of the abstract==


This abstract first appeared for US patent application 17806019 titled 'REASONING WITH REAL-VALUED FIRST ORDER LOGIC AND PROBABILITY INTERVALS

==Simplified Explanation==

The patent application describes a method for improving routing in a computing system using a processor. Here are the key points:

* The method converts all first-order logic formulas into real-valued logic formulas.
* It executes a probabilistic inference using the real-valued logic formulas and probability intervals associated with atomic formulas in a knowledge base.
* The result is an interval conditional probability that indicates the likelihood of a first predicate condition being true based on the truth of one or more alternative predicates.

Potential applications of this technology:

* Enhanced routing in computer networks
* Intelligent decision-making systems
* Natural language processing and understanding
* Machine learning algorithms

Problems solved by this technology:

* Inefficient routing in computing systems
* Difficulty in handling complex logic formulas
* Lack of probabilistic reasoning in traditional routing algorithms

Benefits of this technology:

* Improved accuracy and efficiency in routing decisions
* Enhanced ability to handle complex logic and probabilistic reasoning
* Better decision-making capabilities in various applications


==Original Abstract Submitted==

Embodiments are provided for providing enhanced routing in a computing system by a processor. All first-order logic formulas may be converted into real-valued logic formulas. A probabilistic inference is executed using the real-valued logic formulas and one or more probability intervals associated with an atomic formulae in a knowledge base to provide an interval conditional probability indicating that a first predicate condition is true based one or more alternative predicates being true.



[[Category:G06N3/08]]
[[Category:G06N7/00]]