Abstract
An implemented, efficient, propositional non-monotonic logic, called Constructive Plausible Logic, is defined and explained. Several important properties enjoyed by this logic are stated. The most important property, relative consistency, means that whenever the set of axioms is consistent so is the set of all formulas proved using defeasible information. Hence the non-monotonic deduction mechanism is trustworthy. This is the first Plausible Logic which has been proved to be relatively consistent. Constructive disjunction is characterised by the property that a disjunction can be proved if and only if at least one of its disjuncts can be proved. Constructive Plausible Logic uses constructive disjunction. Moreover the ambiguity propagating proof algorithm is simpler than the one in Billington and Rock [4].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Antoniou, G., Billington, D.: Relating defeasible and default logic. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS (LNAI), vol. 2256, pp. 13–24. Springer, Heidelberg (2001)
Billington, D.: Defeasible deduction with arbitrary propositions. In: Poster Proceedings of the 11th Australian Joint Conference on Artificial Intelligence, pp. 3–14. Griffith University, Brisbane (1998)
Billington, D.: Constructive Plausible Logic version 1.2 repository. Available from the author (2003)
Billington, D., Rock, A.: Propositional plausible logic: Introduction and implementation. Studia Logica 67, 243–269 (2001)
Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal on Artificial Intelligence Tools 10(4), 483–501 (2001)
Nute, D.: Defeasible reasoning. In: Proceedings of the 20th Hawaii International Conference on System Science, University of Hawaii, pp. 470–477 (1987)
Rock, A.: Deimos: A query answering Defeasible Logic system. Available from the author (2000)
Rock, A.: Phobos: A query answering Plausible Logic system. Available from the author (2000)
Rock, A.: Implementation of Constructive Plausible Logic (version 1.2). Available from the author (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Billington, D., Rock, A. (2003). Constructive Plausible Logic Is Relatively Consistent. In: Gedeon, T.(.D., Fung, L.C.C. (eds) AI 2003: Advances in Artificial Intelligence. AI 2003. Lecture Notes in Computer Science(), vol 2903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24581-0_82
Download citation
DOI: https://doi.org/10.1007/978-3-540-24581-0_82
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20646-0
Online ISBN: 978-3-540-24581-0
eBook Packages: Springer Book Archive