有序析取的逻辑编程
人工智能
2007-05-23 v1
摘要
具有有序析取的逻辑程序（LPODs）结合了 Qualitative Choice Logic（Brewka 等人，KR 2002）和答案集编程思想的理念。逻辑程序在答案集语义下扩展了新的连接词，称为有序析取。该新连接词允许我们在规则头部表示替代的、排名后的解决方案选项：A × B 直观地意味着：如果可能的话则选 A，但如果 A 不可能，则至少选 B。具有有序析取的逻辑程序语义基于答案集上的偏好关系。LPODs 在设计和配置等应用中有用，可作为定性决策的基础。
引用
@article{arxiv.cs/0207042,
title = {Logic Programming with Ordered Disjunction},
author = {Gerhard Brewka},
journal= {arXiv preprint arXiv:cs/0207042},
year = {2007}
}