A Logic of Uncertain Interpretation
Logic in Computer Science
2025-03-21 v1 Artificial Intelligence
Abstract
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.
Cite
@article{arxiv.2503.15544,
title = {A Logic of Uncertain Interpretation},
author = {Adam Bjorndahl},
journal= {arXiv preprint arXiv:2503.15544},
year = {2025}
}
Comments
10 pages