Informational logic in knowledge representation and automated deduction

Informational logic is a new approach to the formalization of the notion of rational conjecture that is of interest both from the epistemic and the automated reasoning point of view. Given a logical system T, an informational logic is based on a new measure of logical information (which is defined o...

Full description

Saved in:
Bibliographic Details
Published in:Ai communications 1999-01, Vol.12 (4), p.185-208
Main Authors: cheri, Paola, Gentilini, Paolo, Molfino, Maria Teresa
Format: Article
Language:English
Subjects:
Artificial intelligence
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Informational logic is a new approach to the formalization of the notion of rational conjecture that is of interest both from the epistemic and the automated reasoning point of view. Given a logical system T, an informational logic is based on a new measure of logical information (which is defined on T-formulas) and on a mathematical definition of estimate criteria for proofs in T. This allows us to obtain a notion of informational theorem (L,p(L)) of a system T, where p(L) is the probability of L to be provable in T. The notion of probability is entirely founded on proof-theoretic concepts. In this paper, informational logic is presented, and applications of this idea to the representation of inductive reasoning and to automated theorem proving are shown.
ISSN:0921-7126