A Logic of Uncertain Interpretation
By: Adam Bjorndahl
Potential Business Impact:
Helps computers understand when information might be wrong.
We introduce a logical framework for reasoning about "uncertain interpretations" and investigate two key applications: a new semantics for implication capturing a kind of "meaning entailment", and a conservative notion of "evidentially supported" belief that takes the form of a Dempster-Shafer belief function.
Similar Papers
A Comprehensive Survey of Fuzzy Implication Functions
Artificial Intelligence
Organizes fuzzy logic rules for better computer decisions.
Fuzzy Propositional Formulas under the Stable Model Semantics
Artificial Intelligence
Makes computers reason with uncertain facts.
Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics
Artificial Intelligence
Helps computers think about complex things better.