License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05171.4
URN: urn:nbn:de:0030-drops-2610
URL: https://drops.dagstuhl.de/opus/volltexte/2005/261/
Go to the corresponding Portal


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

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

pdf-format:
05171.KernIsbernerGabriele.Paper.261.pdf (0.3 MB)


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
Collection: 05171 - Nonmonotonic Reasoning, Answer Set Programming and Constraints
Issue Date: 2005
Date of publication: 14.09.2005


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI