著者

郡司 幸夫

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.27, 2013

---

時間を因果の系列で理解しようとするとき、因果系列は因果集合(順序集合)で定義され、その意味論は因果集合のダウンセットで与えられる。両者を使い、推論しながら生きていくとき、因果集合上での演算と、ダウンセット上での演算の齟齬が現れ、その辻褄を合わせる必要が生じる。ここでは、意味論上の論理的操作を伴う表現を、因果系列の或る元として埋め込み、因果系列自体を変える過程が、その一つの可能性であることを論じる。