智能教学系统NKI-Tutor的知识查询设计

NKI-Tutor是国家知识基础设施面向应用的智能教学系统，其功能是将NKI丰富的知识传授给用户。知识查询是NKI-Tulor给用户提供的一种查询式学习模式。该文研究如何通过NKI-Tutor的知识查询界面实现用户与智能教学系统的交互而获得所需知识，提出了基于自然语言理解的知识查询方法，用于构造和实现NKI-Tutor中用户查询知识的交互界面。该方法包括3方面内容：(1)分析用户的知识查询形式，采集用户查询句型模板；(2)根据用户查询的知识特征，把知识查询映射到概念．关系模型上；(3)通过智能分词和模糊匹配构造查询结果。     

一种面向领域本体的教学策略研究方法

教学策略是智能教学系统研究的一个核心问题。论文提出一种基于领域本体的教学策略研究方法,该方法主要包括微教学策略、宏教学策略和教学策略描述语言(TSDL),在领域本体抽象层上实现多个学科教学和个别化教学。该方法在智能教学系统NKI-Tutor中已实现。     

基于JSP＋JavaBean的OSITS的设计

组件技术广泛应用于基于Web的教学软件的开发中，为智能教学系统的设计提供了一种新的手段。文中阐述了基于JSP JavaBean的操作系统智能教学系统(C6ITS)的设计与实现。系统结合现代操作系统课程的自身特点，在表示元知识点9元组结构的基础上设计了一个具有树状层次结构含专属文件夹的知识库结构。采用JavaBean组件技术，把系统中的各个功能模块封装成一个个的Bean，提高了系统的开发速度、效率、可维护性及模块的可重用性。     

基于产生式系统的智能教学研究

随着人工智能技术的引入,计算机辅助教学发展成为计算机智能教学系统(ITS)。ITS大大地提高和改善了教学效果和效率。知识推理主要应用于智能教学系统的教学策略、教学方法的产生和调整方面。本文介绍了智能教学系统的形式化模型,提出了基于产生式系统的推理策略。     

基于Web的智能教学系统的研究与实现

基于Web的智能教学系统综合传统的ITS系统优势,同时又结合Web的特点,系统具有智能性,能够智能地引导学生学习。它是以认知科学为理论基础,综合利用人工智能技术、教育心理学、计算机科学等多门学科的成果而形成的一种对学生实施有效教学的技术。提出了一种基于Web的智能教学系统模型,给出了智能教学系统的知识库的设计、学生模型的构建方法及教学策略的设计,并探讨了学生模型的学习评价,最后对实现系统的关键技术进行了研究。     

基于产生式系统的智能教学研究

随着人工智能技术的引入,计算机辅助教学发展成为计算机智能教学系统（ITS）。ITS大大地提高和改善了教学效果和效率。知识推理主要应用于智能教学系统的教学策略、教学方法的产生和调整方面。本文介绍了智能教学系统的形式化模型,提出了基于产生式系统的推理策略。     

智能教学系统PCICAI,SETTI和GITUS

ICAI(智能计算机辅助教学)是信息科学的研究课题之一,也是计算机和人工智能应用的一个重要方面,为了减轻教师一部分重复劳动,辅助学生学习,我们研制了PCICAI(命题演算智能辅助教学系统),SETTI(集合论智能辅助教学系统)和GITUS(群论智能辅助教学系统)三个系统。     

智能教学系统中范例推理研究

智能教学系统是目前计算机人工智能领域与教育技术领域的研究热点之一,本文阐述了智能教学系统的概念和特征,并对系统基本框架进行了说明,阐述范例推理的特点和一般过程,对在智能教学系统构建过程使用范例推理来实现模型构建、教学策略选择等作了进一步研究.     

智能教学系统中知识表示模型的研究与设计

研究了智能教学系统功能与结构。分析了知识库模型在智能教学系统中的重要地位;通过对知识库中的教学内容与教学规则两类知识的分析和对超媒体知识表示的研究,构建了一个基于层次结构的超媒体网络模型,并在知识网络图中节点里嵌入教学规则,以实现教学内容的动态组织、呈现和教学过程中的自适应导航。该模型为教学系统的决策与分析提供了智能的辅助手段。     

基于JSP+JavaBean的OSITS的设计

组件技术广泛应用于基于Web的教学软件的开发中,为智能教学系统的设计提供了一种新的手段.文中阐述了基于JSP+JavaBean的操作系统智能教学系统(OSITS)的设计与实现.系统结合现代操作系统课程的自身特点,在表示元知识点9元组结构的基础上设计了一个具有树状层次结构含专属文件夹的知识库结构.采用JavaBean组件技术,把系统中的各个功能模块封装成一个个的Bean,提高了系统的开发速度、效率、可维护性及模块的可重用性.     

