Informational Logic as a Tool for Automated Reasoning

Authors:
Paola Forcheri;Paolo Gentilini;Maria Teresa Molfino
Affiliations:
Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via de Marini 6, I-16149 Genova, Italy;Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via de Marini 6, I-16149 Genova, Italy;Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via de Marini 6, I-16149 Genova, Italy
Venue:
Journal of Automated Reasoning
Year:
1998

Citing 7
Cited 1

Linear logic

Theoretical Computer Science
An analysis of first-order logics of probability

Artificial Intelligence
Meta-languages, reflection principles and self-reference

Handbook of logic in artificial intelligence and logic programming
Uncertainty logics

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Proving Theorems about LISP Functions

Journal of the ACM (JACM)
Information Theory and Reliable Communication

Information Theory and Reliable Communication

Informational logic in knowledge representation and automated deduction

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

A logical entropy-based Informational Logic is presented which providesnew tools for probabilistic automated reasoning and knowledgerepresentation. Applications in automated theorem proving are examined, anda decision theory for probabilistic theorems is proposed.