Skip to main content
SpringerLink
Log in

Propositional Clausal Defeasible Logic

  • Conference paper
Logics in Artificial Intelligence (JELIA 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5293))

Included in the following conference series:

Abstract

Defeasible logics are non-monotonic reasoning systems that have efficient implementations and practical applications. We list several desirable properties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorithms to cater for a range of intuitions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antoniou, G.: Nonmonotonic rule system on top of ontology layer. In: Bergmann, R. (ed.) Experience Management. LNCS (LNAI), vol. 2432, pp. 394–398. Springer, Heidelberg (2002)

    Google Scholar 

  2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A Flexible Framework for Defeasible Logics. In: Proc AAAI 2000, pp. 405–410 (2000)

    Google Scholar 

  3. Antoniou, G., Billington, D., Maher, M.J.: On the analysis of regulations using defeasible rules. In: Proc. 32nd Hawaii Intl. Conf. on Syst. Sci (HICSS). IEEE Press, Los Alamitos (1999)

    Google Scholar 

  4. Bassiliades, N., Antoniou, G., Vlahavas, I.: DR-DEVICE: A defeasible logic system for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 134–148. Springer, Heidelberg (2004)

    Google Scholar 

  5. Billington, D.: Defeasible Logic is Stable. J Logic Computation 3(4), 379–400 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  6. Billington, D.: A Plausible Logic which Detects Loops. In: Proc 10th International Workshop on Nonmonotonic Reasoning, pp. 65–71 (2004) ISBN 92-990021-0-X

    Google Scholar 

  7. Billington, D.: The Proof Algorithms of Plausible Logic Form a Hierarchy. In: Zhang, S., Jarvis, R. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 796–799. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Billington, D., Rock, A.: Propositional Plausible Logic: Introduction and Implementation. Studia Logica 67(2), 243–269 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  9. Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Non-monotonic Reasoning for Localisation in RoboCup. In: Proc. 2005 Australasian Conference on Robotics and Automation (2005) http://www.cse.unsw.edu.au/~acra2005/proceedings/papers/billington.pdf

  10. Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Using Temporal Consistency to Improve Robot Localisation. In: Lakemeyer, G., Sklar, E., Sorrenti, D.G., Takahashi, T. (eds.) RoboCup 2006: Robot Soccer World Cup X. LNCS (LNAI), vol. 4434, pp. 232–244. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  11. Darcy, P., Stantic, B., Derakhshan, R.: Correcting Stored RFID Data with Non-Monotonic Reasoning. Int. J. of Principles and Apps. of Info. Sci. and Tech (PAIST) 1(1), 65–77 (2007)

    Google Scholar 

  12. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)

    Article  Google Scholar 

  13. Governatori, G., Dumas, M., ter Hofstede, A.H., Oaks, P.: A formal approach to protocols and strategies for (legal) negotiation. In: Proc. 8th International Conference on Artificial Intelligence and Law (ICAIL 2001), pp. 168–177. ACM Press, New York (2001)

    Chapter  Google Scholar 

  14. Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising Deadlines in Temporal Modal Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486–496. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  15. Governatori, G., Padmanabhan, V.: A defeasible logic of policy-based intention. In: Gedeon, T.D., Fung, L.C.C. (eds.) AI 2003. LNCS (LNAI), vol. 2903, pp. 414–426. Springer, Heidelberg (2003)

    Google Scholar 

  16. Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114–128. Springer, Heidelberg (2004)

    Google Scholar 

  17. Governatori, G., Rotolo, A., Sadiq, S.: A model of dynamic resource allocation in workflow systems. Research & Practice of IT Database Technology 2004 27, 197–206 (2004)

    Google Scholar 

  18. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th Intl. Conf. on AI and Law (ICAIL 2005), pp. 25–34. ACM Press, New York (2005)

    Chapter  Google Scholar 

  19. Johnston, B., Governatori, G.: An algorithm for the induction of defeasible logic theories from databases. Research & Practice of IT Database Technology 2003 17, 75–83 (2003)

    Google Scholar 

  20. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient Defeasible Reasoning Systems. Intl. J. of Artificial Intelligence Tools 10(4), 483–501 (2001)

    Article  Google Scholar 

  21. Maier, F., Nute, D.: Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 306–318. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Nute, D.: Defeasible reasoning. In: 20th Hawaii Intl. Conf. on Syst. Sci., pp. 470–477 (1987)

    Google Scholar 

  23. Nute, D.: Defeasible Logic. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol. 2543, pp. 151–169. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  24. Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence 13, 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  25. Thakur, S., Governatori, G., Padmanabhan, V., Lundstrom, J.E.: Dialogue Games in Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 497–506. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of ICT, Nathan campus, Griffith University, Brisbane, Queensland, 4111, Australia

    David Billington

Authors
  1. David Billington
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, TU Dresden, Germany

    Steffen Hölldobler

  2. Institut für Theoretische Informatik, TU Dresden, Germany

    Carsten Lutz

  3. Institute of Philosophy, Dresden University of Technology, Dresden, Germany

    Heinrich Wansing

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Billington, D. (2008). Propositional Clausal Defeasible Logic. In: Hölldobler, S., Lutz, C., Wansing, H. (eds) Logics in Artificial Intelligence. JELIA 2008. Lecture Notes in Computer Science(), vol 5293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87803-2_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87803-2_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87802-5

  • Online ISBN: 978-3-540-87803-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation