α-lock paramodulation for lattice-valued propositional logic

Xingxing He; Yang Xu; Jun Liu

doi:10.1109/ISKE.2015.90

α-lock paramodulation for lattice-valued propositional logic

Xingxing He, Yang Xu, Jun Liu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	18-20
Number of pages	3
ISBN (Electronic)	9781467393225
DOIs	https://doi.org/10.1109/ISKE.2015.90
Publication status	Published (in print/issue) - 13 Jan 2016
Event	10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015 - Taipei, Taiwan, Republic of China Duration: 24 Nov 2015 → 27 Nov 2015

Publication series

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

Conference

Conference	10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015
Country/Territory	Taiwan, Republic of China
City	Taipei
Period	24/11/15 → 27/11/15

Bibliographical note

Funding Information:
National Natural Science Foundation of China (Grant No. 61305074, 61100046, 61175055)

Publisher Copyright:
© 2015 IEEE.

Keywords

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

Access to Document

10.1109/ISKE.2015.90

Cite this

He, X., Xu, Y., & Liu, J. (2016). α-lock paramodulation for lattice-valued propositional logic. In Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015 (pp. 18-20). Article 7383018 (Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISKE.2015.90

He, Xingxing ; Xu, Yang ; Liu, Jun. / α-lock paramodulation for lattice-valued propositional logic. Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 18-20 (Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015).

@inproceedings{c2dbd0781e544785a518a2aa77c31b62,

title = "α-lock paramodulation for lattice-valued propositional logic",

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.",

keywords = "a-Lock paramodulation, Automated reasoning, Equality, Lattice-valued propositional logic",

author = "Xingxing He and Yang Xu and Jun Liu",

note = "Funding Information: National Natural Science Foundation of China (Grant No. 61305074, 61100046, 61175055) Publisher Copyright: {\textcopyright} 2015 IEEE.; 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015 ; Conference date: 24-11-2015 Through 27-11-2015",

year = "2016",

month = jan,

day = "13",

doi = "10.1109/ISKE.2015.90",

language = "English",

series = "Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "18--20",

booktitle = "Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015",

address = "United States",

}

He, X, Xu, Y & Liu, J 2016, α-lock paramodulation for lattice-valued propositional logic. in Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015., 7383018, Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015, Institute of Electrical and Electronics Engineers Inc., pp. 18-20, 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015, Taipei, Taiwan, Republic of China, 24/11/15. https://doi.org/10.1109/ISKE.2015.90

α-lock paramodulation for lattice-valued propositional logic. / He, Xingxing; Xu, Yang; Liu, Jun.
Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015. Institute of Electrical and Electronics Engineers Inc., 2016. p. 18-20 7383018 (Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - α-lock paramodulation for lattice-valued propositional logic

AU - He, Xingxing

AU - Xu, Yang

AU - Liu, Jun

PY - 2016/1/13

Y1 - 2016/1/13

N2 - 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.

AB - 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.

KW - a-Lock paramodulation

KW - Automated reasoning

KW - Equality

KW - Lattice-valued propositional logic

UR - http://www.scopus.com/inward/record.url?scp=84966593310&partnerID=8YFLogxK

U2 - 10.1109/ISKE.2015.90

DO - 10.1109/ISKE.2015.90

M3 - Conference contribution

AN - SCOPUS:84966593310

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

SP - 18

EP - 20

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

PB - Institute of Electrical and Electronics Engineers Inc.

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

Y2 - 24 November 2015 through 27 November 2015

ER -

He X, Xu Y, Liu J. α-lock paramodulation for lattice-valued propositional logic. In Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015. Institute of Electrical and Electronics Engineers Inc. 2016. p. 18-20. 7383018. (Proceedings - The 2015 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015). doi: 10.1109/ISKE.2015.90

α-lock paramodulation for lattice-valued propositional logic

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this