著者

中島 秀之 Hideyuki Nakashima 電子技術総合研究所

雑誌

コンピュータソフトウェア = Computer software (ISSN:02896540)

巻号頁・発行日

vol.1, no.1, pp.82-83, 1984-04-13

著者

中島 秀之 Hideyuki Nakashima

雑誌

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)

巻号頁・発行日

vol.26, no.1, pp.45-49, 2011-01-01

著者

瀬名 秀明 石黒 浩 中島 秀之 松原 仁 Hideaki Sena Hiroshi Ishiguro Hideyuki Nakashima Hitoshi Matsubara

雑誌

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)

巻号頁・発行日

vol.26, no.1, pp.55-62, 2011-01-01

著者

中島 秀之 Hideyuki Nakashima

出版者

一般社団法人 人工知能学会

雑誌

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)

巻号頁・発行日

vol.2, no.3, pp.367-374, 1987-09-01

被引用文献数

2 1

---

Uranus is a programming system designed for knowledge representation. The multiple world mechanism of Uranus makes it possible to represent conceptual space and time sequence. In this paper, we examine commonsense reasoning with this mechanism. By commonsense reasoning, we mean reasoning with rules which have exceptions. The results must fit our intuition. To do so requires ordering among rules. Non-monotonic logic is too weak for this purpose. We show that the multiple world mechanism of Uranus provides the natural ordering among rules, and thus it is suitable for commonsense reasoning.