• 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
    • Book chapters
    • View Item
    • Home
    • Griffith Research Online
    • Book chapters
    • 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
  • Default Logic

    Author(s)
    Antoniou, Grigoris
    Wang, Kewen
    Griffith University Author(s)
    Wang, Kewen
    Antoniou, Grigorios
    Year published
    2007
    Metadata
    Show full item record
    Abstract
    Default logic is an important method of knowledge representation and reasoning, because it supports reasoning with incomplete information, and because defaults can be found naturally in many application domains, such as diagnostic problems, information retrieval, legal reasoning, regulations, specifications of systems and software, etc. Default logic can be used either to model reasoning with incomplete information that was the original motivation or as formalism that enables compact representation of information. This chapter discusses the basic concepts and ideas of default logic, and the presentation was based on the ...
    View more >
    Default logic is an important method of knowledge representation and reasoning, because it supports reasoning with incomplete information, and because defaults can be found naturally in many application domains, such as diagnostic problems, information retrieval, legal reasoning, regulations, specifications of systems and software, etc. Default logic can be used either to model reasoning with incomplete information that was the original motivation or as formalism that enables compact representation of information. This chapter discusses the basic concepts and ideas of default logic, and the presentation was based on the operational interpretations, rather than on fixpoints. The operational interpretations allow learners to apply concepts to concrete problems in a straightforward way. This is an important point because the difficulty of understanding default logic should not be underestimated. In some cases, standard default logic is insufficient to resolve conflicts among defaults. Preferences provide a declarative way to solve this problem and thus many approaches to preference handling in default logic are proposed.
    View less >
    Book Title
    Handbook of the History of Logic : Volume 8 : The Many Valued and Nonmonotonic Turn in Logic
    Volume
    8
    Publisher URI
    http://www.sciencedirect.com/science/handbooks/18745857/8
    DOI
    https://doi.org/10.1016/S1874-5857(07)80011-2
    Copyright Statement
    Self-archiving is not yet supported by this publisher. Please refer to the publisher's website or contact the author(s) for more information.
    Publication URI
    http://hdl.handle.net/10072/17874
    Collection
    • Book chapters

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E

    Tagline

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