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

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

Tuili实现系统中的多推理机结构

在逻辑型知识推理语言Tuili的实现中,基本核心是构造不同推能力的多个推理机并使之协同工作.针对这一问题,本文提出了实用的构造多推理机的方法和策略,并给出实现推理机的主要算法.     

一种图象理解的专家系统工具语言

为了在实时图象处理系统中,实现并行环境下基于黑板模型的多知识源协同求解,从知识表示、推理方式、控制机制等方面介绍了智能所自行研制的一种图象理解专家系统工具语言--V语言（V.3版本）。该语言具有多种知识表示,采用数据驱动与模型驱动相结合的推理方式,由黑板对推理进行控制,知识库由多个知识源（分别存在有关模型的静态知识和各种图象处理算法）组成等特点。最后给出了针对水上桥梁一类的图象进行理解的具体实例。     

β-PSML语言的推理及应用

随着Web的发展,用户检索有用的信息变得越来越难。因此,在Web环境下,迫切需要研发相应的系统解决这个问题。而这一系统的核心是问题解决标记语言和基于PSML语言的Web推理引擎。该文提出了β-PSML语言的推理算法,并说明了某些查询仅使用Prolog或OWL其中之一的推理引擎无法得到结果,只有通过结合Prolog和OWL二者的推理引擎进行推理才能得出结果。实验结果表明该方法是有效的,原型系统在语义Web上可得到良好的结果。     

基于本体的液压系统故障诊断知识建模与推理

为了实现液压系统故障诊断知识集成与共享,提高知识组织和维修技术支持效率,论文引入本体作为知识建模的技术工具,在分析液压系统故障诊断知识结构、体系的基础上,利用protégé3.3.1、protégé3.4.7、protégé4.2系列版本软件和本体构建方法构建了液压系统故障诊断知识模型,并使用OWL语言描述了该本体,实现了本体的机器可读,通过Pro-Race、Pellet、JESS推理器和SWRL语言构建的液压系统液压油检测规则对构建的本体进行推理,实现了液压系统常见的故障诊断。初步实现了基于本体的知识建模,验证了模型的推理能力并应用于具体诊断,为有效地管理使用液压系统领域知识提供了新的技术手段。     

基于XML语法的模糊规则互换方法

针对规则互换格式(RIF)无法互换语义Web异构模糊规则的问题,在模糊规则互换格式(f-RIF)的基础上,构建异构语言之间的映射,提出以f-RIF XML语法为中心的模糊规则互换体系结构(f-RIAXML)。该结构支持模糊规则语言之间双向的规则互换,分析模糊互换过程中因语言表达能力不同导致的信息丢失问题,并提出解决方案。在Eclipse平台上基于Java语言设计实现模糊规则互换原型系统f-RIAXML1.0,并通过多个转换实例验证系统的正确性和稳定性,结果表明,构建的体系结构与实现的系统能够较好地解决异构系统之间的通信问题,并为语义Web模糊规则推理奠定基础。     

基于ATML的D矩阵诊断模型实现

故障诊断是自动测试系统/设备的重要功能,能否快速、准确的隔离故障是影响装备维修效率的重要因素。当今先进自动测试系统采用ATML系列标准,实现信息交换,其核心在于利用XML语言,通过规定的语法和结构描述测试系统、被测设备、测试流程和测试诊断结果等信息。针对故障诊断,标准定义了贝叶斯网络、D矩阵推理、诊断逻辑和故障树等故障诊断模型。其中D矩阵推理模型建立较容易,易于工程实现,被广泛应用。文章采用图形化建模方法建立了测试-故障依赖模型,描述了D矩阵模型建立方法、建立过程、推理规则和推理算法,并以某电台为例介绍了XML语言相关描述方法。最后基于D矩阵对电台测试性进行分析,根据评估结果完善D矩阵内容,优化推理算法,有效提高了电台故障隔离率,降低诊断模糊度。     

归纳法推理中的各种推理策略*

分元符删除；项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略．文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译LlSP语言实现．     

归纳法推理中的各种推理策略

分元符删除，项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略，文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译ＬＩＳＰ语言实现。     

基于语言真值格值命题逻辑系统lvpl的推理规则

一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lvpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。     

User engagement in e-government systems implementation: A comparative case study of two Singaporean e-government initiatives

Noting that user engagement is a key issue in e-government systems implementation and that the actual form and strategies of user engagement, especially within the context of e-government, is poorly defined, this paper intends to contribute to the research and practice of e-government systems implementation by conducting a comparative case study of two e-government systems implementation within a single government agency in Singapore. The comparative analysis of these two e-government systems implementation was accomplished through using stakeholder theory as a sense-making theoretical lens. This generated four findings pertaining to the form and strategies of user engagement in e-government systems implementation.     

Facilitating the implementation of customer-based inter-organizational systems: an empirical analysis of innovation and support factors

Abstract. Inter-organizational systems, which represent the majority of competitive information systems, have received increasing attention from researchers. This study focuses on the implementation of customer-based inter-organizational systems (CIOS). A model is constructed and tested, based on literature in IS implementation and organizational innovation. Data from 73 organizations who have implemented such systems are gathered through a questionnaire. Two classes of independent variables, innovation factors and support factors, are examined for their influence on CIOS implementation success. While no innovation factors emerge as important, support factors, such as customer training and top management support, are found to significantly facilitate successful implementation of such systems. Implications for research and practice are discussed.     

