To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction...To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model.展开更多
Based on analysis of the syntax structure and semantics model of the metric interval temporal logic (MITL) formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a...Based on analysis of the syntax structure and semantics model of the metric interval temporal logic (MITL) formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a fair timed automaton (TA) that recognizes its satisfying models with prototype verification system (PVS) in this paper. Both the tabular construction's principles and the PVS implementation details are given for the different type of MITL formula according to the corresponding semantics interpretations. After this transformation procedure, specifications expressed with MITL formula can be verified formally in the timed automata framework developed previously.展开更多
Recently we proposed the linguistic Copenhagen interpretation (or, quantum language, measurement theory), which has a great power to describe both classical and quantum systems. Thus we think that quantum language can...Recently we proposed the linguistic Copenhagen interpretation (or, quantum language, measurement theory), which has a great power to describe both classical and quantum systems. Thus we think that quantum language can be viewed as the language of science. Further, we showed that certain logic (called quantum fuzzy logic) works in quantum language. In general, it is said that logic and time do not go well together. Then, the purpose of this paper is to show that quantum fuzzy logic works well with time. That is, quantum fuzzy logic has the advantage of being able to clearly distinguish between implication and causality. In fact, we will show the contraposition of the proposition “If no one is scolded, no one will study” (or the negation of “John is always hungry”) can be written in quantum fuzzy logic. However, “time” in everyday language has various aspects (e.g., tense, subjective time). Therefore, it is not possible to understand all of the “time” of everyday language by the “time” of quantum language.展开更多
Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and dev...Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and development in China. Xi Jinping s important exposition of poverty alleviation is the theoretical basis and practical guide to direct the effective implementation of China s targeted poverty alleviation strategy. It has gradually developed into an innovative theoretical system for poverty alleviation and development in the new era, with meticulous internal logic and a reputation for the significance of the times at home and abroad. Xi Jinping s thought of targeted poverty alleviation is the development and innovation of the theory and practice of poverty alleviation and development with Chinese characteristics. It is an important guarantee for China to win the battle to get rid of poverty and build a well-off society in an all-round way, and has contributed China s wisdom and China s plan to reducing poverty in the world.展开更多
文摘To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model.
基金Project supported by the National Natural Science Foundation of China (Grant Nos.60373072, 60673115), the National Basic Research Program of China (Grant No.2002CB312001), and the National High-Technology Research and Development Program of China (Grant No.2007AA012144)
文摘Based on analysis of the syntax structure and semantics model of the metric interval temporal logic (MITL) formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a fair timed automaton (TA) that recognizes its satisfying models with prototype verification system (PVS) in this paper. Both the tabular construction's principles and the PVS implementation details are given for the different type of MITL formula according to the corresponding semantics interpretations. After this transformation procedure, specifications expressed with MITL formula can be verified formally in the timed automata framework developed previously.
文摘Recently we proposed the linguistic Copenhagen interpretation (or, quantum language, measurement theory), which has a great power to describe both classical and quantum systems. Thus we think that quantum language can be viewed as the language of science. Further, we showed that certain logic (called quantum fuzzy logic) works in quantum language. In general, it is said that logic and time do not go well together. Then, the purpose of this paper is to show that quantum fuzzy logic works well with time. That is, quantum fuzzy logic has the advantage of being able to clearly distinguish between implication and causality. In fact, we will show the contraposition of the proposition “If no one is scolded, no one will study” (or the negation of “John is always hungry”) can be written in quantum fuzzy logic. However, “time” in everyday language has various aspects (e.g., tense, subjective time). Therefore, it is not possible to understand all of the “time” of everyday language by the “time” of quantum language.
基金Project Commissioned by the Office of Rural Work Leading Group of Kunming Municipal Party CommitteeConstruction Project of Studio for Party Branch Secretaries of"Double Leaders"Teachers in Colleges and Universities.
文摘Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and development in China. Xi Jinping s important exposition of poverty alleviation is the theoretical basis and practical guide to direct the effective implementation of China s targeted poverty alleviation strategy. It has gradually developed into an innovative theoretical system for poverty alleviation and development in the new era, with meticulous internal logic and a reputation for the significance of the times at home and abroad. Xi Jinping s thought of targeted poverty alleviation is the development and innovation of the theory and practice of poverty alleviation and development with Chinese characteristics. It is an important guarantee for China to win the battle to get rid of poverty and build a well-off society in an all-round way, and has contributed China s wisdom and China s plan to reducing poverty in the world.