论文部分内容阅读
该文研究析取程序语义,诱导推理与常识推理的有关问题.为此,作者提出了诱导推理的三种实现框架:双析取诱导语义(BDAS),典型诱导语义(TAS)和标记辨论系统(IAS).
析取逻辑程序设计基础与诱导推理的研究
【摘 要】
：
该文研究析取程序语义,诱导推理与常识推理的有关问题.为此,作者提出了诱导推理的三种实现框架:双析取诱导语义(BDAS),典型诱导语义(TAS)和标记辨论系统(IAS).
【机 构】
：
南开大学
【出 处】
：
南开大学
【发表日期】
：
1996年期
其他文献
门限签名作为数字签名领域的一个重要分支，在电子商务中有着广泛应用。本文是基于参与签名成员具有不同的权限，提出特权集门限签名方案。主要包括以下工作: 1.总结了基于Lag
该文给出了具有稳定平衡点的n维正反馈控制系统收敛性方面的一个结果.接着,作者利用齐次向量场理论,对R中的一类Hamilton系统做了定性分析,给出了该系统的12种不同的拓扑结构
有限域上的方程是数论所研究的重要内容之一，其理论在密码学、编码理论和其他领域中都有着重要的应用。当下，越来越多的学者对有限域上的方程进行深入研究，特别是对方程在有限域
该文中,作者就语言控制运算的能力作了详尽的研究,并得到如下结果:(1)Chomsky三型语言对LCO是封闭的;(2)若带标号文法是界限文法,控制语言是三型语言,则经由LCO得到的语言是
L1极小化问题是一类重要的最优化问题，它是求解线性方程组稀疏解一种重要方法，也是优化界目前关注的一个热门研究课题.本文研究求解L1极小化问题的数值算法.我们采用罚函数法与