|
|||||
|
|
Informational Logic as a Tool for Automated Reasoning |
|
| Authors: | Paola Forcheri Paolo Gentilini Maria Teresa Molfino |
| Affiliation: | (1) Istituto per la Matematica Applicata, Consiglio Nazionale delle Ricerche, Via de Marini 6, I-16149 Genova, Italy |
| 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. |
| Keywords: | automated reasoning knowledge representation informational logic probabilistic reasoning |
| 本文献已被 SpringerLink 等数据库收录！ | |