Author： Billington D. Rock A.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.67, Iss.2, 2001-03, pp. : 243-269
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Plausible Logic allows defeasible deduction with arbitrary propositions, and yet when sufficiently simplified it is very similar to the Defeasible Logics of Billington and Nute. This paper presents Plausible Logic, explains some of the ideas behind the definitions, applies Plausible Logic to an example, and proves a coherence result which indicates that Plausible Logic is well behaved. We also report the first complete implementation of propositional Plausible Logic. The implementation has a web interface which makes it available to researchers and students everywhere. The implementation is evaluated experimentally, and is shown to be capable of handling tens of thousands of rules and sufficiently many disjunctions for realistic problems.
Related content
Reasoning Processes in Propositional Logic
Journal of Logic, Language and Information, Vol. 19, Iss. 3, 2010-07 ,pp. :
Access to resources
Recommend
Propositional Logic of Essence
By Correia F.
Journal of Philosophical Logic, Vol. 29, Iss. 3, 2000-06 ,pp. :
The Undecidability of Propositional Adaptive Logic
Synthese, Vol. 158, Iss. 1, 2007-09 ,pp. :
On The Computational Consequences of Independence in Propositional Logic
Synthese, Vol. 149, Iss. 2, 2006-03 ,pp. :
A Propositional Dynamic Logic with Qualitative Probabilities
By Guelev D.P.
Journal of Philosophical Logic, Vol. 28, Iss. 6, 1999-12 ,pp. :