基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。使用表推演方法，检查知识库协调性，对知识库进行扩展，约减和修正，给出可行方法。     

PTES专家系统知识库的构造

本文大专家系统设计方法的指导下，通过对整理、知识表示、知示获取、知识库构造等环节的描述，介绍了一个植物分类专家系统知识库的构造方法     

一种实用的知识库模型

提出了一种分级索引知识库的模型，并讨论了一种有效搜索知识库的方法和对知识库的动态管理．该模型自然而动态地表达了知识的层次结构，亦便于在分布环境实现     

学生数学知识库的建构

该文从建构主义的观点出发，分析了建构数学知识库的三个基本途径，详细阐述了数学知识库的四种建构方法，最后提出了几点教学建议。     

智能工作站英充规则知识库设计

本文介绍了中日国际合作开发研究的Ａｌ型智能网络智能工作站中英汉规则知识库的设计模型。该模型采用概念编码的方法构造规则知识库，具有较强的扩充性和实用性，规则知识库支持智能工作站进行自然语言交互和理解。     

基于Oracle9i数据库构建的专家系统知识库

<正>一个专家系统要具有快速、准确的推断能力,并且要有一个恰当的知识表示及组织形式。知识库系统是专家系统的核心部分,知识库构造的核心是专家知识表示与问题求解。Oracle9i是在关系数据库的基础上扩展了对象关系特性。在Oracle9i中,不但支持这些简单数据     

高等教育学理论体系建构说--逻辑起点论述评

大凡成体系的理论都有一个逻辑起点。高等教育学理论的逻辑起点在哪里，众说纷纭，有高深专门知识的教与学、高深学问、知识、办学育才、大学生、课程、学问等观点。教育本身是一个复杂的社会活动，不同的视角，所得出的逻辑起点也各有不同。     

智能工作站英汉规则知识库设计

本文介绍了中日国际合作开发研究的Ａ１型智能网络（Ａ１型ＩＮ）智能工作站（ＩＷ）中英汉规则知识库（ＲＫＢ）的设计模型。该模型采用概念编码的方法构造规则知识库，具有效强的扩充性和实用性。规则知识库支持智能工作站进行自然语言交互和理解。     

基于溯因解释的信念修正

给出了一个基于溯因推理信念修正的逻辑框架，并提出一个使用溯因方法，对带有约束条件的信念进行修正算法，该算法得到的是优化解。     

ITS中基于知识点关系的领域知识库的建立

在计算机智能授导系统（ITS）中,知识库的构建是一个关键问题,它是ITS所有功能实现的基础,其结构决定了智能推理过程的有效性．使用依据知识点之间的关系构建知识库的方法,首先把学科知识按照一般顺序分解为四层知识点,通过知识点之间的各种关系来组织知识点,再根据教学策略和学习者的差异向学习者提供与学习者个人相适应的学习内容,从而满足学习者高质量高效率的学习要求．     

一种基于多库协同的人脸绘制方法

本文通过管理智能化的方法，把建立在数据库、知识库、模型库等多库之上工作的协同器与人脸绘制相结合，由用户通过人机智能界面交互来获取知识，使用知识库驱动的多库协同的软件系统，实现对人脸的绘制功能．     

战略投资DSS知识库管理系统的设计

论述了战略投资 Ｄ Ｓ Ｓ（ 决策支持系统） 的知识库管理系统的知识库结构与功能设计．     

工程材料课教学改革的几点尝试

工程材料课，是机械类各专业必修的一门技术基础课程。是以培养学生正确选用材料的能力为目的的叙述性课程。同学反映内容散，难理解，记不住。根据上述特点，为了加强学生能力的培养，提高教学质量，在教学中作了几点尝试，初步收到了良好的效果。一、加强课堂讲课内容的逻辑性讲课内容，不应是众多概念的罗列，应该着重介绍重点和难点，注意介绍分析问题的思路和方法，这些课堂内容，如果用富有启发性的逻辑因素组织起来，就可借助于过程中推理的逻辑因素组织起来，唤起学生的思维“共鸣”。如何借助于过程中推理的逻辑力量唤起学生的“共…     

