Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV

Authors Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso



PDF
Thumbnail PDF

File

DagSemProc.05171.4.pdf
  • Filesize: 321 kB
  • 12 pages

Document Identifiers

Author Details

Gabriele Kern-Isberner
Christoph Beierle
Oliver Dusso

Cite AsGet BibTex

Gabriele Kern-Isberner, Christoph Beierle, and Oliver Dusso. Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.05171.4

Abstract

Checking medical invoices, done by every health insurance company, is a labor-intensive task. Both speed and quality of executing this task may be increased by the knowledge-based decision support system ACMI which we present in this paper. As the relevant regulations also contain various default rules, ACMI`s knowledge core is modelled using the answer set programming paradigm. It turned out that all relevant rules could be expressed directly in this framework, providing for a declarative and easily extendable and modifiable knowledge base. ACMI is implemented using the DLV system.
Keywords
  • Answer sets
  • default rules
  • health insurance
  • rule schemas

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail