2. 您的位置
3. 首页
4. 会议论文
5. 机器发现逻辑

机器发现逻辑

来源 :中国第三届知识工程研讨会 | 被引量 : 0次 | 上传用户：birdwy

【作 者】

：

孙怀民 

【机 构】

：

北京航空航天大学

【出 处】

：

中国第三届知识工程研讨会

【发表日期】

：

1990年期

【关键词】

：

机器 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

逻辑程序设计中的自动校错技术

会议

逻辑程序设计

Hoare逻辑中相对完备性的一个较弱充分条件

会议

逻辑相对完备性

试论医学体系的逻辑发展

会议

医学体系

关于主体的知识推理性质的逻辑

该文建立了一个逻辑模型，不仅能刻画多主体的知识推理而且能同时刻画特定主体的知识推理性质。

会议

知识推理特定主体逻辑模型多主体

萝卜汁治功血3例报告

会议

萝卜汁

计算机科学理论研究进展

会议

计算机科学

逻辑在计算机科学中的作用

会议

逻辑

一个基于时段的时态逻辑推理系统

会议

时段

线性逻辑及其应用

该文阐述了线性逻辑的成因及特性，介绍了线性逻辑在计算机科学中的应用。

会议

线性逻辑计算机科学应用特性成因

直觉模糊逻辑中的归结方法

会议

直觉模糊逻辑