Uncertain Logic Processing: logic-based inference and reasoning using Dempster–Shafer models

Rafael C. Núñez, Manohar Murthi, Kamal Premaratne, Matthias Scheutz, Otavio Bueno

Research output: Contribution to journalArticle

4 Scopus citations

Abstract

First order logic lies at the core of many methods in mathematics, philosophy, linguistics, and computer science. Although important efforts have been made to extend first order logic to the task of handling uncertainty, existing solutions are sometimes limited by the way they model uncertainty, or simply by the complexity of the problem formulation. These approaches could be strengthened by adding more flexibility in assigning probabilities (e.g., through intervals) and a more rigorous method of assigning probability/uncertainty measures. In this paper we present the basic theory of Uncertain Logic Processing (ULP), a robust framework for modeling and inference when information is available in the form of first order logic formulas subject to uncertainty. Dempster–Shafer (DS) theory provides the substrate for uncertainty modeling in the proposed ULP formulation. ULP can be tuned to preserve consistency with classical logic, allowing it to incorporate typical inference rules and properties, while preserving the strength of DS theory for representing and manipulating uncertainty.

Original languageEnglish (US)
Pages (from-to)1-21
Number of pages21
JournalInternational Journal of Approximate Reasoning
Volume95
DOIs
StatePublished - Apr 1 2018

Keywords

  • Automated reasoning
  • Belief theory
  • Dempster–Shafer theory
  • First order logic
  • Uncertain logic
  • Uncertain logic processing

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Artificial Intelligence
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Uncertain Logic Processing: logic-based inference and reasoning using Dempster–Shafer models'. Together they form a unique fingerprint.

  • Cite this