An Implementation of Propositional Plausible Logic

Canberra, Australia January 31-February 03

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ACSC.2000.824404

Australasian Computer Science Conference

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Andrew Rock Articles by David Billington

	ASCII Text	x
	Andrew Rock, David Billington, "An Implementation of Propositional Plausible Logic," Australasian Computer Science Conference, pp. 204, Australasian Computer Science Conference, 2000.

	BibTex	x
	@article{ 10.1109/ACSC.2000.824404, author = {Andrew Rock and David Billington}, title = {An Implementation of Propositional Plausible Logic}, journal ={Australasian Computer Science Conference}, volume = {0}, year = {2000}, isbn = {0-7695-0518-X}, pages = {204}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSC.2000.824404}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Australasian Computer Science Conference TI - An Implementation of Propositional Plausible Logic SN - 0-7695-0518-X SP EP A1 - Andrew Rock, A1 - David Billington, PY - 2000 KW - Plausible logic KW - Implementation KW - Defeasible logic KW - Non-monotonic reasoning KW - Haskell KW - Artificial intelligence VL - 0 JA - Australasian Computer Science Conference ER -

Andrew Rock, Griffith University

David Billington, Griffith University

We report the first complete implementation of propositional Plausible Logic. Plausible Logic is an extension of Defeasible Logic that overcomes the latter's inability to represent or prove disjunctions. This advantage is significant in dealing with practical applications such as the modeling of regulations. The system has a web interface, which makes it available to researchers and students everywhere. The implementation language chosen was Haskell and some advantages and consequences of this choice are discussed.

Index Terms:

Plausible logic, Implementation, Defeasible logic, Non-monotonic reasoning, Haskell, Artificial intelligence

Citation:

Andrew Rock, David Billington, "An Implementation of Propositional Plausible Logic," acsc, pp.204, Australasian Computer Science Conference, 2000

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.