Skip to main content
Springer Nature Link
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

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

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

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 inPubMed Google Scholar

  2. E. Roanes-Lozano
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. L. de Ledesma
    View author publications

    You can also search for this author inPubMed Google Scholar

  4. J. A. Alonso
    View author publications

    You can also search for this author inPubMed 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