“知识管理”在软件企业中应用的分析和研究

在新经济时代，知识经济越来越被人们所推崇，同时知识管理也正成为一个热门话题，越来越多的企业正忙于建没企业级知识库，推行企业级的知识管理。该就如何在软件企业中推行知识管理进行了探讨。     

A frame knowledge system for managing financial decision knowledge

Managing decision knowledge or expertise from domain experts is one of the most exciting challenges in today’s knowledge management field. The nature of decision knowledge in determining a firm’s financial health is context-dependent, intangible, and tacit in nature. Knowledge-based systems (KBS) have been recognized as a successful paradigm for managing financial decision knowledge attributed to possessing capabilities of reasoning and enhancing the consistency of decision-making. However, most present KBS adopt rules as the knowledge representation scheme, which cannot express the expert’s knowledge construct systematically when dealing with more numerous and disordered knowledge connotations. In addition, the standalone nature of the systems hinders them from deploying onto heterogeneous platforms and cannot accommodate to the emerging Web-enabled environment. To reduce these flaws, this study proposes a frame knowledge system in which the structural and procedural decision knowledge is encapsulated so that unnecessary interference can be avoided. A protocol analysis, before encapsulation, is conducted to elicit the tacit and unstructured knowledge from a senior CPA we cooperated with. The deployment and Web enabling issue is tackled by using Jess and Java interoperable computing. With these combined, it is possible to prompt the understandability, accessibility, and reusability of KBS. The effectiveness of the proposed system is validated in supporting the expert’s decision-making by conducting an empirical experimentation on 537 companies listed in the Taiwan Stock Exchange Corporation.     

基于本体的学科知识建模

学科知识建模是一项巨大的工程,当前存在的主要问题有知识库不能很好地共享和重用,难以实现语义上的推理及检索等.把本体技术应用于学科知识建模中,构造了部分课程本体,并实现了对该本体的推理及查询.     

A software engineering approach to ontology building

Ontologies are the backbone of the Semantic Web, a semantic-aware version of the World Wide Web. The availability of large-scale high quality domain ontologies depends on effective and usable methodologies aimed at supporting the crucial process of ontology building. Ontology building exhibits a structural and logical complexity that is comparable to the production of software artefacts. This paper proposes an ontology building methodology that capitalizes the large experience drawn from a widely used standard in software engineering: the Unified Software Development Process or Unified Process (UP). In particular, we propose UP for ONtology (UPON) building, a methodology for ontology building derived from the UP. UPON is presented with the support of a practical example in the eBusiness domain. A comparative evaluation with other methodologies and the results of its adoption in the context of the Athena EU Integrated Project are also discussed.     

基于事件的知识处理研究综述

本文对近年来基于事件的知识处理研究进行了综述,从事件的定义开始,到事件的表示、提取方法和具体应用来说明该领域的研究进展.许多科学家认为人们是以事件为单位来体验和认识世界的,事件符合人们的正常认知规律,对事件的研究有广阔的前景,将成为基于概念的知识处理技术的必要补充和发展,为知识处理注入新的活力.     

The Least Conjunctive Refinement and Promotion in the Refinement Calculus

A syntactic calculation of Morgan's least conjunctive refinement operator for predicate transformers is developed. The operator is used to develop a general approach to lifting relational operators to predicate transformer operators. Predicate transformer versions of the relational conjunction and disjunction operators are considered in detail. The Z-based technique of program promotion is considered in a refinement calculus setting. A standard Z promotion example is recast in the refinement calculus. Received August 1997 / Accepted in revised form January 1999     

IAKA—智能化农业知识获取平台的设计与实现

IAKA（the Intelligent Agricultural Knowledge Acquisition Platform）是一种农业领域的智能化知识获取平台,为了实现农业知识获取及可视化,阐述了IAKA的思想和基于面向对象技术的系统设计和实现方案,并采用基于“以用户为中心的设计”方法设计,利用拟人知识化、可视化的技术实现了IAKA平台。     

从文本中获取植物知识方法的研究

知识获取一直是人工智能中的一个关键问题.当前,知识的文本挖掘（KAT）已经成为计算机领域的一个重要的研究课题.本文中,给出了基于植物本体的从海量网页文本库中自动获取植物领域知识的方法.该方法包括两个部分,一是植物本体（Botanical Ontology）,它是顾芳博士等建立的生物本体的扩展.第二部分是以植物本体为基础,在网络文本库中进行文本挖掘（Text Mining）,自动获取植物知识.实验证明,基于本体的文本挖掘是一种有效的知识获取方法.     

Knowledge driven robotics for kitting applications

This article presents a newly developed knowledge methodology/model that was designed to support the IEEE Robotics and Automation Society’s Ontologies for Robotics and Automation Working Group. This methodology/model allows for the creation of systems that demonstrate flexibility, agility, and the ability to be rapidly re-tasked. The methodology/model will be illustrated through a case study in the area of robotic kit building. Through this case study, the knowledge model will be presented, and automatic tools for optimizing the knowledge representation for planning systems and execution systems will be discussed.     

用于计算辩论的论据本体研究

近年来辩论技术在人工智能领域获得广泛关注。然而,在辩论过程中,如何高质高效地构建攻击论据仍然是难以解决的问题。通过分析论据的本质属性,形式定义论据的相关概念及相互关系,结构化论据的知识表示,实现了论据本体的建模。该论据本体的一致性和可用性通过一个辩论实例得以验证。在此基础上构建了一个原型系统,该系统能够在辩论过程中基于论据本体查找和构建论据,重用已构建的论据,从而有效提高了自动辩论的计算效率。