Skip to main content Accessibility help
×
Home

Relative expressiveness of defeasible logics II

  • MICHAEL J. MAHER (a1)

Abstract

Maher (2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we show that all the defeasible logics in the DL framework are equally expressive under this formulation of relative expressiveness. The second formulation of relative expressiveness is stronger than the first. However, we show that logics incorporating individual defeat are equally expressive as the corresponding logics with team defeat. Thus the only differences in expressiveness of logics in DL arise from differences in how ambiguity is handled. This completes the study of relative expressiveness in DL begun in Maher (2012).

Copyright

References

Hide All
Antoniou, G., Billington, D., Governatori, G. and Maher, M. J. 2000. A flexible framework for defeasible logics. In AAAI/IAAI, AAAI Press/The MIT Press, 405410.
Billington, D., Antoniou, G., Governatori, G. and Maher, M. J. 2010. An inclusion theorem for defeasible logics. ACM Transactions on Computational Logic 12, 1, 6.
Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 2, 321358.
Maher, M. J. 2001. Propositional defeasible logic has linear complexity. TPLP 1, 6, 691711.
Maher, M. J. 2012. Relative expressiveness of defeasible logics. TPLP 12, 4–5, 793810.
Maher, M. J. and Governatori, G. 1999. A semantic decomposition of defeasible logics. In AAAI/IAAI, AAAI Press, 299305.
Maher, M. J., Governatori, G. and Lam, H. P. 2011. Well-founded defeasible logics. Tech. rep.
Maier, F. and Nute, D. 2006. Ambiguity propagating defeasible logic and the well-founded semantics. In JELIA, Fisher, M., van der Hoek, W., Konev, B. and Lisitsa, A., Eds. Lecture Notes in Computer Science, vol. 4160. Springer, 306318.
Maier, F. and Nute, D. 2010. Well-founded semantics for defeasible logic. Synthese 176, 2, 243274.
Rahwan, I. and Simari, G. 2009. Argumentation in Artificial Intelligence. Springer.

Keywords

Type Description Title
PDF
Supplementary materials

Maher supplementary material
Appendix

 PDF (281 KB)
281 KB

Relative expressiveness of defeasible logics II

  • MICHAEL J. MAHER (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed