• 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
  • Diagnostics as a reasoning process: From logic structure to software design

    Thumbnail
    View/Open
    Olivieri507872-Published.pdf (412.5Kb)
    File version
    Version of Record (VoR)
    Author(s)
    Cristani, M
    Olivieri, F
    Tomazzoli, C
    Viganò, L
    Zorzi, M
    Griffith University Author(s)
    Olivieri, Francesco
    Year published
    2019
    Metadata
    Show full item record
    Abstract
    Diagnostic tests are used to determine anomalies in complex systems such as organisms or built structures. Once a set of tests is performed, the experts interpret their results and make decisions based on them. This process is named diagnostic reasoning. In diagnostic reasoning a decision is established by using both rules and general knowledge on the tests and the domain. The artificial intelligence community has focused on devising and automating different methods of diagnosis for medicine and engineering, but, to the best of our knowledge, the decision process in logical terms has not yet been investigated thoroughly. The ...
    View more >
    Diagnostic tests are used to determine anomalies in complex systems such as organisms or built structures. Once a set of tests is performed, the experts interpret their results and make decisions based on them. This process is named diagnostic reasoning. In diagnostic reasoning a decision is established by using both rules and general knowledge on the tests and the domain. The artificial intelligence community has focused on devising and automating different methods of diagnosis for medicine and engineering, but, to the best of our knowledge, the decision process in logical terms has not yet been investigated thoroughly. The automation of the diagnostic process would be helpful in a number of contexts, in particular when the number of test sets to make decision is too wide to be dealt with manually. To tackle such challenges, we shall study logical frameworks for diagnostic reasoning, automation methods and their computational properties and technologies implementing these methods. In this paper, we present the formalization of a hybrid reasoning framework TL that hosts tests and deduction rules on tests, and an algorithm that transforms a TL theory into defeasible logic, for which an implemented automated deduction technology (called Spindle) exists. We evaluate the methodology by means of a real-world example related to the Open Web Application Security Project requisites. The full diagnostic process is driven from the definition of the issue to the decision.
    View less >
    Journal Title
    Journal of Computing and Information Technology
    Volume
    27
    Issue
    1
    DOI
    https://doi.org/10.20532/cit.2019.1004411
    Copyright Statement
    © The Author(s) 2019. This is an Open Access article distributed under the terms of the Creative Commons Attribution-NoDerivs 4.0 International (CC BY-ND 4.0) License, which permits unrestricted distribution and reproduction in any medium, providing that the work is properly cited. You may not alter, transform, or build upon this work
    Subject
    Information and computing sciences
    Publication URI
    http://hdl.handle.net/10072/411969
    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