• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Journal articles
    • View Item
    • Home
    • Griffith Research Online
    • Journal articles
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Argumentation Semantics for Defeasible Logic

    Thumbnail
    View/Open
    26980_1.pdf (193.1Kb)
    File version
    Accepted Manuscript (AM)
    Author(s)
    Governatori, G
    Maher, MJ
    Antoniou, G
    Billington, D
    Griffith University Author(s)
    Billington, David
    Year published
    2004
    Metadata
    Show full item record
    Abstract
    Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and ...
    View more >
    Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules. This paper establishes significant links between defeasible reasoning and argumentation. In particular, Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking. There are several reasons for the significance of this work: (a) establishing links between formal systems leads to a better understanding and cross-fertilization, in particular our work sheds light on the argumentation-theoretic features of defeasible logic; (b) we provide the first ambiguity blocking Dung-like argumentation system; (c) defeasible reasoning may provide an efficient implementation platform for systems of argumentation; and (d) argumentation-based semantics support a deeper understanding of defeasible reasoning, especially in the context of the intended applications.
    View less >
    Journal Title
    Journal of Logic and Computation
    Volume
    14
    Issue
    5
    DOI
    https://doi.org/10.1093/logcom/14.5.675
    Copyright Statement
    © 2004 Oxford University Press. This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Cerebral Cortex following peer review. The definitive publisher-authenticated version Argumentation Semantics for Defeasible Logic, Journal of Logic and Computation, Volume 14, Issue 5, Pages 675–702,is available online at: https://doi.org/10.1093/logcom/14.5.675.
    Subject
    Mathematical sciences
    Information and computing sciences
    Philosophy and religious studies
    Publication URI
    http://hdl.handle.net/10072/5155
    Collection
    • Journal articles

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E
    • TEQSA: PRV12076

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander