Research advances on resolution automated reasoning in lattice-valued logic based on lattice implication algebra

Yang Xu, Xiaomei Zhong, Xingxing He, Jun Liu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)

    Abstract

    This paper provides a systematic review on the research development of α-resolution automated reasoning theories, methods, algorithms and prototype in lattice-valued propositional logic and first-order logic based on lattice implication algebra (LIA), linguistic truth-valued lattice-valued propositional logic and first-order logic based on LIA, respectively. In addition, some important problems needed to be further investigated are proposed.

    Original languageEnglish
    Title of host publicationWorld Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.
    PublisherWorld Scientific Publishing Co. Pte Ltd
    Pages714-719
    Number of pages6
    ISBN (Print)9789814417730
    DOIs
    Publication statusPublished - 2012
    Event10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012 - Istanbul, Turkey
    Duration: 26 Aug 201229 Aug 2012

    Publication series

    NameWorld Scientific Proc. Series on Computer Engineering and Information Science 7; Uncertainty Modeling in Knowledge Engineering and Decision Making - Proceedings of the 10th International FLINS Conf.
    Volume7

    Conference

    Conference10th International Fuzzy Logic and Intelligent Technologies inNuclear Science Conference, FLINS 2012
    CountryTurkey
    CityIstanbul
    Period26/08/1229/08/12

    Fingerprint

    Dive into the research topics of 'Research advances on resolution automated reasoning in lattice-valued logic based on lattice implication algebra'. Together they form a unique fingerprint.

    Cite this