- Vivi Padova
- Il Bo
Giovedì 25 Giugno 2015 alle ore 18:00 in Aula 2AB45, Satoshi Tojo (Japan Advanced Institute of Science and Technology) terrà un seminario dal titolo "Belief Re-revision And Reliability Change in Dynamic Epistemic Logic".
The relation between belief revision and reliability is an important aspect of agent communication. That is, an agent can change his/her belief when he/she considers that the new information is reliable. In order to capture this connection, we employ several dynamic operators in terms of dynamic epistemic logic. Here, we propose the commitment and permission operators. The commitment operator is employed for agents to acquire a reliable information and to change beliefs, while the permission operator is used to restore the former beliefs. Furthermore, as side-effects of these operators, we introduce the reliability of the information source, and we can change it by the downgrade/upgrade operations, where each agent can downgrade the agents in a specific group to be equally or less reliable than the other agents. Based on these dynamic operators, we analyze an agent’s belief re-revision based on a legal case.