Title: The effects of buying a new car: An extension of the IDP Knowledge Base System (technical communication)
Authors: Van Hertum, Pieter
Vennekens, Joost
Bogaerts, Bart
Devriendt, Jo
Denecker, Marc
Issue Date: 25-Sep-2013
Publisher: Cambridge University Press
Host Document: Theory and Practice of Logic Programming vol:13 issue:(4-5)-Online-Supplement pages:1-4
Conference: International Conference on Logic Programming edition:29 location:Istanbul date:24-29 August 2013
Article number: tlp2013019
Abstract: A long term goal in knowledge representation is the development of a knowledge
based system (KBS). A KBS stores knowledge in a completely declarative way
and is equipped with various domain independent inference methods to perform
different reasoning tasks for a broad field of applications. In this paper we took
a state-of-the-art KBS, IDP, with corresponding language FO(), and tested its
applicability on a prototypical example from the business rule domain: a car
rental system. We investigated whether we can indeed represent all required
knowledge in FO(). The results are mixed: on the one hand, the expressible
knowledge can be used to a greater extent (for example for profit maximisation),
but on the other hand, some knowledge was not expressible in the current version
of our system. One obstacle we encountered is that FO() does not have a
good formalism to model the knowledge about situations where a new object is
created. To remedy this, we propose an extension of the concept of inductive
definitions which allows us to model this knowledge in a declarative way. As a
result, this extension can be used for the car rental problem domain, as well as
for many other applications and inference tasks.
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
Technologiecluster Computerwetenschappen

Files in This Item:
File Description Status SizeFormat
tlp2013019.pdf Published 75KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.