微机网上的分布式专家联合系统UNION(上)

本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。     

微机上实现的逻辑推理语言 Tuili 1.1

一、概述Tuili 是一个基于谓词逻辑的人工智能语言,具有自然的说明性知识表示方式和能够运用这种说明性知识进行多种推理的显著特点。Tuili 的设计不但成功地解决了将产生式语言、逻辑程序设计和过程型语言有机结合的问题,而且在知识程序的模块化结构、元级推理以及计算功能等方面有重要创新,因而比目前其它的一些人工智能语言,如OPS5、LISP、Prolog 等,更适合建造专家系统和基于知识的系统。Tuili 以其设计新颖、推理功能丰富、高度灵活的控制结构以及表达形式的优雅,受到了国内外同行的普遍重视和高度评价。Tuili 一词具有双重含义,既     

牙齿三维数据模型的建立

牙齿的解剖形态学研究是口腔医学的重要基础内容之一。了解和掌握人类牙齿外观形态和内部构造，对口腔医学的各个领域诸如：日腔修复、口腔内科、日脏外科和日腔正畸的教学、临床和科研都是非常必要的。本研究通过对离体恒牙以黑色树脂包埋，用数控磨床每隔２００Ｐｍ间距逐层磨除，拍摄照片并将图象输人计算机的方法，构成了每个牙齿的三维数据模型。该模型可逼真地显示在计算机屏幕上，可从任意选定的角度观察和从任意平面剖开，从而成为易于理解记忆的可视化教材，为日腔医学邻域中牙体解剖学的学习提供了方便的条件。这一系列的数据和相应的牙的图象、精度远高于美国著名的“数据亚当”的颅颌牙列部分，每个牙齿还能被单独地进行处理，能充分满足口腔医学专业的特点和需要。本研究建立的数据牙模型从标本制备到图象输人和三维重建各环节均有创新，为计算机图象图形技术、ＣＡＤ／ＣＡＭ技术、虚拟现实技术在口腔医学邻域中的应用推广奠定了重要基础。     

钢人计划和DOD语言

一、关于钢人计划 今年6月5日至9日,在荷兰东部的Tw-ente大学举行了国际信息处理协会(IFIP)的2.4工作小组会议。这里“2”是第二技术委员会的简称,“4”表示它属下的第四工作小组,又称“面向机器的高级语言小组”。这次会议的主要议题是讨论美国国防部(DOD)的军内通用语言草案,与会者约四、五十人。     

Ontology-Based Semantic Cache in AOKB

When querying on a large-scale knowledge base,a major technique of improving performance is to preload knowledge to minimize the number of roundtrips to the knowledge base.In this paper,an ontology-based semantic cache is proposed for an agent and ontology-oriented knowledge base (AOKB).In AOKB,an ontology is the collection of relationships between a group of knowledge units (agents and/or other sub-ontologies).When loading some agent A,its relationships with other knowledge units are examined,and those who have a tight semantic tie with A will be preloaded at the same time,including agents and sub-ontologies in the same ontology where A is.The proloaded agents and ontologies are saved at a semantic cache located in the memory.Test results show that up to 50% reduction in running time is achieved.     

基于领域知识的需求信息获取

本文提出一种基于领域知识的需求信息获取方法．相应的ＭＩＳ开发环境ＰＲＯＭＩＳ已成功地应用于多个领域．     

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing

Domain analysis is the activity of identifying and representing the relevant information in a domain,so that the information can be shared and reused in similar systems.But until now,no efficient approaches are available for capturing and representing the results of domain analysis and then for sharing and reusing the domain knowledge.This paper proposes an ontology-oriented approach for formalizing the domain models.The architecture for the multiple-layer structure of the domain knowledge base is also discussed.And finally,some genetic algorithm-based methods have been given for supporting the knowledge sharing and reusing.     

基于SELD描述语言的英文科技文本知识自动获取

知识获取一直是智能系统的瓶颈问题.本文将介绍我们设计的一种英文科技文献描述语言--SELD以及基于SELD的文本知识自动获取技术.SELD是一种与科技英语十分相近的类自然语言,英文科技资料经SELD语言稍加改写后,基于SELD的知识获取系统SELKAS便可以自动对其进行编译、知识提取和整理,形成领域知识库.SELKAS可作为智能系统建造过程中的知识自动获取工具.     

少儿图灵测试回顾

报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的支持.给出了作者研究少儿图灵测试的动机、设计、技术、实验结果和平台(包括一个知识引擎和一个会话引擎).最后给出了关于少儿图灵测试的几点研究结论和思考.     

Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach

Requirements engineering (RE) is one of the crucial phases in software engineering (cf. ref. [1]). In the 1995 survey[1], 8000 projects undertaken in the whole country have been examined. The result indicated that one third of the projects were never completed and one half of the rest succeeded only partially. Poor requirements have been identified as the source of such failure (45%), in which the lack of user involvement (13%) and requirements incompleteness (12%) are the two major causes. R…