Propositional Plausible Logic: Introduction and Implementation
File version
Author(s)
Rock, Andrew
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Mary-Anne Williams
Date
Size
File type(s)
Location
License
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.
Journal Title
Studia Logica
Conference Title
Book Title
Edition
Volume
67
Issue
2
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Mathematical sciences
Information and computing sciences
Philosophy and religious studies