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

Kern-Isberner, Gabriele; Beierle, Christoph; Dusso, Oliver

doi:10.4230/DagSemProc.05171.4

Document

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

Authors Gabriele Kern-Isberner, Christoph Beierle, Oliver Dusso

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 5171
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2005-09-14

PDF

File

PDF

DagSemProc.05171.4.pdf

Filesize: 321 kB
12 pages

Document Identifiers

DOI: 10.4230/DagSemProc.05171.4
URN: urn:nbn:de:0030-drops-2610

Subject Classification

Keywords

Answer sets
default rules
health insurance
rule schemas

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Gabriele Kern-Isberner

Christoph Beierle

Oliver Dusso

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail