著者

濱崎 雅弘 久保田 秀和 江渡 浩一郎 中村 嘉志 田中 克明 西村 拓一

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.26, no.5, pp.465-472, 2011-09-01 (Released:2020-09-29)

著者

中島 秀之

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.2, no.3, pp.367-374, 1987-09-01 (Released:2020-09-29)

---

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.

著者

相澤 彰子

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.24, no.3, pp.458-459, 2009-05-01 (Released:2020-09-29)

著者

広瀬 正幸 伊藤 琢巳 松原 仁

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.13, no.3, pp.452-460, 1998-05-01 (Released:2020-09-29)

---

Several techniques have been developed to solve puzzle problems in conventional AI, but there are few attempts to compose problems automatically by computers. Tsume-Shogi, a mating problem of Japanese Chess, is a kind of puzzles that is created and solved according to specific rules. This paper presents a system to compose Tsume-Shogi problems by reverse method. The search space increases enormously when the reverse method is adopted, but we can reduce it by using some constraints. We conducted several experiments with our method to compose Tsume-Shogi problems and showed that our system could compose some good short Tsume-Shogi problems and some special Kyuku-Tsume problems.

著者

池上 高志

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.38, no.4, pp.479-482, 2023-07-01 (Released:2023-07-01)

著者

三嶋 博之

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.18, no.2, pp.163-169, 2003-03-01 (Released:2020-09-29)

著者

三宅 陽一郎

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.23, no.1, pp.44-51, 2008-01-01 (Released:2020-09-29)

被引用文献数

1

著者

岡田 猛 横地 早和子 石橋 健太郎

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.19, no.2, pp.214-221, 2004-03-01 (Released:2020-09-29)

著者

田中 隆博

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.24, no.3, pp.376-384, 2009-05-01 (Released:2020-09-29)

著者

安藤 毅

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.32, no.2, pp.180-188, 2017-03-01 (Released:2020-09-29)

著者

岩崎 敦 東藤 大樹

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.28, no.3, pp.389-396, 2013-05-01 (Released:2020-09-29)

著者

福島 邦彦

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.7, no.4, pp.715, 1992-07-01 (Released:2020-09-29)

著者

服部 雅史

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.33, no.6, pp.771-779, 2018-11-01 (Released:2020-09-29)

被引用文献数

2

著者

松澤 和光 堀 浩一 金杉 友子 阿部 明典

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.15, no.3, pp.446-455, 2000-05-01 (Released:2020-09-29)

著者

古崎 晃司

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.25, no.4, pp.475-484, 2010-07-01 (Released:2020-09-29)

著者

菊田 昌弘

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.11, no.2, pp.337-339, 1996-03-01 (Released:2020-09-29)

著者

山下 達雄

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.15, no.6, pp.1142, 2000-11-01 (Released:2020-09-29)

著者

森田 純哉

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.35, no.2, pp.223-232, 2020-03-01 (Released:2020-09-29)

被引用文献数

2

著者

高橋 茶子

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.38, no.2, pp.180, 2023-03-01 (Released:2023-03-02)

著者

繁桝 算男

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.16, no.2, pp.249-251, 2001-03-01 (Released:2020-09-29)