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:DSP:2005:261,
author = {Gabriele Kern-Isberner and Christoph Beierle and Oliver Dusso},
title = {Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints},
year = {2005},
editor = {Gerhard Brewka and Ilkka Niemel{\"a} and Torsten Schaub and Miroslaw Truszczynski},
number = {05171},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2005/261},
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
