1. カテゴリーなし

連続した状態空間を扱うエージェント向け論理における 神託を伴う演繹系