Skip to main content
Springer Nature Link
Log in

Validation Methods and Tools for Knowledge-Based Systems (Valid)

  • Conference paper
Wissensbasierte Systeme

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 227))

  • 72 Accesses

Abstract

This project aims at advancing capabilities for knowledge-based systems quality control and validation beyond the current state of the art.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • F. Bergadano, S. Matwin, R.S. Michalski, J. Zhang Measuring Quality of Concept Descriptions. Proc. 3th European Working Session on Learning, Turing Institute, Glasgow, October 1988.

    Google Scholar 

  • G. Edin, P. Rooke, T. Rangecroft, J. Breuker, F. Hayes. Task J1: The KADS Handbook (CSI-J1 -HB-001) Esprit project 1098: A Methodology for the Development of Knowledge-Based Systems.

    Google Scholar 

  • A. Ginsberg, S. Weiss SEEK2: a generalized approach to automatic knowledge base refinement. IJCAI-85, p. 367–374.

    Google Scholar 

  • A. Ginsberg Metalinguistic refinement of expert system knowledge bases Artificial Intelligence, Pitman Publ. (1988)

    Google Scholar 

  • A. Ginsberg Knowledge-Base Reduction: a new approach to checking knowledge bases for inconsistency and redundancy Proceedings AAAI 1988, 585–589.

    Google Scholar 

  • TJ. MacCabe A complexity measure IEE transactions on software engineering, volume2, number 4, December 1984, pp. 308–320.

    Article  Google Scholar 

  • T.A. Nguyen, W.A. Perkins, T.J. Laffey, D. Pecora Knowledge Base Verification AI Magazine, summer 1987, pp. 67–75.

    Google Scholar 

  • E. Pipard Detection d’incoherences et d’incompletitudes dans les bases de regies: le systeme INDE. Proceedings AVIGNON 1988, 15–33.

    Google Scholar 

  • M.C. Rousset On teh Consistency of Knowledge Bases: The COVADIS System proc. 8 Journées Internationales Avignon, 1988, pp. 79–84.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CEAB-CSIC, 17300 Blanes, Girona, Spain

    R. López de Mántaras

  2. COGNITECH, 167, rue du Chevaleret, 75013, Paris, France

    P. F. Kerdiles

  3. CRI, Bregnerodvej 144, 3460, Birkerod, Danemark

    H. Larsen

Authors
  1. R. López de Mántaras
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. F. Kerdiles
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. H. Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, D-8000, München 2, Germany

    W. Brauer  & C. Freksa  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

López de Mántaras, R., Kerdiles, P.F., Larsen, H. (1989). Validation Methods and Tools for Knowledge-Based Systems (Valid). In: Brauer, W., Freksa, C. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75182-0_50

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-75182-0_50

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51838-9

  • Online ISBN: 978-3-642-75182-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics