Kern-Isberner, Gabriele ;
Beierle, Christoph ;
Dusso, Oliver
Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV
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.
BibTeX - Entry
@InProceedings{kernisberner_et_al:DagSemProc.05171.4,
author = {Kern-Isberner, Gabriele and Beierle, Christoph and Dusso, Oliver},
title = {{Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV}},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5171},
editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2005/261},
URN = {urn:nbn:de:0030-drops-2610},
doi = {10.4230/DagSemProc.05171.4},
annote = {Keywords: Answer sets, default rules, health insurance, rule schemas}
}
|
Keywords: |
|
Answer sets, default rules, health insurance, rule schemas |
|
Seminar: |
|
05171 - Nonmonotonic Reasoning, Answer Set Programming and Constraints
|
|
Issue date: |
|
2005 |
|
Date of publication: |
|
14.09.2005 |
14.09.2005
