偏好的逻辑表示和推理及其在约束满足求解中的应用研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

偏好的逻辑表示和推理及其在约束满足求解中的应用研究

项目名称：偏好的逻辑表示和推理及其在约束满足求解中的应用研究
项目类别：青年科学基金项目
批准号：60803061
申请代码：F020512
项目来源：国家自然科学基金
研究期限：2009-01-01-2011-12-31

项目负责人：张志政
负责人职称：副教授
依托单位：东南大学
批准年度：2008

中文摘要：

本项目从偏好处理的角度重新审视约束满足问题，鉴于已有约束满足问题求解方法不能处理具有多语义、多角色共存，和复杂合成，以及模糊的、不确定特点的显偏好，拟通过构造多类型偏好逻辑，形成多类型偏好共存情况下偏好推理的一般理论；采用合作博弈逻辑，研究有偏好的agent 的合作求解机制；进而，基于t范算子，研究具有不精确偏好的逻辑程序的回答集语义；然后以此为指导，提出具有较强偏好表达能力和约束满足求解能力的逻辑程序语言，及其回答集语义和求解方法。此外，相关成果进行了初步应用。本项目不仅从偏好处理的角度进一步推广约束满足问题研究，而且也为偏好处理提供一条新的途径。

中文主题词：显偏好、约束满足、有偏好合作博弈、回答集逻辑程序设计

结论摘要：

英文主题词explicit preference; constraint satisfaction; preference-based coalitional game; answer set programming

成果综合统计