Extending Classical Logic with Inductive Definitions
计算机科学中的逻辑
2009-09-25 v1 人工智能
摘要
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.
引用
@article{arxiv.cs/0003019,
title = {Extending Classical Logic with Inductive Definitions},
author = {Marc Denecker},
journal= {arXiv preprint arXiv:cs/0003019},
year = {2009}
}
备注
9 pages to be presented at NMR2000, Breckenridge, April 2000