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
    Country/TerritoryChina
    CityShenzhen
    Period20/11/1323/11/13

    Bibliographical note

    Funding Information:
    This work is partially supported by the National Natural Science Foundation of China (Grant Nos. 61305074, 61175055, 61105059, and 61100046) and Sichuan Key Technology Research and Development Program under Grant No. 2011FZ0051.

    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