α-lock paramodulation for lattice-valued propositional logic

Xingxing He, Yang Xu, Jun Liu

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

    2 Citations (Scopus)

    Abstract

    Aiming to improve the efficiency of alpha-paramodulation in lattice-valued logic with equality, this paper focuses on alpha-lock paramodulation for lattice-valued logic, which can more efficiently handle the lattice-valued logical formula with equality. The definition of alpha-lock paramodulation is given firstly, which is a refinement of alpha-paramodulation, and then its soundness and completeness are established. Finally an algorithm of α-lock paramodulation is given.

    Original languageEnglish
    Title of host publicationProceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages18-20
    Number of pages3
    ISBN (Electronic)9781467393225
    DOIs
    Publication statusPublished - 13 Jan 2016
    Event10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015 - Taipei, Taiwan, Republic of China
    Duration: 24 Nov 201527 Nov 2015

    Publication series

    NameProceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015

    Conference

    Conference10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
    CountryTaiwan, Republic of China
    CityTaipei
    Period24/11/1527/11/15

    Keywords

    • a-Lock paramodulation
    • Automated reasoning
    • Equality
    • Lattice-valued propositional logic

    Fingerprint

    Dive into the research topics of 'α-lock paramodulation for lattice-valued propositional logic'. Together they form a unique fingerprint.

    Cite this