Informational Logic as a Tool for Automated Reasoning

    loading  Checking for direct PDF access through Ovid

Abstract

A logical entropy-based Informational Logic is presented which provides new tools for probabilistic automated reasoning and knowledge representation. Applications in automated theorem proving are examined, and a decision theory for probabilistic theorems is proposed.

Related Topics

    loading  Loading Related Articles