将经典逻辑扩展于归纳定义
计算机科学中的逻辑
2009-09-25 v1 人工智能
摘要
本文旨在将经典逻辑扩展为一种支持正向和负向归纳的广义归纳定义概念，以探讨该逻辑的性质、其与该领域其他逻辑（包括非单调推理、逻辑程序和演绎数据库）之间的关系，并通过给出一种定义知识的类型学来展示其在知识表示中的应用。
引用
@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