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 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
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)
0PDF Downloads