【哲学论文】回答集最优化逻辑程序研究.pdf.pdf

爵嘁回答集最优化逻辑程序研究勿中山大学硕士学位论文专业名称:申请人姓名:熊卫副教授年蒂席逻辑学朱江峰导师姓名:答辩委员会┟员主委~∥口匡●●
学位论文作者签名:葫孙鸟导师签名:丝≯学位论文作者签名:凑讫晦日期:叫晟嘣隆萑铡日期:珈加年月;日’日期:加年本人郑重声明:所呈交的学位论文,是本人在导师的指导下,独立进行研究工作所取得的成果。除文中已经注明引用的内容外,.本论文不包含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究作出重要贡献的个人和集体,均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。本人完全了解中山大学有关保留、使用学位论文的规定,即:学校有权保留学位论文并向国家主管部门或其指定机构送交论文的电子版和纸质版,有权将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆、院系资料室被查阅,有权将学位论文的内容编入有关数据库进行检索,可以采用复印、缩印或其他方法保存学位论文。弓日
回答集最优化逻辑程序研究逻辑学朱江峰熊卫副教授要关键词:逻辑程序回答集最优化等价性不可比性摘一个回答集最优化,以下简称逻辑程序是一个二元组琍鹒沙绦騊生成描绘可能解决方案的回答集,偏好程序陀泶锸褂谜叩钠ê谩鹒中的偏好规则构造出可能解决方案的一个偏好序列,用于比较生成的回答集。我们证明的呒绦蚧岢鱿植幌喙匚侍猓页霾幌喙匚题的成因。为了消除不相关问题,我们提出新概念燃郏灾匦露义偏好关系对回答集的满足度。相应地,我们定义了回答集的四种偏好关系,并在此基础上构建出回答集的层级结构,提出获得最优解的新方法。结合事例,我们在新的定义和技术的帮助下消除了不相关问题。
猡琍鹒甌甒甒,妙:珹,甌甀蚰’瓵.￡一瓹,.瑆.■
目录弓浴第翧逻辑程序⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..扩充逻辑程序和回答集语义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯呒绦颉呒绦虻奶氐愫陀诺恪第虏幌喙匚侍狻不相关问题⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第孪幌喙匚侍狻出现不相关问题的原因⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯￡.等价和不相关⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.回答集的四种偏好关系⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.回答集的层级结构和最优解选择⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯结语⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。中英文对照表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一例子⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯嗉恰海粃