• Corpus ID: 2763054

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… 

Figures from this paper

Formal methods in knowledge engineering
TLDR
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
TLDR
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
TLDR
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.
Verification and validation of case-based systems

References

SHOWING 1-10 OF 26 REFERENCES
Testing Formal Specifications to Detect Design Errors
  • R. Kemmerer
  • Computer Science
    IEEE Transactions on Software Engineering
  • 1985
TLDR
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.
A comparison of languages which operationalize and formalize KADS models of expertise
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
...
1
2
3
...