A-Generalized Lock Resolution with Deleting Strategies in LnF(X)

Xingxing He, Yang Xu, Jun Liu, Peng Xu

    Research output: Contribution to journalConference articlepeer-review

    Abstract

    This paper focuses on refined non-clausal resolution methods in a Łukasiewicz first order logic Ln(X), i.e., α-generalized lock resolution with deleting strategies, which can further improve the efficiency of α-generalized lock resolution. First, the concepts of strong implication, weak implication, and ageneralized lock resolution with these two deleting strategies are given, respectively. Then the compatibilities of α-generalized lock resolution with strong implication deleting and weak implication deleting are shown in LnF(X), respectively. Finally, an algorithm for α-generalized resolution with these deleting strategies is given.

    Original languageEnglish
    Pages (from-to)377-384
    Number of pages8
    JournalAdvances in Intelligent Systems and Computing
    Volume214
    DOIs
    Publication statusPublished - 2014
    Event7th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2012 - Beijing, China
    Duration: 15 Dec 201217 Dec 2012

    Keywords

    • Deleting strategies
    • Non-clausal resolution
    • Łukasiewicz first order logic
    • α-Generalized lock resolution

    Cite this