Soft Computing

, Volume 3, Issue 1, pp 7–19 | Cite as

A computer algebra approach to verification and deduction in many-valued knowledge systems

  • L. M. Laita
  • E. Roanes-Lozano
  • L. de Ledesma
  • J. A. Alonso
Original paper

Abstract

 A theoretical result [10] that relates tautological consequence in many-valued logics to the ideal membership problem in algebra is revisited. The intended use of the approach in this article and its implementation is the verification of consistency and the automated extraction of knowledge in rule-based knowledge systems. Programs are written in the CoCoA language. Four RBS are studied to illustrate the implementation.

Key words Automated deduction in many-valued logics computer algebra expert systems verification. 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • L. M. Laita
    • 1
  • E. Roanes-Lozano
    • 2
  • L. de Ledesma
    • 1
  • J. A. Alonso
    • 3
  1. 1.Dept. Inteligencia Artificial, Universidad Politécnica de Madrid Facultad de Informática, Campus de Montegancedo, Boadilla del Monte, 28660 Madrid, Spain e-mail: laita@fi.upm.es, ledesma@fi.upm.esES
  2. 2.Dept. Algebra, Universidad Complutense de Madrid Desp. 3517, Edificio La Almudena, c/ Rector Royo Villanova s/n, 28040 Madrid, Spain e-mail: eroanes@eucmos.sim.ucm.esES
  3. 3.Dept. Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, Paseo Reina Mercedes s/n, 41012 Sevilla, Spain e.mail: jalonso@cica.esES

Personalised recommendations