汉语量化句的逻辑语义分析与计算

分别对汉语中以句首”有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。在最后部分对汉语歧义量化句在Prolog语言的环境下做了个案的语义自动分析的实现。     

传统逻辑直言命题推理的扩充

传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处。但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系;最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用。     

用PROLOG模拟Lyusia语言中状态转移编程体裁

新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia 语言中状态转移编程体裁,以达到:(1)阐明状态转移编程体裁的逻辑本质。(2)显示“状态转移编程体裁既蕴含着过程性,又蕴含着说明性(declarative)”。(3)显示“状态转移编程体裁是过程编程体裁与基于法则编程体裁的结合”。(4)表明状态转移编程体裁在表达能力方面的简洁、灵活、善变。(5)说明状态转移编程体裁的应用。     

对计算机模拟中的逻辑、方法论的几点认识

随着计算机科学技术的发展,用计算机模拟人类实际科学推理的思维过程成为可能。于是,在计算机人工智能与认知心理学研究的交叉点上形成了“人类问题求解”理论。同时,又在计算机人工智能与逻辑研究的交叉点形成了适用于计算机的新颖逻辑理论及算法。计算机人工智能(AI)研究虽化分为两派,但无论哪一派,在对于思维的计算机模拟研究,包括机器学习和机器实现方面的研究,都为逻辑和科学方法论带来革命性变化和新的启示。     

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性.本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用.     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

风险投资专家决策支持系统的体系结构设计

根据风险投资决策问题与其系统功能 ,设计了用于风险投资决策的数据、模型和规则 ,并结合当前决策支持系统相关软件的发展状况 ,提出了一种现实可行的体系结构。