存在怪论的推导与分析及有关语意问题

怪论：“概念无逻辑矛盾的任一物理事件必然在物理世界中存在（或被实现）”可从下列四个易被接受的假设推出：１、经验归纳是不完备的。２、认识上仅有两方面，即经验归纳与逻辑推理。３、从逻辑观点看，断言一个物理事件在所有时间都不存在，仅是由于事件概念有逻辑矛盾。４、推理限于使用经典逻辑。以Ｐ（ｔ）表示物理事件Ｐ在时刻ｔ出现，当Ｐ的概念无逻辑矛盾时，ヨｔｐ（ｔ）之真可在有限时区证实，但其假则否。而フｐ（ｔ）之     

超文本知识库及其在CAI中的应用

本文提出了超文本知识库的概念，给出了其数学描述，讨论了其存储结构和访问机制．探索了应用于ＣＡＩ课件设计中的几个问题．     

FPGA器件的在线快速配置方法

现场可编程门阵列FPGA（Field Programmable Gate Array）是一种高密度可编程逻辑器件，其逻辑功能的实现是通过把设计生成的数据文件配置进芯片内部的静态配置数据存储器（SRAM）来完成的，具有可重复编程性，可以灵活实现各种逻辑功能。FPGA的这种特性使其在现代电子系统设计中得到了广泛应用。基于SRAM丁艺的FPGA是易失性的，系统掉电以后其内部配置数据将丢失，因此需要外接ROM保存其配置数据。FPGA的配置是有时序要求的，如果FPGA本身不能控制配置时序，就需要有外部配置器件来进行时序控制。以Altera公司的系列FPGA为例，其本身不能控制配置时序，就有专用的EPC系列配置器件供其使用。在含有微处理器（MPU或MCU）的系统中（如嵌入式系统），可以使用微处理器产生配置时序，将保存在系统ROM中的配置数据置入FPGA。与前面一种方案相比，该方案不仅节省了成本，更缩小了系统体积。在对成本和体积敏感的系统中，该方案非常适用。     

同一律等四律是思维内容的规律

同一律、君'盾律、排中律和充足理由律是普通逻辑基本规律。由于普通逻辑被认为是"研究思维的逻辑形式及其规律的科学"，所以逻辑学界普遍认为这四条规律是』思维逻辑形式的规律，从来没有人对此提出异议。我们认为，从普通逻辑教材所讨论的同一律等四条规律的实际看，说它们仅仅是"思维逻辑形式的规律"的观点值得重新探讨。本文将从基本内容、逻辑要求和违反逻辑要求的逻辑错误三个方面，论证四条规律不是思维逻辑形式的规律，而是洛维内容的规律。由于同一律是四条规律中最基本的一条，其他三条规律都是同一律的展开和补充，所以我们先来…     

整体逻辑设计的数学方法

<正> 在掌握了组合线路和时序线路的逻辑设计的基本方法后,就能设计如加法器,数字比较器,移位寄存器,计数器等各种逻辑线路。这些逻辑线路在整体逻辑系统中只是个逻辑部件(分系统),它们在总的任务中只是执行一些分任务的工作。如何将这些逻辑部件联接起来,以完成总的任务所需的逻辑功能,这就是整体逻辑设计。 一个装置的设计成功与否,除了各逻辑部件设计要完善外,还取决于系统中各逻辑部件(分系统)能否协调工作。因此,如何设计一个控制线路(或称控制器),使之根据其所接     

《中国的逻辑——一位日本青年所看到的中国》

中国是一个庞大的存在，有它特有的模式、速度和逻辑。生于斯长于斯的你，眼里的中国却在变得越来越陌生。不是你不明白，这世界变化快。不妨来看看一个日本人笔下的中国。     

DBASEⅢ演绎功能的扩充

叙述了为DBASEⅢ扩充演绎功能的方法,将数据库中的记录作为事实,与用户定义的规则结合起来形成知识库,通过建立知识库的内部存贮结构和推理机制,实现了对数据库进行演绎查询的功能。