【摘 要】
：
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通
论文部分内容阅读
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.
其他文献
局部切割和构件替换是半潜式平台特检过程中的可能施工项目,但局部切割后平台原有的结构形式将发生显著改变,使应力重新分布,可能产生较为危险的高应力区域。本文采用有限元
BJ-01并行计算机系统是一个充分考虑混沌行为研究需要的通用并行计算机系统.它采用MIMD结构和主从式工作方式,其局部存储和共享存储分开,具有多层地址空间.处理机和共享存储
本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.
GFKD-DSS系统是一个决策支持系统开发工具.它由两大部分组成:管理系统和运行控制系统.管理系统提供DSS管理语言,实现对模型库的管理、模型文件的管理和对数据库的使用.运行控
对柳蘑生物学特性进行比较研究,结果表明：柳蘑菌丝生长适宜温度为20-30℃,最适温度为25℃;生长的最适光照条件是全黑暗;生长的pH为5-11,最适生长pH为6;最适碳源为蔗糖,葡萄糖
为了使一个共享资源多处理机系统在局部时空内实现性能优化,便要求在同一个系统中实现多种裁决方案。本文由此简单讨论了各种类型的裁决器,进而提出了一种可变优先策略裁决器
本文提出了一个集成化的软件测试支撑环境INSENST的设计思想,并对INSENST的初步设计及详细设计方法进行了深入的讨论。
本文提出了一种新的刻划并发行为的方法.这种方法的基础是笔者近年来设计并实现的一种面向对象的程序设计语言.尽管语言本身没有特别引入用于并发程序设计的设施,但它却能用
本文给出一种旨在描述数据库ＮＬ界面上汉语查询的语法，语义结构的ＥＡＡＤ模型。通过该模型，数据库自然语言界面上的查询分析与理解，可以与其相应的背景知识 机地结合起来，ＥＡＡＤ模型适合于描述任
本文选取2002年——2010年沪深300指数以及相应的行业指数作为数据的来源，通过Madab程序实现对行业动量投资策略的研究，得出结论：我国股市存在明显的的短期动量效应，而中长期动量