您好、欢迎来到现金彩票网!
当前位置:如意彩票 > 非单调推理 >

基于(?)_D(·)算子的非单调后承表示定理证明的研究

发布时间:2019-05-27 17:51 来源:未知 编辑:admin

  非单调逻辑是人工智能研究领域的一个重要方向之一,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的一个重要研究内容。本文探讨了(?)_D(·)算子在表示定理研究中的应用,主要工作如下: 1 .就两条非Horn型的规则——Weak Determinacy ( WD )和Rational Contraposition(RC)——的语义进行了研究。在一般语言的框架下,基于(?)_D(·)算子,给出了P+WD和P+RC的表示定理。 2.验证了常见的占优模型性质(如层化性、过滤性和线性性等等)在(?)_D(·)算子下的保持性。在此基础上,建立了占优模型经过(?)_D(·)算子变换后的模型性质与其所满足的逻辑规则之间的对应性。即有下述结论成立:给定语言L,存在超滤子D,使得对任意占优模型M ,有下列事实成立: (1) ~M满足RM当且仅当(?)_D ( M)是层化的; (2) ~M满足RT当且仅当(?)_D ( M)是伪线) ~M满足DR当且仅当(?)_D ( M)是过滤的; (4) ~M满足CEM当且仅当(?)_D ( M)是线) ~M满足FD当且仅当(?)_D ( M)是几乎线) ~M满足WD当且仅当(?)_D ( M)是赋值层化的; (7) ~M满足RC当且仅当(?)_D ( M)是PRCα模型; (8) ~M满足WDR当且仅当(?)_D ( M)是单射模型。

  唐朝晖;;基于非单调推理的防火墙规则一致性检测与包容[J];福建中学数学;2008年02期

  周生炳,戴汝为;基于标记逻辑的非单调推理(Ⅰ)[J];计算机学报;1995年09期

  朱福喜;周祥和;;一个实用的非单调推理系统[J];计算机应用与软件;1993年02期

  杨杰,陆正刚,施鹏飞;结合优先级和可信度的非单调真值维护系统[J];上海交通大学学报;1998年04期

  吴茂念;陈武;张明义;沈复兴;;Makinson一个公开问题的注记[J];计算机科学;2009年06期

  李英华;;关于模糊非单调推理系统的研究[J];海军工程大学学报;1991年04期

  张虹霞;李英华;;人工智能非单调推理系统的研究[J];军事经济学院学报;1995年03期

  胡久稔,王克文;诱导推理的一种计算模型[J];小型微型计算机系统;1996年11期

  冯嘉礼;;动态判断与非单调推理的属性重心坐标表示模型[J];计算机工程与科学;2008年10期

  何方琨;;对偶占优推理系统的表示定理的证明[A];第十六届全国青年通信学术会议论文集(上)[C];2011年

  刘奋荣;;缺省逻辑如何研究非单调推理?[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

  费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年

  陈雷明;邹欣;党德玉;;一种基于语义优化非单调推理的方法[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年

  肖庆文;林作铨;;一个Web站点自动生成系统[A];1999年中国智能自动化学术会议论文集(下册)[C];1999年

  梁健;张勇;陈智健;肖庆文;于斌;沈达阳;;基于Windows NT的Intranet的研究与实现——汕头国土局房地产信息管理系统STRET[A];1998年中国智能自动化学术会议论文集(下册)[C];1998年

  陈小平;;基于信念修改逻辑的归纳支持[A];1996年逻辑研究专辑[C];1996年

  张立英;;一种类型的概称句推理[A];2005年逻辑研究专辑[C];2005年

  周北海;毛翊;;常识推演——常识推理的形式刻画[A];2004年逻辑研究专辑[C];2004年

  黄国芳;汪学明;;从制约逻辑到法律推理的思考[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

  刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

  周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年

  顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年

  刘敬学;面向指挥决策的取证支持系统研究[D];华中科技大学;2006年

  吴梅红;基于动态认知逻辑的多主体系统知识推理研究[D];厦门大学;2009年

  干红华;基于事件的因果关系可计算化分析研究[D];浙江大学;2003年

  肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年

  李鑫;Answer Set编程及其应用研究[D];电子科技大学;2009年

  田瑞;应急交通保障辅助决策支持系统相关模型与方法研究[D];吉林大学;2011年

  张兴华;基于(?)_D(·)算子的非单调后承表示定理证明的研究[D];南京航空航天大学;2008年

  车国海;基于ATMS的复合型脾虚证辅助诊断系统的设计和实现[D];暨南大学;2006年

  何方琨;关于对偶占优后承表示定理的研究[D];南京航空航天大学;2011年

  张选逵;基于AIS的船舶避碰专家系统研究[D];上海海事大学;2006年

  吴宇;ATMS在基于约束的产品配置问题中的研究和应用[D];上海交通大学;2007年

  曹逸;基于非单调能力扩展的本体推理与查询研究[D];中南大学;2008年

http://mj-sports.net/feidandiaotuili/237.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有