A Method for Conceptualising Legal Domains. An Example from the Dutch Unemployment Benefits Act

There has been much talk of the need to build intermediate models of the expertise required preparatory to constructing a knowledge-based system in the legal domain. Such models offer advantages for verification, validation, maintenance and reuse. As yet, however, few such models have been reported at a useful level of detail. In this paper we describe a method for conceptualising legal domains as well as its application to a substantial fragment of the Dutch Unemployment Benefits Act (DUBA).We first discuss the intermediate models (called expertise models), then present a three-stage method for their construction, drawing on the CommonKADS work in knowledge acquisition, conceptual models of statute law, and the KANT method of knowledge analysis. Subsequently, we describe how these techniques were applied to the DUBA, and provide detailed examples of the resulting model. Finally, conclusions on the framework and guidelines are given as well as means of recording and presenting the various design choices.     

INTEGRATED KNOWLEDGE ACQUISITION FROM TEXT,PREVIOUSLY SOLVED CASES,AND EXPERT MEMORIES

Within the model-based knowledge engineering framework, an integrated knowledge acquisition method was developed for a complex real-world domain with different traces of expertise. By having an expert constructively explain the previously solved cases with more general information from other traces of expertise ( text, expert memories) a model-centered knowledge base is constructed. The proposed method allows for an early knowledge verification where the relevance, sufficiency, redundancy, and consistency of knowledge are already assessed at an informal level The early knowledge verification efficiently prepares the consecutive knowledge formalization. Through a cognitively adequate model of expertise and the explanation-oriented knowledge elicitation procedures, user-friendly second-generation expert systems may be developed.     

mwKAT: A meta-tool-generated knowledge acquisition tool for multimedia workstations development

mwKAT is an interactive knowledge acquisition tool for acquiring domain knowledge about multimedia components. It constructs knowledge bases for a consulting system that produces the design specification for a multimedia workstation according to the user requirements.mwKAT is generated from and executed inGAS, a primitives-based generic knowledge acquisition meta-tool. It contains three acquisition primitives, namely, parameter proposing, constraint proposing, and fix proposing to construct an intermediate knowledge base represented by a dependency model. These primitives identify necessary domain knowledge and guide users to propose significant components, constraints, and fix methods into the dependency model.mwKAT also invokes knowledge verification and validation primitives to verify the completeness, consistency, compilability, and correctness of the intermediate knowledge base.     

Design and validation of knowledge acquisition tools in a business domain

This paper presents an approach for the design and the validation of a prototype knowledge acquisition tool in the domain of business planning. Results from previous work in the area of problem-solving in business domain indicate that there are wide differences in both the ways problems are represented, and solution strategies are selected. These differences can have a significant effect on the suitability of knowledge acquisition techniques. The knowledge acquisition tool has been designed to accommodate these differences. Problem decomposition and simplification techniques are employed by the tool in order to elicit the appropriate information for managerial decision making. The prototype tool has been validated in the field with 35 managers using ten test scenarios. The results of the validation process are presented, and implications for the design of such tools in business domain are discussed.     

Logical Object as a Basis of Knowledge Based Systems

This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs).LKO combines logic programming and object-oriented programming paradigms,where objects are viewed as abstractions with states,constraints,behaviors and inheritance.The operational semantics defined in the style of natural semantics is simple and clear.A hybrid knowledge representation amalgamating rule,frame,semantic network and blackboard is available for both most structured and flat knowledge.The management of knowledge bases has been formally specified.Accordingly,LKO is well suited for the formal representation of knowledge and requirements of KBSs.Based on the framework,verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs.In addition,LKO provides a methodology for the development of KBSs,applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements,and to provide multiple abstract models of the domain,where formal methods might be used at each abstract level.     

GDKAT: A goal-driven knowledge acquisition tool for knowledge base development

While knowledge-based systems are being used extensively to assist in making decisions, a critical factor that affects their performance and reliability is the quantity and quality of the knowledge bases. Knowledge acquisition requires the design and development of an in-depth comprehension of knowledge modeling and of applicable domain. Many knowledge acquisition tools have been developed to support knowledge base development. However, a weakness that is revealed in these tools is the domain-dependent and complex acquisition process. Domain dependence limits the applicable areas and the complex acquisition process makes the tool difficult to use. In this paper, we present a goal-driven knowledge acquisition tool (GDKAT) that helps elicit and store experts' declarative and procedural knowledge in knowledge bases for a user-defined domain. The designed tool is implemented using the object-oriented design methodology under C++ Windows environment. An example that is used to demonstrate the GDKAT is also delineated. While the application domain for the example presented is reflow soldering in surface mount printed circuit board assembly, the GDKAT can be used to develop knowledge bases for other domains also.     

Verification of real‐time systems design

The main objective of this paper is to present an approach to accomplish verification in the early design phases of a system, which allows us to make the system verification easier, specifically for those systems with timing restrictions. For this purpose we use RT‐UML sequence diagrams in the design phase and we translate these diagrams into timed automata for performing the verification by using model checking techniques. Specifically, we use the Object Management Group's UML Profile for Schedulability, Performance, and Time and from the specifications written using this profile we obtain the corresponding timed automata. The ‘RT‐UML Profile’ is used in conjunction with a very well‐known tool to perform validation and verification of the timing needs, namely, the UPPAAL tool, which is used to simulate and analyze the behaviour of real‐time dynamic systems described by timed automata. Copyright © 2009 John Wiley & Sons, Ltd.     

An Integrated Data-Driven Framework for Computing System Management

With advancement in science and technology, computing systems are becoming increasingly more complex with a growing number of heterogeneous software and hardware components. They are thus becoming more difficult to monitor, manage, and maintain. Traditional approaches to system management have been largely based on domain experts through a knowledge acquisition solution that translates domain knowledge into operating rules and policies. This process has been well known as cumbersome, labor intensive, and error prone. In addition, traditional approaches for system management are difficult to keep up with the rapidly changing environments. There is a pressing need for automatic and efficient approaches to monitor and manage complex computing systems. In this paper, we propose an integrated data-driven framework for computing system management by acquiring the needed knowledge automatically from a large amount of historical log data. Specifically, we apply text mining techniques to automatically categorize the log messages into a set of canonical categories, incorporate temporal information to improve categorization performance, develop temporal mining techniques to discover the relationships between different events, and take a novel approach called event summarization to provide a concise interpretation of the temporal patterns.     

WAVer: A Model Checking-based Tool to Verify Web Application Design

Web Applications are becoming more and more widespread and efficient, then an increase of their reliability is now strongly required. Hence methods to support design and automatically perform validation of a Web Application (WA) could be helpful. In this paper we present WAVer, a prototype tool for performing the verification of a WA design by means of Symbolic Model Checking techniques. The tool first performs the modeling of the WA and furthermore verify it by means of a model checker. Specifically, the mathematical model of the WA is represented by a Finite State Machine (FSM). Then, by using the CTL formal language, we formalize basic criteria to establish correctness of the application. The prototype system we have implemented embeds a component which automatically imports WA design from a UML tool; CTL specifications are added and translated as source code for NuSMV model checker. Finally, the checker performs verification: if there is a violation of specifications, NuSMV allows to locate errors in WA design and appropriate adjustments are carried out.     

Integration of behavioural requirements specification within compositional knowledge engineering

In this paper it is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification.     

不确定环境下hCPS系统的形式化建模与动态验证

随着科技的进步,新型复杂系统例如人机物融合系统（Human Cyber-Physical Systems,HCPS）已经与人类社会生活越来越密不可分.软件系统所处的信息空间与人们日常生活所处的物理空间日渐融合.物理空间内环境的复杂多变、时空数据的爆发增长以及难以预料的人类行为等不确定因素威胁着系统安全.由于系统安全需求的增长,系统的规模和复杂度随之增加所带来的一系列问题亟待解决.因此,在不确定性环境下,构造智能、安全的人机物融合系统已经成为软件行业不可回避的挑战.环境不确定性使得人机物融合系统软件无法准确感知其所处的运行环境.感知的不确定性将导致系统的误判,从而影响系统的安全性.环境不确定性使得系统设计人员无法为人机物融合系统软件的运行环境提供准确的形式化规约.而对于安全要求较高的系统,准确的形式化规约是保证系统安全的首要条件.为了应对规约的不确定性,本文提出时空数据驱动与模型驱动相结合的建模方式,即通过使用机器学习算法,基于环境中时空数据对环境进行建模.根据安全软件的典型特征,采用动态验证的方式保证系统的安全,从而构建统一安全的理论框架.为了展示方案的可行性,本文以自动驾驶车辆与人驾驶的摩托车的交互场景为例说明了在不确定性环境下的人机物融合系统的建模与验证的具体应用.     

Integrated knowledge acquisition architectures

