可废止逻辑编程：一种论辩方法
人工智能
2007-05-23 v1
摘要
本文介绍可废止逻辑编程（DeLP），这是一种结合了逻辑编程与可废止论辩结果的逻辑形式。DeLP 能够以声明式的方式表示弱规则形式的信息，并提供了一种可废止论辩推理机制来保证所蕴含结论的有效性。在 DeLP 中，论辩形式将用于在矛盾目标之间进行决策。查询将由论据支持，而这些论据可能被其他论据击败。当存在一个被保证的论据 A 支持查询 q 时，查询 q 即告成功，即支持 q 的论据 A 在执行辩证分析的保证程序中被判定为未被击败。DeLP 的可废止论辩基础允许构建在动态领域中处理不完整和矛盾信息的应用程序。因此，所得方法适合表示智能体的知识，并为智能体提供基于论辩的推理机制。
引用
@article{arxiv.cs/0302029,
title = {Defeasible Logic Programming: An Argumentative Approach},
author = {Alejandro Javier Garcia and Guillermo Ricardo Simari},
journal= {arXiv preprint arXiv:cs/0302029},
year = {2007}
}
备注
43 pages, to appear in the journal "Theory and Practice of Logic Programming"