Comparisons Among α

Xingxing He, Yang Xu, Jun Liu, Xiaomei Zhong, Peng Xu

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

    Abstract

    This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in Ln×2F(X). Some examples are given to illustrate the efficiency of three non-clausal resolution methods.

    Original languageEnglish
    Title of host publicationFoundations of Intelligent Systems - Proceedings of the 8th InternationalConference on Intelligent Systems and Knowledge Engineering, ISKE 2013
    PublisherSpringer Verlag
    Pages35-42
    Number of pages8
    ISBN (Print)9783642549236
    DOIs
    Publication statusPublished - 2014
    Event8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013 - Shenzhen, China
    Duration: 20 Nov 201323 Nov 2013

    Publication series

    NameAdvances in Intelligent Systems and Computing
    Volume277
    ISSN (Print)2194-5357

    Conference

    Conference8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013
    CountryChina
    CityShenzhen
    Period20/11/1323/11/13

    Keywords

    • Lattice-valued logic
    • α-Generalized linear resolution
    • α-Generalized lock resolution
    • α-Generalized semantic resolution

    Fingerprint

    Dive into the research topics of 'Comparisons Among α'. Together they form a unique fingerprint.

    Cite this