Veri cation and Validation of Knowledge Based Systems with Formal Speci cations
@inproceedings{Meseguer1995VeriCA,
title={Veri cation and Validation of Knowledge Based Systems with Formal Speci cations},
author={Pedro Meseguer and Alun David Preece},
year={1995}
}This paper examines how formal speci cation techniques can support the ver i cation and validation V V of knowledge based systems Formal speci cation techniques provide levels of description which support both veri cation and valida tion and V V techniques feed back to assist the development of the speci cations Developing a formal speci cation for a system requires the prior construction of a conceptual model for the intended system Many elements of this conceptual model can be e ectively used…
No Paper Link Available
Figures from this paper
4 Citations
Formal methods in knowledge engineering
- BusinessKnowl. Eng. Rev.
- 1995
This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a specific issue in more detail.
Formal Methods in Knowledge Engineering 1 Historical Growth of Knowledge Engineering towards For- Mal Methods
- Computer Science
- 1995
This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a speciic issue in more detail, by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods.
Formal Methods in Knowledge EngineeringFrank van Harmelen
- Computer Science
- 1995
This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a speciic issue in more detail, by summarising the proclaimed advantages, and arguing against some of the commonly heard objections against formal methods.
References
SHOWING 1-10 OF 26 REFERENCES
Testing Formal Specifications to Detect Design Errors
- Computer ScienceIEEE Transactions on Software Engineering
- 1985
Why it is necessary to test specifications early in the software life cycle to guarantee a system that meets its critical requirements and that also provides the desired functionality is demonstrated.
The modeling issues inherent in testing and evaluating knowledge-based systems
- Computer Science, Education
- 1990
A comparison of languages which operationalize and formalize KADS models of expertise
- Computer ScienceKnowl. Eng. Rev.
- 1994
This paper describes eight formal languages for KADS models of expertise, and compares these languages with respect to their modelling primitives, their semantics, their implementations and their applications.
Introduction to formal specification and Z
- Computer SciencePrentice Hall International Series in Computer Science
- 1991
Developers are introduced to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented, and an informal introduction to logic and set theory.
Principles and practice in verifying rule-based systems
- Computer ScienceKnowl. Eng. Rev.
- 1992
This paper provides a set of underlying principles for performing knowledge base verification through anomaly detection, but also a survey of the state-of-the-art in building practical tools for carrying out such verification.
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy
- Computer ScienceAAAI
- 1988
This paper presents a new approach, called knowledge-base reduction, to the problem of checking knowledge bases for inconsistency and redundancy, and makes use of concepts and techniques that have recently been advocated by de Kleer in conjunction with an assumption-based truth maintenance system.
Verification of Multi-Level Rule-Based Expert Systems
- Computer ScienceAAAI
- 1991
Verification methods and tools developed so far have assumed a very simple model of rule-based expert system (RBES). Current RBES often do not comply this model and require more sophisticated…