Open AccessExtending Classical Logic with Inductive Definitions
Author(s) -
Marc Denecker
Publication year - 2000
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-67797-6
DOI - 10.1007/3-540-44957-4_47
Subject(s) - computer science , non monotonic logic , inductive logic programming , knowledge representation and reasoning , monotonic function , classical logic , representation (politics) , artificial intelligence , theoretical computer science , programming language , mathematics , mathematical analysis , politics , political science , law
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom