Adding run history to CLIPS

To debug a C Language Integrated Production System (CLIPS) program, certain 'historical' information about a run is needed. It would be convenient for system builders to have the capability to request such information. We will discuss how historical Rete networks can be used for answering questions that help a system builder detect the cause of an error in a CLIPS program. Moreover, the cost of maintaining a historical Rete network is compared with that for a classical Rete network. We will demonstrate that the cost for assertions is only slightly higher for a historical Rete network. The cost for handling retraction could be significantly higher; however, we will show that by using special data structures that rely on hashing, it is also possible to implement retractions efficiently

The design and formative evaluation of computer based qualitative modelling environments for schools

This research investigated how computers might enable young learners to build models so that they can express and explore their ideas and hence they can gain understanding of the subject matter as well as developing modelling abilities. A design for a qualitative modelling environment was produced, which incorporated a simple rule-based metaphor that could be presented as a diagram. The design was founded on empirical evidence of children modelling as well as theoretical grounds. This research originated in and contributed to the Modus Project, a joint venture between King's College London and the Advisory Unit for Microtechnology in Education, Hertfordshire County Council. A prototype of the software, Expert Builder, was implemented by software engineers from the Modus team. The initial stage of evaluation, based on a questionnaire survey and widespread trialling, established that the tool could be used in a wide range of educational contexts. A detailed study of children using the qualitative modelling environment was conducted in three primary schools involving 34 pupils, aged nine to 11. They used the modelling environment within the classroom in their normal curriculum work over one school year on a variety of topics assisted by their class teacher. The modelling environment enabled cooperative groupwork and supported pupils in consolidating and extending their knowledge. A formative evaluation was used to inform the design of a revised version of the software. In addition the experiences of children using the software were analysed. A framework was developed which characterised the stages in the modelling process. Teachers in the study were observed to demonstrate the earlier stages of the modelling process and then to set tasks for the children based on the later stages of building and testing the models. The evidence suggested that the abilities to model were context dependent so that pupils as young as nine years old could undertake the whole modelling process provided that they were working on subject matter with which they were familiar. The teachers made use of computer based modelling in order to develop and reinforce pupils' understanding of various aspects of the curriculum and therefore they chose modelling tasks for the children. However in one school the children were given the opportunity to design and build models of their own choice and they demonstrated that they were able to carry out all the stages in the modelling process. A taxonomy of computer based modelling is proposed which could be used to inform decisions about the design of the modelling curriculum and could provide a basis for researchers investigating the modelling process. This would be useful for further research into the intellectual and social activities of people learning to model and for teachers seeking to develop a framework for the modelling curriculum. The National Curriculum (Department of Education and Science and the Welsh Office, 1990) specifies that early steps in computer based modelling should involve exploring models developed by others and pupils are not required to build models themselves until level 7 which is expected to be reached by more able 14 year-olds. In this thesis it is argued that a modelling curriculum should provide early opportunities for pupils to undertake the modelling process by developing simple models on familiar subject matter as well as opportunities for exploring more complex models as evidence from research reported in this thesis suggests that younger pupils are able to build models. In this way pupils will be enabled to acquire modelling capability as well as developing their understanding of a range of topics through modelling. Progression in modelling capability would involve constructing models of more complex situations and using a wider range of modelling environments

Second CLIPS Conference Proceedings, volume 1

Topics covered at the 2nd CLIPS Conference held at the Johnson Space Center, September 23-25, 1991 are given. Topics include rule groupings, fault detection using expert systems, decision making using expert systems, knowledge representation, computer aided design and debugging expert systems

Knowledge-based design support and inductive learning

Designing and learning are closely related activities in that design as an ill-structure problem involves identifying the problem of the design as well as finding its solutions. A knowledge-based design support system should support learning by capturing and reusing design knowledge. This thesis addresses two fundamental problems in computational support to design activities: the development of an intelligent design support system architecture and the integration of inductive learning techniques in this architecture.This research is motivated by the belief that (1) the early stage of the design process can be modelled as an incremental learning process in which the structure of a design problem or the product data model of an artefact is developed using inductive learning techniques, and (2) the capability of a knowledge-based design support system can be enhanced by accumulating and storing reusable design product and process information.In order to incorporate inductive learning techniques into a knowledge-based design model and an integrated knowledge-based design support system architecture, the computational techniques for developing a knowledge-based design support system architecture and the role of inductive learning in Al-based design are investigated. This investigation gives a background to the development of an incremental learning model for design suitable for a class of design tasks whose structures are not well known initially.This incremental learning model for design is used as a basis to develop a knowledge-based design support system architecture that can be used as a kernel for knowledge-based design applications. This architecture integrates a number of computational techniques to support the representation and reasoning of design knowledge. In particular, it integrates a blackboard control system with an assumption-based truth maintenance system in an object-oriented environment to support the exploration of multiple design solutions by supporting the exploration and management of design contexts.As an integral part of this knowledge-based design support architecture, a design concept learning system utilising a number of unsupervised inductive learning techniques is developed. This design concept learning system combines concept formation techniques with design heuristics as background knowledge to build a design concept tree from raw data or past design examples. The design concept tree is used as a conceptual structure for the exploration of new designs.The effectiveness of this knowledge-based design support architecture and the design concept learning system is demonstrated through a realistic design domain, the design of small-molecule drugs one of the key tasks of which is to identify a pharmacophore description (the structure of a design problem) from known molecule examples.In this thesis, knowledge-based design and inductive learning techniques are first reviewed. Based on this review, an incremental learning model and an integrated architecture for intelligent design support are presented. The implementation of this architecture and a design concept learning system is then described. The application of the architecture and the design concept learning system in the domain of small-molecule drug design is then discussed. The evaluation of the architecture and the design concept learning system within and beyond this particular domain, and future research directions are finally discussed

Facilitating the modelling and automated analysis of cryptographic protocols

Includes bibliographical references.Multi-dimensional security protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis and deployment techniques, thereby providing a higher level of confidence than individual approaches. SPEAR II, the Security Protocol Engineering and Analysis Resource n, is a protocol engineering tool built on the foundation of previous experience garnered during the SPEAR I project in 1997. The goal of the SPEAR II tool is to facilitate cryptographic protocol engineering and aid users in distilling the critical issues during an engineering session by presenting them with an appropriate level of detail and guiding them as much as possible. The SPEAR II tool currently consists of four components that have been created as part of this dissertation and integrated into one consistent and unified graphical interface: a protocol specification environment (GYPSIE), a GNY statement construction interface (Visual GNY), a Prolog-based GNY analysis engine (GYNGER) and a message rounds calculator

Second CLIPS Conference Proceedings, volume 2

Papers presented at the 2nd C Language Integrated Production System (CLIPS) Conference held at the Lyndon B. Johnson Space Center (JSC) on 23-25 September 1991 are documented in these proceedings. CLIPS is an expert system tool developed by the Software Technology Branch at NASA JSC and is used at over 4000 sites by government, industry, and business. During the three days of the conference, over 40 papers were presented by experts from NASA, Department of Defense, other government agencies, universities, and industry

First CLIPS Conference Proceedings, volume 2

The topics of volume 2 of First CLIPS Conference are associated with following applications: quality control; intelligent data bases and networks; Space Station Freedom; Space Shuttle and satellite; user interface; artificial neural systems and fuzzy logic; parallel and distributed processing; enchancements to CLIPS; aerospace; simulation and defense; advisory systems and tutors; and intelligent control