Extending Classical Logic with Inductive Definitions

03/07/2000
by   Marc Denecker, et al.
0

The goal of this paper is to extend classical logic with a generalized notion of inductive definition supporting positive and negative induction, to investigate the properties of this logic, its relationships to other logics in the area of non-monotonic reasoning, logic programming and deductive databases, and to show its application for knowledge representation by giving a typology of definitional knowledge.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/26/2023

The Logic of Logic Programming

Our position is that logic programming is not programming in the Horn cl...
research
07/11/2012

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

The logic FO(ID) uses ideas from the field of logic programming to exten...
research
05/09/2019

Extensions to Justification Theory

Justification theory is a unifying framework for semantics of non-monoto...
research
07/09/2018

AI Reasoning Systems: PAC and Applied Methods

Learning and logic are distinct and remarkable approaches to prediction....
research
07/14/2014

Imparo is complete by inverse subsumption

In Inverse subsumption for complete explanatory induction Yamamoto et al...
research
06/02/2015

SkILL - a Stochastic Inductive Logic Learner

Probabilistic Inductive Logic Programming (PILP) is a rel- atively unexp...
research
03/12/2010

Inductive Logic Programming in Databases: from Datalog to DL+log

In this paper we address an issue that has been brought to the attention...

Please sign up or login with your details

Forgot password? Click here to reset