The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an...The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed.展开更多
We construct efficient quantum logic network for probabilistic cloning the quantum states used in imple mented tasks for which cloning provides some enhancement in performance.
This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable...This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.展开更多
Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-va...Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.展开更多
The potential for devastating earthquakes in the Himalayan orogeny has long been recognized. The 2015 MW7.8 Gorkha, Nepal earthquake has heightened the likelihood that major earthquakes will occur along this orogenic ...The potential for devastating earthquakes in the Himalayan orogeny has long been recognized. The 2015 MW7.8 Gorkha, Nepal earthquake has heightened the likelihood that major earthquakes will occur along this orogenic belt in the future. Reliable seismic hazard assessment is a critical element in development of policy for seismic hazard mitigation and risk reduction. In this study, we conduct probabilistic seismic hazard assessment using three different seismogenic source models(smoothed gridded, linear, and areal sources)based on the complicated tectonics of the study area. Two sets of ground motion prediction equations are combined in a standard logic tree by taking into account the epistemic uncertainties in hazard estimation. Long-term slip rates and paleoseismic records are also incorporated in the linear source model. Peak ground acceleration and spectral acceleration at 0.2 s and 1.0 s for 2% and 10%probabilities of exceedance in 50 years are estimated. The resulting maps show significant spatial variation in seismic hazard levels. The region of the Lesser Himalaya is found to have high seismic hazard potential. Along the Main Himalayan Thrust from east to west beneath the Main Central Thrust, large earthquakes have occurred regularly in history; hazard values in this region are found to be higher than those shown on existing hazard maps. In essence, the combination of long span earthquake catalogs and multiple seismogenic source models gives improved seismic hazard constraints in Nepal.展开更多
Online automatic fault diagnosis in industrial systems is essential for guaranteeing safe, reliable and efficient operations.However, difficulties associated with computational overload, ubiquitous uncertainties and i...Online automatic fault diagnosis in industrial systems is essential for guaranteeing safe, reliable and efficient operations.However, difficulties associated with computational overload, ubiquitous uncertainties and insufficient fault samples hamper the engineering application of intelligent fault diagnosis technology. Geared towards the settlement of these problems, this paper introduces the method of dynamic uncertain causality graph, which is a new attempt to model complex behaviors of real-world systems under uncertainties. The visual representation to causality pathways and self-relied "chaining" inference mechanisms are analyzed. In particular, some solutions are investigated for the diagnostic reasoning algorithm to aim at reducing its computational complexity and improving the robustness to potential losses and imprecisions in observations. To evaluate the effectiveness and performance of this method, experiments are conducted using both synthetic calculation cases and generator faults of a nuclear power plant. The results manifest the high diagnostic accuracy and efficiency, suggesting its practical significance in large-scale industrial applications.展开更多
A novel probabilistic fuzzy control system is proposed to treat the congestion avoidance problem in transmission control protocol （TCP） networks. Studies on traffic measurement of TCP networks have shown that the pa...A novel probabilistic fuzzy control system is proposed to treat the congestion avoidance problem in transmission control protocol （TCP） networks. Studies on traffic measurement of TCP networks have shown that the packet traffic exhibits long range dependent properties called self-similarity, which degrades the network performance greatly. The probabilistic fuzzy control （PFC） system is used to handle the complex stochastic features of self-similar traffic and the modeling uncertainties in the network system. A three-dimensional （3-D） membership function （MF） is embedded in the PFC to express and describe the stochastic feature of network traffic. The 3-D MF has extended the traditional fuzzy planar mapping and further provides a spatial mapping among ＂fuzziness-randomness-state＂. The additional stochastic expression of 3-D MF provides the PFC an additional freedom to handle the stochastic features of self-similar traffic. Simulation experiments show that the proposed control method achieves superior performance compared to traditional control schemes in a stochastic environment.展开更多
This paper presents a probabilistic methodology for linear fracture mechanics analysis of cracked structures. The main focus is on probabilistic aspect related to the nature of crack in material. The methodology invol...This paper presents a probabilistic methodology for linear fracture mechanics analysis of cracked structures. The main focus is on probabilistic aspect related to the nature of crack in material. The methodology involves finite element analysis; sta- tistical models for uncertainty in material properties, crack size, fracture toughness and loads; and standard reliability methods for evaluating probabilistic characteristics of linear elastic fracture parameter. The uncertainty in the crack size can have a significant effect on the probability of failure, particularly when the crack size has a large coefficient of variation. Numerical example is presented to show that probabilistic methodology based on Monte Carlo simulation provides accurate estimates of failure prob- ability for use in linear elastic fracture mechanics.展开更多
The stock market is uncertain,but its fluctuations have inherent laws.A suitable method to extract these rules from historical data is crucial for predicting future trends.However,since these rules are often disturbed...The stock market is uncertain,but its fluctuations have inherent laws.A suitable method to extract these rules from historical data is crucial for predicting future trends.However,since these rules are often disturbed by external noise,noise reduction while preserving critical inter-nal information is necessary to improve the accuracy of fuzzy time series forecasting.In thispaper,we propose a novel two-factor high-order fuzzy time series(FTS)forecasting model based on hesitant probabillistic fuzzy logical relationship(HPLR).To evaluate the performance of the model,we conduct empirical analysis using the closing price of the Taiwan Stock Exchange Capitalization Weighted Stock Index(TAIEX)as the main factor and the opening price as the secondary factor.The proposed model shows improved prediction performance and is intelli-gent and interpretable in model design.In addition,we forecasted the Hang Seng Index(HSI)to further illustrate the generalizability of the model.展开更多
Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like somethin...Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of a clinical case. Probabilistic logic is widely considered the unique logical calculus useful in clinical diagnosis, thus the usefulness of fuzzy logic and its relation with probabilistic logic is here explored. The presentation of the case is supplied with all the features necessary to affect a clinical diagnosis: physical exam, anamnesis and tests.展开更多
The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main r...The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.展开更多
Currently, agent-based computing is an active research area, and great efforts have been made towards the agent-oriented programming both from a theoretical and practical view. However, most of them assume that there ...Currently, agent-based computing is an active research area, and great efforts have been made towards the agent-oriented programming both from a theoretical and practical view. However, most of them assume that there is no uncertainty in agents＇ mental state and their environment. In other words, under this assumption agent developers are just allowed to specify how his agent acts when the agent is 100% sure about what is true/false. In this paper, this unrealistic assumption is removed and a new agent-oriented probabilistic logic programming language is proposed, which can deal with uncertain information about the world. The programming language is based on a combination of features of probabilistic logic programming and imperative programming.展开更多
As social networks and related data processes have grown exponentially in complexity,the efficient resolution of combinatorial optimization problems has become increasingly crucial.Recent advancements in probabilistic...As social networks and related data processes have grown exponentially in complexity,the efficient resolution of combinatorial optimization problems has become increasingly crucial.Recent advancements in probabilistic computing approaches have demonstrated significant potential for addressing these problems more efficiently than conventional deterministic computing methods.In this study,we demonstrate a highly durable probabilistic bit(pbit)device utilizing two-dimensional materials,specifically hexagonal boron nitride(h-BN)and tin disulfide(SnS2)nanosheets.By leveraging the inherently stochastic nature of electron trapping and detrapping at the h-BN/SnS2 interface,the device achieves durable probabilistic fluctuations over 108 cycles with minimal energy consumption.To mitigate the static power consumption,we integrated an active switch in series with a p-bit device,replacing conventional resistors.Furthermore,employing the pulse width as the control variable for probabilistic switching significantly enhances noise immunity.We demonstrate the practical application of the proposed p-bit device in implementing invertible Boolean logic gates and subsequent integer factorization,highlighting its potential for solving complex combinatorial optimization problems and extending its applicability to real-world scenarios such as cryptographic systems.展开更多
I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself o...I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself of the functional and logic paradigms. The purpose of this note, proceeding from the algebraic oersoective, is to formulize the first-order mathematical展开更多
This study investigates finite-time observability of probabilistic logical control systems(PLCSs)under three definitions(i.e.,finite-time observability with probability one,finite-time singleinput sequence observabili...This study investigates finite-time observability of probabilistic logical control systems(PLCSs)under three definitions(i.e.,finite-time observability with probability one,finite-time singleinput sequence observability with probability one,and finite-time arbitrary-input observability with probability one).The authors adopt a parallel extension technique to recast the finite-time observability problem of a PLCS as a finite-time set reachability problem.Then,the finite-time set reachability problem can be transferred to stabilization problem of a logic dynamical system by using the state transfer graph reconstruction method.Necessary and sufficient conditions for finite-time observability under the three definitions are derived respectively.Finally,the proposed methods are illustrated by numerical examples.展开更多
Human Activity Recognition(HAR)has become a subject of concern and plays an important role in daily life.HAR uses sensor devices to collect user behavior data,obtain human activity information and identify them.Markov...Human Activity Recognition(HAR)has become a subject of concern and plays an important role in daily life.HAR uses sensor devices to collect user behavior data,obtain human activity information and identify them.Markov Logic Networks(MLN)are widely used in HAR as an effective combination of knowledge and data.MLN can solve the problems of complexity and uncertainty,and has good knowledge expression ability.However,MLN structure learning is relatively weak and requires a lot of computing and storage resources.Essentially,the MLN structure is derived from sensor data in the current scene.Assuming that the sensor data can be effectively sliced and the sliced data can be converted into semantic rules,MLN structure can be obtained.To this end,we propose a rulebase building scheme based on probabilistic latent semantic analysis to provide a semantic rulebase for MLN learning.Such a rulebase can reduce the time required for MLN structure learning.We apply the rulebase building scheme to single-person indoor activity recognition and prove that the scheme can effectively reduce the MLN learning time.In addition,we evaluate the parameters of the rulebase building scheme to check its stability.展开更多
Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for qua...Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.展开更多
文摘The scheme for probabilistic teleportation of an arbitrary three-particle state is proposed. By using single qubit gate and three two-qubit gates, efficient quantum logic networks for probabilistic teleportation of an arbitrary three-particle state are constructed.
文摘We construct efficient quantum logic network for probabilistic cloning the quantum states used in imple mented tasks for which cloning provides some enhancement in performance.
基金This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchangeof the National Natural Science Foundation of China (Grant No.61210306079),Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051),Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).
文摘This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.
基金This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchange of the National Natural Science Foundation of China (Grant No.61210306079), Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051), Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).
文摘Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.
基金supported by the grants of the National Nature Science Foundation of China (No. 41761144076, 41490611)the collaborative research program of the Disaster Prevention Research Institute of Kyoto University (No. 29W-03)+2 种基金the COX visiting professor fellowship of the Stanford University to L.B.the Chinese Academy of Sciences (CAS)The World Academy of Sciences (TWAS) President’s Ph D Fellowship to M.M.R
文摘The potential for devastating earthquakes in the Himalayan orogeny has long been recognized. The 2015 MW7.8 Gorkha, Nepal earthquake has heightened the likelihood that major earthquakes will occur along this orogenic belt in the future. Reliable seismic hazard assessment is a critical element in development of policy for seismic hazard mitigation and risk reduction. In this study, we conduct probabilistic seismic hazard assessment using three different seismogenic source models(smoothed gridded, linear, and areal sources)based on the complicated tectonics of the study area. Two sets of ground motion prediction equations are combined in a standard logic tree by taking into account the epistemic uncertainties in hazard estimation. Long-term slip rates and paleoseismic records are also incorporated in the linear source model. Peak ground acceleration and spectral acceleration at 0.2 s and 1.0 s for 2% and 10%probabilities of exceedance in 50 years are estimated. The resulting maps show significant spatial variation in seismic hazard levels. The region of the Lesser Himalaya is found to have high seismic hazard potential. Along the Main Himalayan Thrust from east to west beneath the Main Central Thrust, large earthquakes have occurred regularly in history; hazard values in this region are found to be higher than those shown on existing hazard maps. In essence, the combination of long span earthquake catalogs and multiple seismogenic source models gives improved seismic hazard constraints in Nepal.
基金supported by the National Natural Science Foundation of China(Nos.61050005 and 61273330)Research Foundation for the Doctoral Program of China Ministry of Education(No.20120002110037)+1 种基金the 2014 Teaching Reform Project of Shandong Normal UniversityDevelopment Project of China Guangdong Nuclear Power Group(No.CNPRI-ST10P005)
文摘Online automatic fault diagnosis in industrial systems is essential for guaranteeing safe, reliable and efficient operations.However, difficulties associated with computational overload, ubiquitous uncertainties and insufficient fault samples hamper the engineering application of intelligent fault diagnosis technology. Geared towards the settlement of these problems, this paper introduces the method of dynamic uncertain causality graph, which is a new attempt to model complex behaviors of real-world systems under uncertainties. The visual representation to causality pathways and self-relied "chaining" inference mechanisms are analyzed. In particular, some solutions are investigated for the diagnostic reasoning algorithm to aim at reducing its computational complexity and improving the robustness to potential losses and imprecisions in observations. To evaluate the effectiveness and performance of this method, experiments are conducted using both synthetic calculation cases and generator faults of a nuclear power plant. The results manifest the high diagnostic accuracy and efficiency, suggesting its practical significance in large-scale industrial applications.
基金supported by the National Natural Science Foundation of China (U0735003,60604006)Natural Science Foundation of Guangdong Province (8351009001000002,6021452)
文摘A novel probabilistic fuzzy control system is proposed to treat the congestion avoidance problem in transmission control protocol （TCP） networks. Studies on traffic measurement of TCP networks have shown that the packet traffic exhibits long range dependent properties called self-similarity, which degrades the network performance greatly. The probabilistic fuzzy control （PFC） system is used to handle the complex stochastic features of self-similar traffic and the modeling uncertainties in the network system. A three-dimensional （3-D） membership function （MF） is embedded in the PFC to express and describe the stochastic feature of network traffic. The 3-D MF has extended the traditional fuzzy planar mapping and further provides a spatial mapping among ＂fuzziness-randomness-state＂. The additional stochastic expression of 3-D MF provides the PFC an additional freedom to handle the stochastic features of self-similar traffic. Simulation experiments show that the proposed control method achieves superior performance compared to traditional control schemes in a stochastic environment.
文摘This paper presents a probabilistic methodology for linear fracture mechanics analysis of cracked structures. The main focus is on probabilistic aspect related to the nature of crack in material. The methodology involves finite element analysis; sta- tistical models for uncertainty in material properties, crack size, fracture toughness and loads; and standard reliability methods for evaluating probabilistic characteristics of linear elastic fracture parameter. The uncertainty in the crack size can have a significant effect on the probability of failure, particularly when the crack size has a large coefficient of variation. Numerical example is presented to show that probabilistic methodology based on Monte Carlo simulation provides accurate estimates of failure prob- ability for use in linear elastic fracture mechanics.
基金supported by Self Cultivation Innovation Team Project of Jinan:[Grant Number 202228075]Taishan Scholar Foundation of Shandong Province:[Grant Number tsqn202211197l+2 种基金the National Natural Science Foundation of China:[Grant Number 7237114471971129]Youth Innovation Technology Project of Higher School in Shandong Province:[Grant Number 2019RWG017].
文摘The stock market is uncertain,but its fluctuations have inherent laws.A suitable method to extract these rules from historical data is crucial for predicting future trends.However,since these rules are often disturbed by external noise,noise reduction while preserving critical inter-nal information is necessary to improve the accuracy of fuzzy time series forecasting.In thispaper,we propose a novel two-factor high-order fuzzy time series(FTS)forecasting model based on hesitant probabillistic fuzzy logical relationship(HPLR).To evaluate the performance of the model,we conduct empirical analysis using the closing price of the Taiwan Stock Exchange Capitalization Weighted Stock Index(TAIEX)as the main factor and the opening price as the secondary factor.The proposed model shows improved prediction performance and is intelli-gent and interpretable in model design.In addition,we forecasted the Hang Seng Index(HSI)to further illustrate the generalizability of the model.
文摘Fuzzy logic is a logical calculus which operates with many truth values (while classical logic works with the two values of true and false). Since fuzzy logic considers the truth of scientific statements like something softened, it is fruitfully applied to the study of biological phenomena, biology is indeed considered the field of complexity, uncertainty and vagueness. In this paper fuzzy logic is successfully applied to the clinical diagnosis of a patient who suffers from different diseases bound by a complex causal chain. In this work it is presented a mathematical foundation of fuzzy logic (with connectives and inference rules) and then the application of fuzzy reasoning to the study of a clinical case. Probabilistic logic is widely considered the unique logical calculus useful in clinical diagnosis, thus the usefulness of fuzzy logic and its relation with probabilistic logic is here explored. The presentation of the case is supplied with all the features necessary to affect a clinical diagnosis: physical exam, anamnesis and tests.
基金Supported by the National Science Foundation of China under Grant Nos.11235003 and 11475023National Social Sciences Foundation of China under Grant No.14BZX078+1 种基金the Research Fund for the Doctoral Program of Higher Education of Chinathe Undergraduate Training Program of Beijing
文摘The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main results in the theory, including the twin paradox and energy-mass relation. In this paper, from a four-dimensional spacetime perspective, we introduce the concepts of world-line, proper time and four-momentum to our axiomatic system SpecR el^+. Then we introduce an axiom of mass(Ax Mass) and take four-momentum conservation as an axiom(Ax CFM)in SpecR el^+. It turns out that the twin paradox and energy-mass relation can be derived from SpecR el+logically. Hence,as an extension of SpecR el, SpecR el^+is a suitable first-order axiomatic system to describe the kinematics and dynamics of special relativity.
基金This work is supported by the National Natural Science Foundation of China under Grand No. 60496322 and the Chinese Ministry of Education under Grand No. 05JZD720.4001.
文摘Currently, agent-based computing is an active research area, and great efforts have been made towards the agent-oriented programming both from a theoretical and practical view. However, most of them assume that there is no uncertainty in agents＇ mental state and their environment. In other words, under this assumption agent developers are just allowed to specify how his agent acts when the agent is 100% sure about what is true/false. In this paper, this unrealistic assumption is removed and a new agent-oriented probabilistic logic programming language is proposed, which can deal with uncertain information about the world. The programming language is based on a combination of features of probabilistic logic programming and imperative programming.
基金National Research Foundation of Korea,Grant/Award Numbers:RS-2024-00334953,RS-2024-00449412Institute of Information&communications Technology Planning&Evaluation,Grant/Award Number:RS-2024-00466640。
文摘As social networks and related data processes have grown exponentially in complexity,the efficient resolution of combinatorial optimization problems has become increasingly crucial.Recent advancements in probabilistic computing approaches have demonstrated significant potential for addressing these problems more efficiently than conventional deterministic computing methods.In this study,we demonstrate a highly durable probabilistic bit(pbit)device utilizing two-dimensional materials,specifically hexagonal boron nitride(h-BN)and tin disulfide(SnS2)nanosheets.By leveraging the inherently stochastic nature of electron trapping and detrapping at the h-BN/SnS2 interface,the device achieves durable probabilistic fluctuations over 108 cycles with minimal energy consumption.To mitigate the static power consumption,we integrated an active switch in series with a p-bit device,replacing conventional resistors.Furthermore,employing the pulse width as the control variable for probabilistic switching significantly enhances noise immunity.We demonstrate the practical application of the proposed p-bit device in implementing invertible Boolean logic gates and subsequent integer factorization,highlighting its potential for solving complex combinatorial optimization problems and extending its applicability to real-world scenarios such as cryptographic systems.
基金Project supported by the National High Technique Planning Foundation
文摘I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself of the functional and logic paradigms. The purpose of this note, proceeding from the algebraic oersoective, is to formulize the first-order mathematical
基金jointly supported by the National Natural Science Foundation of China under Grant Nos.62103178,61873284 and 61321003NSERC Canada。
文摘This study investigates finite-time observability of probabilistic logical control systems(PLCSs)under three definitions(i.e.,finite-time observability with probability one,finite-time singleinput sequence observability with probability one,and finite-time arbitrary-input observability with probability one).The authors adopt a parallel extension technique to recast the finite-time observability problem of a PLCS as a finite-time set reachability problem.Then,the finite-time set reachability problem can be transferred to stabilization problem of a logic dynamical system by using the state transfer graph reconstruction method.Necessary and sufficient conditions for finite-time observability under the three definitions are derived respectively.Finally,the proposed methods are illustrated by numerical examples.
基金supported by the National Natural Science Foundation of China(No.61872038).
文摘Human Activity Recognition(HAR)has become a subject of concern and plays an important role in daily life.HAR uses sensor devices to collect user behavior data,obtain human activity information and identify them.Markov Logic Networks(MLN)are widely used in HAR as an effective combination of knowledge and data.MLN can solve the problems of complexity and uncertainty,and has good knowledge expression ability.However,MLN structure learning is relatively weak and requires a lot of computing and storage resources.Essentially,the MLN structure is derived from sensor data in the current scene.Assuming that the sensor data can be effectively sliced and the sliced data can be converted into semantic rules,MLN structure can be obtained.To this end,we propose a rulebase building scheme based on probabilistic latent semantic analysis to provide a semantic rulebase for MLN learning.Such a rulebase can reduce the time required for MLN structure learning.We apply the rulebase building scheme to single-person indoor activity recognition and prove that the scheme can effectively reduce the MLN learning time.In addition,we evaluate the parameters of the rulebase building scheme to check its stability.
基金the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2010KF-06)Beijing University of Aeronautics and Astronautics,and by the National Basic Research Program of China(973 Program)(2005CB321901).
文摘Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.