基于知识的智能柔性网关研究

本文参照OSI参考模型,提出了一种基于知识的智能柔性网关模型及其总体结构和工作原理。文中对网关主要领域问题进行了分析,提出了建立以规则库、模型库和方法库等多库协同高层协议综合知识库设计方案,并对综合知识库的构成、智能协议转换器和智能服务接口的推理过程等关键技术进行了讨论和阐述。     

从《中国大百科全书》中获取教育知识

教育知识获取是国家知识基础设施研制中知识获取的一项重要工作。《中国大百科全书》中包含着教育学、教育心理学、学习理论、教育管理和各国教育等丰富的教育知识。该文研制了一种知识获取方法,并采用此方法成功地获取了大量的教育知识。该方法由两部分组成:一是高度类自然的教育知识描述语言(PKDL),由知识工程师用于形式化《中国大百科全书》中的教育知识文本;二是PKDL编译系统,该系统对PKDL文本进行编译、分析和知识连接,最终生成教育知识库。     

NKI中的本体、框架和逻辑理论

NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Hom逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.     

多移动机器人的智能协作与导航

论文将从应用角度设计机器人智能协作和导航系统。主要技术包括:利用多MobileAgent模型实现多移动机器人的智能协作;设计KQML(知识查询和操作语言)来实现移动机器人的交流;利用GSM(移动通信系统)网解决多移动机器人的通讯问题;基于GPS(全球定位系统)、GIS(地理信息系统)系统实现导航。该研究结果适用于广域的DAI(分布式人工智能)领域和AIS(自主式智能系统)。     

教育评估系统模型的设计与实现

评估工作计算机化,可以减少人为的错误与客观因素干扰,增强评估的稳定、透明与公正性.本文论述了教育评估计算机模型的设计和实现,包括系统结构以及角色安全模型、量化模型、智能约束模型等建模技术.     

Ontologies and reasoning techniques for (legal) intelligent information retrieval systems

An application of Narrative Knowledge Representation Language (NKRL) techniques on (declassified) ‘terrorism in Southern Philippines’ documents has been carried out in the context of the IST Parmenides project. This paper describes some aspects of this work: it is our belief, in fact, that the Knowledge Representation techniques and the Intelligent Information Retrieval tools used in this experiment can be of some interest also in an ‘Ontological Modelling of Legal Events and Legal Reasoning’ context.     

基于信息挖掘的智能决策支持系统的多智体结构设计

该文讨论了基于信息挖掘的智能决策支持系统IDSSIM的总体结构模型和各子系统功能描述。将领域专家的知识获取、推理机制、KDD挖掘和WEB挖掘有效地融入智能决策支持系统中,从而形成了一类具有双网、六库、综合集成、多层递阶和模型驱动的新型智能决策支持系统。     

Fixture knowledge model development and implementation based on a functional design approach

The development of a knowledge model applied to fixture design is a complex task. The main purpose of such model is the development of a knowledge-based application to assist fixture designers. It comprises a detailed specification of the types and structures of data involved in the execution of the inference process needed to create a fixture solution for machining a raw part. A development method together with a knowledge model for automating fixture design is proposed. The development was divided into three parts: Design Process Model, definition of Top-level functional functions and Product Knowledge Model. Adopting a functional design approach, the fixture design solution was created in two levels: functional and detailed. The functional level is based on fixture functional elements and the detailed one is based on fixture commercial elements. The definitions and concepts used in the application are specified in several Units of Knowledge (UoK) that comprises the Fixture Knowledge Model. Common Knowledge Analysis and Design Structuring (CommonKADS), Methodology and software tools Oriented to KBE Applications (MOKA), Integrated DEFinition for Function Modelling (IDEF0) and Unified Modelling Language (UML) are the methodologies and techniques used in the proposed method. Finally, a prototype KBE application for fixture design was developed.     

智能神经网络程序设计语言NIPL的分布实现

论文介绍了智能神经网络程序设计语言NIPL。设计并实现了消息传递系统及远程方法调用设施。结合代理对象机制实现了基于消息传递的分布式智能神经元模型,从而使开发大规模的分布式智能神经网络应用系统变为可能。     

基于Concept—Relation模型的知识联通

1 引言 Johnson认为知识不是孤立的而是互相联系的,认知学指出思维过程体现为相关知识间的连接过程。那么如何在相关的知识之间建立联通?如何判定两条知识之间是否存在有意义的联通?又如何建立有意义的联通?这是知识处理中很重要的问题。形象地讲,知识联通就是在知识之间建立有意义的“由此及彼”的桥梁。总体上说,从知识工程角度看,要提高机器的智能程度需要知识间广泛的知识联通;从认知和语义学角度讲,知识联通是可行的。另外,Johnson的三阶段