Modeling Reactive Trust Acquisition Using State Transition Systems

摘要: In this work-in-progress article, we propose the use of state transition systems to model and specify non-trivial real-life trust acquisition strategies, which are stateful may dynamically adapt, depending on particular context/situation a truster, trustee or an environment. The approach is exemplified with oral examination scenario in kind questions and, hence, strategy can be automatically adjusted according performance examinee. We define discrete metric (a “state trust”), built top continuous representation (Josang’s subjective logic our example). To policy as state-transition system, temporal cTLA.