DagSemProc.05171.4.pdf
- Filesize: 321 kB
- 12 pages
Document
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5171
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-09-14
Cite As Get 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.
Subject Classification
Keywords
- Answer sets
- default rules
- health insurance
- rule schemas
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads