Belief in Process Algebra
نویسنده
چکیده
In this paper we present a framework to model falsehood in a system. A falsehood or lie is an intended false positive announced by a principal with an objective to deceive other principals. An utterance of lie is said to be successful if other principals believe it. The framework introduced in this paper is essentially a combination of operational model and epistemic model allowing us to express both temporal and epistemic properties. We visualize the environment when a lie is communicated through an extended version of labeled transition system. Moreover, we analyze when a lie can be successful and when it fails.
منابع مشابه
Mode Transfer in Process Algebra
This paper provides a systematic and full treatment of mode transfer operators in process algebra, including complete axiomatizations, operational rules, analysis of expressive power and extensions with timing features. In particular, we study a disrupt operator and an interrupt operator. Note: this paper is a revision and extension of [7]
متن کاملQuantification of Attacks with and without Belief
Different techniques for expressing an amount of information on secrete data which can be obtained by a process observation are presented. They are based on information theory and they express certainty of sets of private actions which execution is guaranteed by a given observation and sets of actions which execution is excluded by a given observation. Moreover, the case when an intruder has sa...
متن کاملReasoning about Mutual-belief among Multiple Cooperative Agents
Believing mutually is an important premise to ensure that cooperation among multiple agents goes smoothly. However, mutual belief among agents is always considered for granted. In this paper, we adapt a method based on the position-exchange principle to reason about mutual belief among agents. To reason about mutual belief formally, we first use a process algebra approach, the pi-calculus, to f...
متن کاملBelief Reasoning, Revision and Fusion by Matrix Algebra
Representation of belief states is an important issue for knowledge based systems. In this paper, we develop a matrix representation for ordered belief states and show that belief reasoning, revision and fusion can all be interpreted as operations of matrix algebra. Thus, the matrix representation can serve as the basis of algebraic semantics for belief logic.
متن کاملNew Solutions for Fokker-Plank Equation of Special Stochastic Process via Lie Point Symmetries
In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process. This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process.
متن کاملEstablishing Trusty Mutual-Belief among Cooperative Agents
Believing mutually is one important premise to ensure that cooperation among multiple agents goes smoothly. However, mutual belief among agents is always considered for granted. In this paper, we adapt a method based on the position-exchange principle (PEP) to reason about mutual belief among agents before cooperation starts. By reasoning about mutual belief among agents, we can judge whether c...
متن کامل