2024.05.24
https://www.youtube.com/watch?v=51XP6QG-MFc
Virtual Riot @ BassPod EDC Las Vegas 2024
前:
2024.05.23
後:
2024.05.25
#日報
やった
Scala
アーになった
メモ
arXivに論文を投稿しました。NCL'24に投稿したもののpreprintです。
Seligman et al. (2011) で提案された
Facebook Logic
(ref:
J. Seligman, F. Liu, P. Girard; "LOGIC in the COMMUNITY"
)は、エージェントの知識体系とエージェント間の友人関係を記述できる論理です。これを少しいじって、従来の
認識論理
を埋め込める論理を開発しました。
https://arxiv.org/abs/2405.13398
Y. Nishimura; "Agent-Knowledge Logic for Alternative Epistemic Logic"