Dialectical hermeneutics: a theoretical framework for the implementation of information systems

Abstract. Despite the proliferation of information technology, the implementation of information systems remains problematic. Many systems fail to live up to expectations and some end up as disasters. Research on implementation has been conducted for the past two decades, but no theoretical framework for IS implementation has been widely accepted. This paper proposes dialectical hermeneutics as a theoretical framework for IS implementation research. Dialectical hermeneutics, as an integrative theoretical framework, combines both interpretive and critical elements, and addresses those social and organizational issues which are critical to the successful implementation of information systems. The case study research method was used to examine the implementation of systems in three organizations.     

A systematic approach to embedded biomedical decision making

An embedded decision making is a key feature for many biomedical systems. In most cases human life directly depends on correct decisions made by these systems, therefore they have to work reliably. This paper describes how we applied systems engineering principles to design a high performance embedded classification system in a systematic and well structured way. We introduce the structured design approach by discussing requirements capturing, specifications refinement, implementation and testing. Thereby, we follow systems engineering principles and execute each of these processes as formal as possible. The requirements, which motivate the system design, describe an automated decision making system for diagnostic support. These requirements are refined into the implementation of a support vector machine (SVM) algorithm which enables us to integrate automated decision making in embedded systems. With a formal model we establish functionality, stability and reliability of the system. Furthermore, we investigated different parallel processing configurations of this computationally complex algorithm. We found that, by adding SVM processes, an almost linear speedup is possible. Once we established these system properties, we translated the formal model into an implementation. The resulting implementation was tested using XMOS processors with both normal and failure cases, to build up trust in the implementation. Finally, we demonstrated that our parallel implementation achieves the speedup, predicted by the formal model.     

Developing a distributed knowledge model for knowledge management in collaborative development and implementation of an enterprise system

Recently, enterprise systems have been extensively adopted to boost enterprise competitiveness. The development and implementation of enterprise systems is a knowledge intensive procedure, being related to enterprise processes and involving information, system and software engineering technologies. Consequently, knowledge management is required to enhance the effectiveness of enterprise system development and implementation, thus helping to increase industrial competitiveness.This study aims to develop a distributed knowledge model for knowledge management, capable of supporting the collaborative development and implementation of enterprise systems. This objective can be obtained by performing the following tasks: (1) modeling and characterization of the collaborative development and implementation process, (2) identification, analysis and modeling of involved knowledge, and (3) development of a distributed knowledge model for knowledge management related to the collaborative development and implementation of enterprise systems.     

Implementing Electronic Medical Record Systems

The US government is set to invest $19 billion in incentive grants to support meaningful use of electronic medical record (EMR) systems. EMR systems can give healthcare administrators and clinicians the information necessary to improve patient care and lower costs. The authors identify critical success factors for EMR systems implementation by treating them as a type of enterprise resource planning (ERP) system. They address EMR implementation issues by drawing on theory and empirical research from both the healthcare information systems and ERP literatures and qualitatively test their model for implementation success.     

管理信息系统通用模块的设计

对管理信息系统进行研究,给出通用模块的设计和实现。针对现存管理信息系统对需求变化响应不足的缺点,结合其共性提出通用模块的设计思路和实现方法,并通过定制进行业务的调整。通用模块分为6个业务子模块和1个控制子模块,在B/S和C/S架构下得以实现,并已经在实际中使用。     

Determinants of firms' knowledge management system implementation: An empirical study

As knowledge becomes an increasingly valuable and important organizational asset, many firms anticipate that implementing the knowledge management systems (KMS) will effectively support and enhance organizational knowledge management activities. Even some firms regard KMS as an emerging and powerful source of competitive advantages.However, the implementation of KMS differs from that of traditional enterprise information systems. The implementation of KMS is difficult and risky since these systems are unstructured and so technologically innovative. Thus, effort is required to identify determinants affecting KMS implementation in businesses.Based on innovation diffusion theory and technology-organization-environment framework, this study develops and tests an integrated model of knowledge management systems implementation for businesses. Survey data were collected from 291 businesses in Taiwan. Confirmatory factor analysis and logistic regression technique were used test the hypothesized relationships. The results show that technological innovation factors (perceived benefits, complexity, and compatibility), organizational factors (top management support, organizational culture), and environmental factors (competitive pressure) are significant influences on KMS implementation in firms. Finally, the implications and future research on KMS implementation are discussed.     

Abstract Data Type Development and Implementation: An Example

Data abstraction is an effective tool in the design of complex systems, and the representation independence it provides is a key factor in the maintenance and adaptation of software systems. This paper describes a system development methodology based on the development of hierarchies of abstract data types (ADT's). The methodology preserves a high degree of representation independence throughout both the design and implementation of complex systems. The methodology is illustrated with examples from the design and implementation of a Vision Research Programming System. These examples include ADT specifications, ADT interface specifications, and partial implementation code for the system in two different programming languages, Ada1 and Fortran.