Working memory is the system that actively holds multiple pieces of transitory information in the mind, where they can be manipulated. In interpreting, working memory is in charge of the storage and processing of imme...Working memory is the system that actively holds multiple pieces of transitory information in the mind, where they can be manipulated. In interpreting, working memory is in charge of the storage and processing of immediate information, thus making an important factor in influencing interpreting quality. The role played by working memory capacity in interpreting remains to be a hotspot issue in the field of interpreting research.This thesis aims to investigate the relationship between working memory capacity and E-C consecutive interpreting by conducting two tests. The first test is working memory span test and the second one is E-C consecutive interpreting test. By comparing and analyzing the results of two tests, this thesis comes to the conclusion that working memory capacity is positively correlated with E-C consecutive interpreting in terms of fluency and logic.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes...Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes a complete quantified temporal KBC （knowledge, belief and certainty） logic and corresponding reasoning in hierarchical multi-agent systems （HMAS）. The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is au- tonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.展开更多
文摘Working memory is the system that actively holds multiple pieces of transitory information in the mind, where they can be manipulated. In interpreting, working memory is in charge of the storage and processing of immediate information, thus making an important factor in influencing interpreting quality. The role played by working memory capacity in interpreting remains to be a hotspot issue in the field of interpreting research.This thesis aims to investigate the relationship between working memory capacity and E-C consecutive interpreting by conducting two tests. The first test is working memory span test and the second one is E-C consecutive interpreting test. By comparing and analyzing the results of two tests, this thesis comes to the conclusion that working memory capacity is positively correlated with E-C consecutive interpreting in terms of fluency and logic.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
文摘Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes a complete quantified temporal KBC （knowledge, belief and certainty） logic and corresponding reasoning in hierarchical multi-agent systems （HMAS）. The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is au- tonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.
