<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>This article analyzes and compares several approaches of formalizing the notion of evidence in the context of general-purpose reasoning system. In each of these approaches, the notion of evidence is defined, and the evidence-based degree of belief is represented by a binary value, a number (such as a probability), or two numbers (such as an interval). The binary approaches provide simple ways to represent conclusive evidence, but cannot properly handle inconclusive evidence. The one-number approaches naturally represent inconclusive evidence as a degree of belief, but lack the information needed to revise this degree. It is argued that for systems opening to new evidence, each belief should at least have two numbers attached to indicate its evidential support. A few such approaches are discussed, including the approach used in NARS, which is designed according to the considerations of general-purpose intelligent systems, and provides novel solutions to several traditional problems on evidence.</p></abstract>

This article analyzes and compares several approaches of formalizing the notion of evidence in the context of general-purpose reasoning system. In each of these approaches, the notion of evidence is defined, and the evidence-based degree of belief is represented by a binary value, a number (such as a probability), or two numbers (such as an interval). The binary approaches provide simple ways to represent conclusive evidence, but cannot properly handle inconclusive evidence. The one-number approaches naturally represent inconclusive evidence as a degree of belief, but lack the information needed to revise this degree. It is argued that for systems opening to new evidence, each belief should at least have two numbers attached to indicate its evidential support. A few such approaches are discussed, including the approach used in NARS, which is designed according to the considerations of general-purpose intelligent systems, and provides novel solutions to several traditional problems on evidence.

Formalization of Evidence: A Comparative Study

Journal of Artificial General Intelligence

{"article-title":"Formalization of Evidence: A Comparative Study"}

This article analyzes and compares several approaches of formalizing the notion of evidence in the context of general-purpose reasoning system. In each of...

Formalization of Evidence: A Comparative Study

Publié en ligne: 23 nov. 2011

Pages: 25 - 53

DOI: https://doi.org/10.2478/v10229-011-0003-7

Mots clés
evidence, degree of belief, logic, probability, weight of evidence, revision, ignorance, evidential reasoning, general-purpose system

This content is open access.

Formalization of Evidence: A Comparative Study

Publié en ligne: 23 nov. 2011

Pages: 25 - 53

DOI: https://doi.org/10.2478/v10229-011-0003-7

Mots clésevidence, degree of belief, logic, probability, weight of evidence, revision, ignorance, evidential reasoning, general-purpose system

This content is open access.

Mots clés
evidence, degree of belief, logic, probability, weight of evidence, revision, ignorance, evidential reasoning, general-purpose system