Formal Methods

Definition

動的情報論理（DEL）は、エージェントが新しい情報を受信したときに知識がどのように進化するかをモデル化するために、様相論理を拡張したものです。公開通信などにより信念が変化するマル …