An architecture for knowledge acquisition systems is proposed based upon the integration of existing methodologies, techniques and tools which have been developed within the knowledge acquisition, machine learning, expert systems, hypermedia and knowledge representation research communities. Existing tools are analyzed within a common framework to show that their integration can be achieved in a natural and principled fashion. A system design is synthesized from what already exists, putting a diversity of well-founded and widely used approaches to knowledge acquisition within an integrative framework. The design is intended to be clean and simple, easy to understand, and easy to implement. A detailed architecture for integrated knowledge acquisition systems is proposed that also derives from parallel cognitive and theoretical studies.     

Knowledge map: An approach to knowledge acquisition in developing engineering expert systems

This paper addresses the critical issues of knowledge acquisition in developing knowledge-based expert systems for engineering tasks. First, it reviews the role of knowledge acquisition and its current practice in expert system development. Then, a new approach based on three stages of knowledge refinement is suggested to improve the process of knowledge acquisition. This approach, calledrule verification without rule construction, is proposed to allow knowledge engineers and domain experts to experience a more intimate and balanced role in developing intelligent systems. The communication tool developed for this concept is calledknowledge map, which provides a systematic way of indexing and quantifying a piece of knowledge in the problem space by defining important attributes as the axes of the map. This approach is demonstrated by constructing a twodimensional map for a knowledge-based engineering design system, IDRILL, which we are currently developing. Future expansions of this knowledge acquisition technique are summarized as the conclusions of this paper.This paper was presented in part at the 1986 ASME International Computers in Engineering Conference in Chicago, IL, and appeared in the proceedings of that conference.     

Implementation of rule-based information systems for integratedmanufacturing

Focuses on the development of a methodology within a software environment for automating the rule-based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a natural language and subsequently represented in terms of a graphical representation by the system designer. A new graphical representation tool is based on updated Petri nets (UPN) that we have developed as a specialized version of colored Petri nets. The rule-based implementation approach utilizes the similarity of features between UPN and the general rule specification language used for the implementation. The automation of the translation of UPN to the rule specification language is expected to considerably reduce the life-cycle for design and implementation of the system. The application presented deals with the control and management of information flow between the computer-aided design, process planning, manufacturing resource planning and shop floor control databases. This provides an integrated information framework for computer integrated manufacturing systems     

Kave: a tool for knowledge acquisition to support artificial ventilation

A decision support system for artificial ventilation is being developed. One of the fundamental goals for this system is the application of the system when a domain expert is not present. Such a system requires a rich knowledge base. The knowledge acquisition process is often considered to be the bottleneck in acquiring such a complete knowledge base. Since no single available method, for example interviewing domain experts, is sufficient for removing this bottleneck, we have chosen a combination of different methods. The different backgrounds of knowledge engineers and domain experts could cause communication restrictions and difficulties between them, e.g. they might not understand each others knowledge domain and this will affect formulation of the knowledge. To solve this problem we needed a tool which supports both the knowledge engineer and the domain expert already from the initial phase of developing the knowledge base. We have developed a knowledge acquisition system called KAVE to elicit knowledge from domain experts and storing it in the knowledge base. KAVE is based on a domain specific conceptual model which is a result of cooperation between knowledge engineers and domain experts during identification, design and structuring of knowledge for this domain. KAVE includes a patient simulator to help validate knowledge in the knowledge base and a knowledge editor to facilitate refinement and maintenance of the knowledge base.     

Development of an expert system for scheduling work content in a job shop environment

Experts estimate that 65% of all manufacturing firms employ fifty or less employees, and many of these small manufacturing firms operate as job shop environments. This paper will focus on a methodology for the development of an expert systems approach to job shop scheduling. Specifically, the concept of prototyping and life cycle development will be discussed. Prototyping combines the steps of knowledge acquisition, knowledge representation, knowledge implementation, and verification and validation into a repetitive cycle, rather than having the steps in a sequential fashion. By using a prototyping cycle, a small expert system is developed first and then gradually enlarged as exception cases are identified, instead of attempting to complete each step entirely before continuing with the next.     

Utilizing Event-B for domain engineering: a critical analysis

This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. Well-specified requirements are crucial for good software design; they depend on the understanding of the domain. Thus, domain engineering becomes an essential activity. The possibility to have a formal model of a domain, consistent with the use of formal methods for developing critical software working within it, is an important issue. Safety-critical domains, like transportation, exhibit interesting features, such as high levels of nondeterminism, complex interactions, stringent safety properties, and multifaceted timing attributes. The formal representation of these features is a challenging task. We explore the possibility of utilizing Event-B as a domain engineering tool. We discuss the problems we faced during this exercise and how we tackled them. Special attention is devoted to the issue of the validation of the model, in particular with a technique based on the animation of specifications. Event-B is mature enough to be an effective tool to model domains except in some areas, temporal properties mainly, where more work is still needed.