State updating of channel communication system CB CTL
Suguru Yoshioka, Mikito Kobayashi, Satoshi Tojo · International conference on Artificial intelligence and applications · 2006
This paper introduces a temporal epistemic logic CBCTL that updates agent's belief states through communications in them, based on computational tree logic (CTL). In practical environments, communication channels between agents may not be secure, and in bad cases agents might suffer blackouts. In this study, we provide inform* protocol based on ACL of FIPA, by which we can declare the presence of secure channels between two agents, dependent on time. Thus, the belief state of each agent is updated along with the progress of time. We show a prover, that is a reasoning system for a given formula in a given situation of an agent ; if it is directly provable or if it could be validated through the chains of communications, the system returns the proof.