Score: 0

A Logic of Uncertain Interpretation

Published: March 15, 2025 | arXiv ID: 2503.15544v1

By: Adam Bjorndahl

Potential Business Impact:

Helps computers understand when information might be wrong.

Business Areas:
Semantic Web Internet Services

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.

Page Count
10 pages

Category
Computer Science:
Logic in Computer Science