< Terug naar vorige pagina

Publicatie

Building a knowledge base system for an integration of logic programming and classical logic

Boekbijdrage - Boekhoofdstuk Conferentiebijdrage

This paper presents a Knowledge Base project for FO(ID), an extension of classical logic with inductive definitions. This logic is a natural integration of classical logic and logic programming based on the view of a logic program as a definition. We discuss the relationship between inductive definitions and common sense reasoning and the strong similarities and striking differences with ASP and Abductive LP. We report on inference systems that combine state-of-the-art techniques of SAT and ASP. Experiments show that FO(ID) model expansion systems are competitive with the best ASP-solvers.
Boek: Lecture Notes in Computer Science
Pagina's: 71 - 76
ISBN:3540899812
Jaar van publicatie:2008
BOF-keylabel:ja
IOF-keylabel:ja
Authors from:Higher Education
Toegankelijkheid:Open