Propositional Plausible Logic: Introduction and Implementation

No Thumbnail Available
File version
Author(s)
Billington, David
Rock, Andrew
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Mary-Anne Williams

Date
2001
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

Persistent link to this record
Citation
Collections