Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system
View through CrossRef
On the basis of α-minimal resolution principle, an α-n(t)-ary resolution dynamic automated reasoning method—multi-ary α-ordered linear minimal resolution method is studied in lattice-valued propositional logic system LP(X) and lattice-valued first-order logic system LF(X) based on lattice implication algebra (LIA). Firstly, multi-ary α-ordered linear minimal resolution method is established in LP(X), while its theorems of both soundness and completeness are proved. Then, multi-ary α-ordered linear minimal resolution method is further established in the corresponding lattice-valued first-order logic LF(X), along with its soundness theorem, lifting lemma, and completeness theorem. Then, the validity of multi-ary α-ordered linear minimal resolution based on lattice-valued logic is analyzed. At last, an multi-ary α-ordered linear minimal resolution algorithm in LP(X) is designed, and it is proved to be sound and complete, then it is further extended in the corresponding LF(X). This lays the foundation for the further study on α-n(t)-ary resolution dynamic automated reasoning program.
Title: Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system
Description:
On the basis of α-minimal resolution principle, an α-n(t)-ary resolution dynamic automated reasoning method—multi-ary α-ordered linear minimal resolution method is studied in lattice-valued propositional logic system LP(X) and lattice-valued first-order logic system LF(X) based on lattice implication algebra (LIA).
Firstly, multi-ary α-ordered linear minimal resolution method is established in LP(X), while its theorems of both soundness and completeness are proved.
Then, multi-ary α-ordered linear minimal resolution method is further established in the corresponding lattice-valued first-order logic LF(X), along with its soundness theorem, lifting lemma, and completeness theorem.
Then, the validity of multi-ary α-ordered linear minimal resolution based on lattice-valued logic is analyzed.
At last, an multi-ary α-ordered linear minimal resolution algorithm in LP(X) is designed, and it is proved to be sound and complete, then it is further extended in the corresponding LF(X).
This lays the foundation for the further study on α-n(t)-ary resolution dynamic automated reasoning program.
Related Results
Computational vademecums for lattice materials using algebraic PGD
Computational vademecums for lattice materials using algebraic PGD
This dissertation is motivated by the concept of materials by design. Focusing on structures, this states that the properties in a mechanical component are not only inherited by it...
Diagnosing of a complex technical object in four-valued logic
Diagnosing of a complex technical object in four-valued logic
This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic. To this end, an intelligent diagnostic system (DIAG 2) is descr...
Ary Scheffer, een Nederlandse Fransman
Ary Scheffer, een Nederlandse Fransman
AbstractAry Scheffer (1795-1858) is so generally included in the French School (Note 2)- unsurprisingly, since his career was confined almost entirely to Paris - that the fact that...
Effect of lattice mismatch stress on magnetic domain of epitaxial single crystal (BiTm)3(GaFe)5O12 film
Effect of lattice mismatch stress on magnetic domain of epitaxial single crystal (BiTm)3(GaFe)5O12 film
Yttrium iron garnet (YIG) film is a kind of magnetic film and has been investigated extensively because of its excellent magnetic properties and various applications in different f...
On Resolution Matrices
On Resolution Matrices
AbstractSolution appraisal, which has been realized on the basis of projections from the true medium to the solution, is an essential procedure in practical studies, especially in ...
On LM-Valued F-Transforms, LM-Valued Fuzzy Rough Sets and LM-Valued Fuzzy Transformation Systems
On LM-Valued F-Transforms, LM-Valued Fuzzy Rough Sets and LM-Valued Fuzzy Transformation Systems
The goal of this contribution is to propose [Formula: see text]-valued [Formula: see text]-transforms, which are essentially the many-valued generalizations of the notion of lattic...
The impact of M-ary rates on various quadrature amplitude modulation detection
The impact of M-ary rates on various quadrature amplitude modulation detection
The 5G system-based cognitive radio network is promised to meet the requirements of huge data applications with spectrum. However, the M-ary effect on the detection has not been th...
A Formal Description Specification for Multi-Resolution Modeling Based on DEVS Formalism and its Applications
A Formal Description Specification for Multi-Resolution Modeling Based on DEVS Formalism and its Applications
Multi-Resolution Modeling (MRM) is a relatively new research area. With the development of distributed interactive simulation, especially as the emergence of HLA (High Level Archit...