著者

向井 孝志 境 哲男 柳田 昌宏

出版者

一般社団法人 表面技術協会

雑誌

表面技術 (ISSN:09151869)

巻号頁・発行日

vol.70, no.6, pp.301-307, 2019-06-01 (Released:2019-12-01)

参考文献数

41

被引用文献数

1 4

著者

中川 裕志 中島 秀之 柳田 昌宏

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.27, no.3, pp.297-303, 1986-03-15

---

本論文では 多重世界機構を利用した世界の状態の時間的推移の表現法と推論について述べている.提案した方法は 時間情報として半順序関係を考え 時間軸を離散的時刻によって構成する.各時刻の状態変化をUranusにおける一つの世界とみなし 多重世界における継承(inheritance)を用いて 時間推移による世界の状態変化を表している. また より複雑な状態変化を扱うために 継承を選択的に打ち消すための述語も導入している.さらに可能性のある複数の時間的変化を表すための条件付き半順序関係とその遅延評価法 実時間を扱うためのTime Counterについても触れている.