Relative expressiveness of defeasible logics. II

DOI10.1017/S1471068413000367zbMATH Open1286.68052arXiv2102.10532MaRDI QIDQ5398296FDOQ5398296

Authors: Michael J. Maher 

Publication date: 27 February 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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 cite{Maher12}.

Full work available at URL: https://arxiv.org/abs/2102.10532

Recommendations

• Relative expressiveness of defeasible logics
• Comparing defeasible logics
• scientific article; zbMATH DE number 2084375
• scientific article; zbMATH DE number 1301973
• Publication:4944873

zbMATH Keywords

non-monotonic reasoningrelative expressivenessdefeasible logic

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Well-founded semantics for defeasible logic

Cited In (4)

• Rethinking defeasible reasoning: a scalable approach
• Comparing defeasible logics
• Relative expressiveness of defeasible logics
• Annotated defeasible logic

This page was built for publication: Relative expressiveness of defeasible logics. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398296)