DLV - 用于声明性问题求解的系统
人工智能
2007-05-23 v1 计算机科学中的逻辑
摘要
DLV 是一个高效的逻辑编程和非单调推理 (LPNMR) 系统，具备先进的知识表示机制以及与经典关系数据库系统的接口。其核心语言是亦然 datalog (无函数亦然逻辑编程) ，在答案集合语义下支持完整约束、默认否定与强(显式)否定以及查询。还支持整数算术和各种内置谓词。此外，DLV 具有多个前端，包括勇敢推理与谨慎推理、归纳诊断、一致性基于诊断、SQL3 子集、带动作语言的规划以及带继承的逻辑编程。
关键词
引用
@article{arxiv.cs/0003036,
title = {DLV - A System for Declarative Problem Solving},
author = {Thomas Eiter and Wolfgang Faber and Christoph Koch and Nicola Leone and Gerald Pfeifer},
journal= {arXiv preprint arXiv:cs/0003036},
year = {2007}
}
备注
6 pages, 1 figure, 1 table