As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice impl...As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.展开更多
In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semant...In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation Rm of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result.展开更多
The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-latt...The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.展开更多
In the present paper, the intuitionistic fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties and equivalent characterizations of intuition- istic fuzzy LI-ideals are given. ...In the present paper, the intuitionistic fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties and equivalent characterizations of intuition- istic fuzzy LI-ideals are given. Representation theorem of intuitionistic fuzzy LI-ideal which iS generated by an intuitionistic fuzzy set is established. It is proved that the set consisting of all intuitionistic fuzzy LI-ideals in a lattice implication algebra, under the inclusion order, forms a complete distributive lattice.展开更多
A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agents and quantum intelligence (QAQI) is proposed. In the survey, Aristotle’s causality principle an...A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agents and quantum intelligence (QAQI) is proposed. In the survey, Aristotle’s causality principle and its historical extensions by David Hume, Bertrand Russell, Lotfi Zadeh, Donald Rubin, Judea Pearl, Niels Bohr, Albert Einstein, David Bohm, and the causal set initiative are reviewed;bipolar dynamic logic (BDL) is introduced as a causal logic for bipolar inductive and deductive reasoning;bipolar quantum linear algebra (BQLA) is introdused as a causal algebra for quantum agent interaction and formation. Despite the widely held view that causality is undefinable with regularity, it is shown that equilibrium-based bipolar causality is logically definable using BDL and BQLA for causal inference in physical, social, biological, mental, and philosophical terms. This finding leads to the paradigm of QAQI where agents are modeled as quantum enssembles;intelligence is revealed as quantum intelligence. It is shown that the enssemble formation, mutation and interaction of agents can be described as direct or indirect results of quantum causality. Some fundamental laws of causation are presented for quantum agent entanglement and quantum intelligence. Applicability is illustrated;major challenges are identified in equilibriumbased causal inference and quantum data mining.展开更多
This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-...This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-empty set X, one may take different axiom systems for BCL+-algebras.展开更多
The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive clas...The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system.展开更多
The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which...The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice.展开更多
Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the taut...Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.展开更多
There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keepi...There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keeping above these facts in mind, the authors in this paper have evaluated some reliability parameters for tele-communication system by using Boolean functions technique and algebraic method. Reliability of considered tele-communication system has been evaluated by considering the fact that failures follow arbitrary time distribution. In particular, the reliability expression has also been calculated for Exponential and Weibull distributions. Further, an important reliability parameter namely M.T.T.F. (mean time to failure) has also been calculated. A numerical example with graphical illustrations has been appended at the end to highlight the important results and practical utility of the model.展开更多
In the present paper, the interval-valued （ε, εv q）-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued （ε, ε v q）-fuzzy LI-ideals are given. Repres...In the present paper, the interval-valued （ε, εv q）-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued （ε, ε v q）-fuzzy LI-ideals are given. Representation theorem of interval-valued （ε, ε v q）-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued （ε, εv q）-fuzzy LI-ideals in a lattice implication algebra, under the partial order , forms a complete distributive lattice.展开更多
This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The ...This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities.展开更多
基金the National Natural Science Foundation of China(No.61175055)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.
文摘In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation Rm of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result.
基金the National Natural Science Foundation of China(No.61175055)the Scientific Research Fund of Sichuan Provincial Education Department(11ZB023)the Sichuan Key Technology Research and Development Program(No.2011FZ0051)
文摘The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.
基金Supported by the National Natural Science Foundation of China.(Grant No.60774073)
文摘In the present paper, the intuitionistic fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties and equivalent characterizations of intuition- istic fuzzy LI-ideals are given. Representation theorem of intuitionistic fuzzy LI-ideal which iS generated by an intuitionistic fuzzy set is established. It is proved that the set consisting of all intuitionistic fuzzy LI-ideals in a lattice implication algebra, under the inclusion order, forms a complete distributive lattice.
文摘A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agents and quantum intelligence (QAQI) is proposed. In the survey, Aristotle’s causality principle and its historical extensions by David Hume, Bertrand Russell, Lotfi Zadeh, Donald Rubin, Judea Pearl, Niels Bohr, Albert Einstein, David Bohm, and the causal set initiative are reviewed;bipolar dynamic logic (BDL) is introduced as a causal logic for bipolar inductive and deductive reasoning;bipolar quantum linear algebra (BQLA) is introdused as a causal algebra for quantum agent interaction and formation. Despite the widely held view that causality is undefinable with regularity, it is shown that equilibrium-based bipolar causality is logically definable using BDL and BQLA for causal inference in physical, social, biological, mental, and philosophical terms. This finding leads to the paradigm of QAQI where agents are modeled as quantum enssembles;intelligence is revealed as quantum intelligence. It is shown that the enssemble formation, mutation and interaction of agents can be described as direct or indirect results of quantum causality. Some fundamental laws of causation are presented for quantum agent entanglement and quantum intelligence. Applicability is illustrated;major challenges are identified in equilibriumbased causal inference and quantum data mining.
文摘This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-empty set X, one may take different axiom systems for BCL+-algebras.
文摘The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system.
基金Supported by Higher School Research Foundation of Inner Mongolia(NJSY14283)
文摘The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice.
文摘Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.
文摘There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keeping above these facts in mind, the authors in this paper have evaluated some reliability parameters for tele-communication system by using Boolean functions technique and algebraic method. Reliability of considered tele-communication system has been evaluated by considering the fact that failures follow arbitrary time distribution. In particular, the reliability expression has also been calculated for Exponential and Weibull distributions. Further, an important reliability parameter namely M.T.T.F. (mean time to failure) has also been calculated. A numerical example with graphical illustrations has been appended at the end to highlight the important results and practical utility of the model.
基金Supported by the National Natural Science Foundation of China(Grant No.60774073)the Higher School Research Foundation of Inner Mongolia(Grant No.NJSY14283)
文摘In the present paper, the interval-valued （ε, εv q）-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued （ε, ε v q）-fuzzy LI-ideals are given. Representation theorem of interval-valued （ε, ε v q）-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued （ε, εv q）-fuzzy LI-ideals in a lattice implication algebra, under the partial order , forms a complete distributive lattice.
文摘This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities.
