License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-2610
URL: http://drops.dagstuhl.de/opus/volltexte/2005/261/

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

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

pdf-format:
Dokument 1.pdf (322 KB)


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


DROPS-Home | Fulltext Search | Imprint Published by LZI