Skip to main content
SpringerLink
Log in

Temporal Extensions to Defeasible Logic

  • Conference paper
AI 2007: Advances in Artificial Intelligence (AI 2007)

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

Included in the following conference series:

Abstract

In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended temporalised framework is suitable to model different types of causal relations which have been identified by the specialised literature. We also prove that the computational properties of the original logic are still retained by the extended approach.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Allen, J.F: Towards a general theory of action and time. Artificial Intelligence 23, 123–154 (1984)

    Article  MATH  Google Scholar 

  2. 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 

  3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)

    Article  MathSciNet  Google Scholar 

  4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Proc. ECAI 2000, pp. 459–463 (2000)

    Google Scholar 

  5. Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artificial Intelligence 49, 61–95 (1991)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  7. Governatori, G., Dumas, M., ter Hofstede, A.H.M., Oaks, P.: A formal approach to protocols and strategies for (legal) negotiation. In: Proc. ICAIL 2001, pp. 168–177 (2001)

    Google Scholar 

  8. Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thorton, J. (eds.) Australian AI 2007. LNCS(LNAI), vol. 4830, pp. 480–496. Springer, Heidelberg (2007)

    Google Scholar 

  9. Governatori, G., Padmanabhan, V., Antonino, R.: Rule-based agents in temporalised defeasible logic. In: Yang, Q., Webb, G. (eds.) PRICAI 2006. LNCS (LNAI), vol. 4099, pp. 31–40. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

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

    Google Scholar 

  11. Governatori, G., Rotolo, A., Padmanabhan, V.: The cost of social agents. In: Proc. AAMAS 2006, pp. 513–520 (2006)

    Google Scholar 

  12. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proc ICAIL 2005, pp. 25–34 (2005)

    Google Scholar 

  13. Grosof, B.N.: Representing e-commerce rules via situated courteous logic programs in RuleML. Electronic Commerce Research and Applications 3(1), 2–20 (2004)

    Article  Google Scholar 

  14. Guha, R.V., Lenat, D.B.: Building Large Knowledge Based Systems. Addison-Wesley, Reading (1991)

    Google Scholar 

  15. Hamlet, I., Hunter, J.: Representation of time in medical expert systems. LNMI 33, 112–119 (1987)

    Google Scholar 

  16. Konolidge, K.: Using default and causal reasoning in diagnosis. Annals of Mathematics and Artificial Intelligence 11, 97–135 (1994)

    Article  Google Scholar 

  17. Maher, M.J.: Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming 1(6), 691–711 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  18. Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools 10(4), 483–501 (2001)

    Article  Google Scholar 

  19. McDermott, D.: A temporal logic for reasoning about processes and plans. Cognitive Science 6, 101–105 (1982)

    Article  Google Scholar 

  20. Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press, Oxford (1994)

    Google Scholar 

  21. Rieger, C., Grinberg, M.: The declarative representation and simulation of causality in physical mechanisms. In: Proc. IJCAI 1977, pp. 250–256 (1977)

    Google Scholar 

  22. Sandewall, E.: Features and Fluents. Oxford Scientific Publications, Oxford (1994)

    MATH  Google Scholar 

  23. Shoham, Y.: Reasoning About Change. MIT Press, Cambridge (1987)

    Google Scholar 

  24. Sosa, E.: Causation and Conditionals. Oxford university Press, Oxford (1975)

    Google Scholar 

  25. Terenziani, P., Torasso, P.: Time, action-types and causation: an integrated analysis. Computaional Intelligence 11(3), 529–552 (1995)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of ITEE, The University of Queensland, Brisbane, Australia

    Guido Governatori

  2. Università del Piemonte Orientale, Alessandria, Italy

    Paolo Terenziani

Authors
  1. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Terenziani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mehmet A. Orgun John Thornton

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Governatori, G., Terenziani, P. (2007). Temporal Extensions to Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds) AI 2007: Advances in Artificial Intelligence. AI 2007. Lecture Notes in Computer Science(), vol 4830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76928-6_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-76928-6_49

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-76926-2

  • Online ISBN: 978-3-540-76928-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation