版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:Univ Leipzig Inst Informat D-04109 Leipzig Germany
出 版 物:《SYNTHESE》 (Synthese)
年 卷 期:2005年第146卷第1-2期
页 面:171-187页
核心收录:
学科分类:01[哲学] 0101[哲学-哲学] 0712[理学-科学技术史(分学科,可授理学、工学、农学、医学学位)]
主 题:Logical disjunction Semantics Knowledge representation Decision theory Eggs Reasoning Model theory Logic programming
摘 要:Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A x B intuitively means: if possible A, but if A is not possible then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show that LPODs can serve as a basis for qualitative decision making.