【摘 要】
：
分析了人工智能各发展阶段对逻辑学的需求、逻辑学的发展规律和下一代信息处理的发展趋势,指出常识推理研究需要一种能包容一切逻辑形态和推理模式的、灵活的、开放的、自适
【机 构】
：
西北工业大学人工智能研究所(西安)
论文部分内容阅读
分析了人工智能各发展阶段对逻辑学的需求、逻辑学的发展规律和下一代信息处理的发展趋势,指出常识推理研究需要一种能包容一切逻辑形态和推理模式的、灵活的、开放的、自适应的柔性逻辑学平台.认为各种非标准逻辑和现代逻辑研究都必须建立和统一在柔性逻辑学的理论框架之内.逻辑学正在酝酿新的质变,将从刚性逻辑学阶段进入柔性逻辑学阶段.为此提出泛逻辑学的研究目标,给出了泛逻辑学的研究纲要和理论框架,并具体给出了命题泛逻辑学.命题泛逻辑学的建立不仅为研究谓词泛逻辑学打下了基础,完善了模糊逻辑,为不精确性推理提供了理论基础,还是进一步研究信息不安全情况下不精确性推理的有效研究平台.
其他文献
近年来高速铁路快速发展，目前高速铁路无砟轨道均普遍采用 CRTSIII 型板，为保证轨道板与底座板中间自密实混凝土的施工质量，本文从施工人员、机械、方法、环境、材料、环境等六
利用一种新方法即平衡技术来解答划分问题.证明若划分问题存在满足条件的子集,则该子集一定是平衡态.据此,仅对平衡进行枚举即可解答划分问题.若划分问题给定集合中每个元素
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提
在工程建设过程中出现滑坡现象会给工程项目带来严重威胁，还会对人身安全以及当地的经济发展造成严重危害。本文阐述了工程中开展地质勘察的重要性，对滑坡的成因和识别进行了分
在煤层气勘探中，地质录井技术的应用能够帮助勘探人员更好地掌握煤层气的实际状况，为勘探工作的顺利开展提供完整可靠的参考依据。
提出了将感觉信息处理建立在属性操作研究上的基本观点.给出了属性量-质转化规律的定性映射模型(QM),和QM与人工神经元的TLU(Threshold Logic Unit)模型的等价性定量.根据感
这是演化计算与智能计算论文系列中的论文之二.怎样从观测数据中自动地发现科学规律是科学研究中的一项艰难的任务.本文提出了从数据中自动发现常微分方程组模型的一种异步并
当今社会经济发展迅速，人们的经济水平日益提高，我国各行各业发展比较迅速，大数据技术凭借着自身的优点已经被广泛的应用到各行业中，尤其是城市的建设工作中，从而实现我国城市建设
本文提出一种基于ECA规则的动态可重构分层软件系统模型,在分层系统模型的应用逻辑层引入ECA规则机制,将应用逻辑以ECA规则的方式表达,通过规则来组织组件的调用,软件系统以
随着世界工业经济的发展、人口的剧增、人类生活物资的无节制增长，使得中国城市气候环境面临越来越严重的问题，二氧化碳排放量越来越大，地球臭氧层正遭受前所未有的危机，全球灾难