α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
This paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution. Firstly, α-generalized lock resolution is proposed for lattice-valued...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2012-11-01
|
| Series: | International Journal of Computational Intelligence Systems |
| Subjects: | |
| Online Access: | https://www.atlantis-press.com/article/25868040.pdf |
| _version_ | 1828395299596402688 |
|---|---|
| author | Xingxing He Yang Xu Jun Liu Shuwei Chen |
| author_facet | Xingxing He Yang Xu Jun Liu Shuwei Chen |
| author_sort | Xingxing He |
| collection | DOAJ |
| description | This paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution. Firstly, α-generalized lock resolution is proposed for lattice-valued propositional logic and first order logic, respectively, along with their concepts, soundness and completeness. Then, α-generalized lock resolution for first order linguistic truth-valued lattice-valued logic F(X) is equivalently transformed into that for propositional logic P(X), which can greatly reduce the complexity of the resolution procedure. Finally, α-generalized linear semi-lock resolution is discussed, and its general algorithm is also contrived. This work provides more efficient and natural resolution automated reasoning scheme in linguistic truth-valued logic based on lattice implication algebra with the aim at establishing formal tools for symbolic natural language processing. |
| first_indexed | 2024-12-10T08:10:31Z |
| format | Article |
| id | doaj.art-c95a77f6929e4c44966f745a1ee70eaa |
| institution | Directory Open Access Journal |
| issn | 1875-6883 |
| language | English |
| last_indexed | 2024-12-10T08:10:31Z |
| publishDate | 2012-11-01 |
| publisher | Springer |
| record_format | Article |
| series | International Journal of Computational Intelligence Systems |
| spelling | doaj.art-c95a77f6929e4c44966f745a1ee70eaa2022-12-22T01:56:35ZengSpringerInternational Journal of Computational Intelligence Systems1875-68832012-11-015610.1080/18756891.2012.747665α-Generalized lock resolution method in linguistic truth-valued lattice-valued logicXingxing HeYang XuJun LiuShuwei ChenThis paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution. Firstly, α-generalized lock resolution is proposed for lattice-valued propositional logic and first order logic, respectively, along with their concepts, soundness and completeness. Then, α-generalized lock resolution for first order linguistic truth-valued lattice-valued logic F(X) is equivalently transformed into that for propositional logic P(X), which can greatly reduce the complexity of the resolution procedure. Finally, α-generalized linear semi-lock resolution is discussed, and its general algorithm is also contrived. This work provides more efficient and natural resolution automated reasoning scheme in linguistic truth-valued logic based on lattice implication algebra with the aim at establishing formal tools for symbolic natural language processing.https://www.atlantis-press.com/article/25868040.pdfNon-clausal resolutionα-Generalized lock resolutionα-Generalized linear semi-lock resolutionLinguistic truth-valued lattice-valued logicLattice implication algebras |
| spellingShingle | Xingxing He Yang Xu Jun Liu Shuwei Chen α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic International Journal of Computational Intelligence Systems Non-clausal resolution α-Generalized lock resolution α-Generalized linear semi-lock resolution Linguistic truth-valued lattice-valued logic Lattice implication algebras |
| title | α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic |
| title_full | α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic |
| title_fullStr | α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic |
| title_full_unstemmed | α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic |
| title_short | α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic |
| title_sort | α generalized lock resolution method in linguistic truth valued lattice valued logic |
| topic | Non-clausal resolution α-Generalized lock resolution α-Generalized linear semi-lock resolution Linguistic truth-valued lattice-valued logic Lattice implication algebras |
| url | https://www.atlantis-press.com/article/25868040.pdf |
| work_keys_str_mv | AT xingxinghe ageneralizedlockresolutionmethodinlinguistictruthvaluedlatticevaluedlogic AT yangxu ageneralizedlockresolutionmethodinlinguistictruthvaluedlatticevaluedlogic AT junliu ageneralizedlockresolutionmethodinlinguistictruthvaluedlatticevaluedlogic AT shuweichen ageneralizedlockresolutionmethodinlinguistictruthvaluedlatticevaluedlogic |