Analyzing Reliability Change in Legal Case

摘要

Reliability among agents plays a significant role in both human and agent communications. An agent may change her reliability for the other agents, when she receives a new piece of information from one of them. In order to analyze such reliability change, this paper proposes a logical formalization with two dynamic operators, i.e., downgrade and upgrade operators. The downgrade operator allows an agent to downgrade some specified agents to be less reliable in terms of the degree of reliability, while the upgrade operator allows the agent to upgrade them to be more reliable. Furthermore, we demonstrate our formalization by a legal case from Thailand.