Skip to main content
SpringerLink
Log in

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

  • Original paper
  • Published:
Soft Computing Aims and scope Submit manuscript

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.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Author information

Authors and Affiliations

  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.es, , , , , , ES

    L. M. Laita & L. de Ledesma

  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.es, , , , , , ES

    E. Roanes-Lozano

  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.es, , , , , , ES

    J. A. Alonso

Authors
  1. L. M. Laita
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. Roanes-Lozano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. de Ledesma
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. A. Alonso
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Laita, L., Roanes-Lozano, E., de Ledesma, L. et al. A computer algebra approach to verification and deduction in many-valued knowledge systems. Soft Computing 3, 7–19 (1999). https://doi.org/10.1007/s005000050086

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s005000050086

Search

Navigation