Nuovo Quadro Logico Plausibile per il Ragionamento Defeasible Senza Probabilità

Un nuovo sistema di logica del primo ordine chiamato Logica Plausibile (PL) è stato introdotto per ragionare con affermazioni defeasible—proposizioni tipicamente vere ma che possono avere eccezioni—senza fare affidamento su probabilità numeriche. Il quadro operativo utilizza esclusivamente fatti e affermazioni defeasible, evitando completamente misure quantitative. Diciassette principi logici guidano questo approccio, comprendendo quattordici regole essenziali e tre desiderabili, con uno di questi ultimi non formalmente articolato. PL soddisfa tutti tranne due di questi principi desiderabili e gestisce correttamente numerosi importanti esempi di ragionamento plausibile, rendendola l'unica logica nota del suo genere a raggiungere questo risultato. Il sistema include otto distinti algoritmi di ragionamento perché diverse conclusioni sensate possono emergere dallo stesso scenario di ragionamento plausibile. Questo lavoro rappresenta una versione condensata del libro dell'autore 'Plausible Reasoning and Plausible Logic'.