返回
Qualitative choice logic
DOI:10.1016/j.artint.2004.04.006.png)
摘要
En 中文
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked options for problem solutions. The logic adds to classical propositional logic a new connective called ordered disjunction: A x(-->) B intuitively means: if possible A, but if A is not possible then at least B. The semantics of qualitative choice logic is based on a preference relation among models. Consequences of QCL theories can be computed through a compilation to stratified knowledge bases which in turn can be compiled to classical propositional theories. We also discuss potential applications of the logic, several variants of QCL based on alternative inference relations, and their relation to existing nonmonotonic formalisms. (1) (C) 2004 Elsevier B.V All rights reserved.
Keyword:
preference handling
nonmonotonic reasoning
qualitative decision making
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
暂无机构信息

