Skip to main content
Top
Published in: International Journal of Machine Learning and Cybernetics 3/2015

01-06-2015 | Original Article

Computational reasoning based on complemented distributive lattices

Authors: Jiang Shu-Rong, Mi Ju-Sheng, Ma Li

Published in: International Journal of Machine Learning and Cybernetics | Issue 3/2015

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Computational reasoning is a practical description of computational logic. In this paper, a new concrete computational reasoning method based on complemented distributive lattices is proposed. Based on some logical operators, an inclusion degree on complemented distributive lattices is defined, which is employed to define the truth degree. Some basic properties of the truth mapping are examined. Then a kind of reasoning by computing in the framework of complemented distributive lattices is developed. The potential value of dealing with knowledge acquisition is expected in future.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Show more products
Literature
1.
go back to reference Boyer RS, Moore JS (1986) Overview of a theorem-prover for a computational logic. Lect Notes Comput Sci 230:675–678CrossRef Boyer RS, Moore JS (1986) Overview of a theorem-prover for a computational logic. Lect Notes Comput Sci 230:675–678CrossRef
3.
go back to reference Zou L, Liu X, Pei Z, Huang DG (2013) Implication operators on the set of ∨-irreducible element in the linguistic truth-valued intuitionistic fuzzy lattice. Int J Mach Learn Cybernet 4(4):365–372CrossRef Zou L, Liu X, Pei Z, Huang DG (2013) Implication operators on the set of ∨-irreducible element in the linguistic truth-valued intuitionistic fuzzy lattice. Int J Mach Learn Cybernet 4(4):365–372CrossRef
4.
go back to reference Xu ZB, Liang JY, Dang CY (2002) Inclusion degree: a perspective on measures for rough set data analysis. Inf Sci 141(3–4):227–236CrossRefMATHMathSciNet Xu ZB, Liang JY, Dang CY (2002) Inclusion degree: a perspective on measures for rough set data analysis. Inf Sci 141(3–4):227–236CrossRefMATHMathSciNet
5.
go back to reference Xu WH, Liu SH, Zhang WX (2013) Lattice-valued information systems based on dominance relation. Int J Mach Learn Cybernet 4(3):245–257CrossRef Xu WH, Liu SH, Zhang WX (2013) Lattice-valued information systems based on dominance relation. Int J Mach Learn Cybernet 4(3):245–257CrossRef
7.
9.
go back to reference Bělohlávek R (2002) Fuzzy relational systems: foundations and principles. Kluwer, New YorkCrossRef Bělohlávek R (2002) Fuzzy relational systems: foundations and principles. Kluwer, New YorkCrossRef
Metadata
Title
Computational reasoning based on complemented distributive lattices
Authors
Jiang Shu-Rong
Mi Ju-Sheng
Ma Li
Publication date
01-06-2015
Publisher
Springer Berlin Heidelberg
Published in
International Journal of Machine Learning and Cybernetics / Issue 3/2015
Print ISSN: 1868-8071
Electronic ISSN: 1868-808X
DOI
https://doi.org/10.1007/s13042-014-0274-9

Other articles of this Issue 3/2015

International Journal of Machine Learning and Cybernetics 3/2015 Go to the issue