著者

松原 仁

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.26, no.1, pp.42-44, 2011-01-01 (Released:2020-09-29)

著者

栗原 一貴 塚田 浩二

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.28, no.2, pp.318-325, 2013-03-01 (Released:2020-09-29)

著者

長尾 真

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.4, no.1, pp.88, 1989-01-20 (Released:2020-09-29)

著者

中垣 俊之 小林 亮

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

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

著者

下條 信輔 松原 仁 伊藤 毅志 諏訪 正樹

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.33, no.5, pp.653-661, 2018-09-01 (Released:2020-09-29)

著者

三宅 陽一郎 今村 紀之 Ingimar Gudmundsson 小松 智希 下川 和也 上段 達弘 白神 陽嗣 高橋 光佑 並木 幸介 Fabien Gravot Prasertvithyakarn Prasert Hendrik Skubch Matthew Johnson 南野 真太郎 横山 貴規

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.32, no.2, pp.197-213, 2017-03-01

著者

本多 啓

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.26, no.4, pp.344-351, 2011-07-01 (Released:2020-09-29)

著者

鍋島 弘治朗

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.26, no.4, pp.374-380, 2011-07-01 (Released:2020-09-29)

著者

関 喜史

雑誌

人工知能

巻号頁・発行日

vol.36, no.2, 2021-03-01

著者

東中 竜一郎 岡田 将吾 藤江 真也 森 大毅

雑誌

人工知能

巻号頁・発行日

vol.31, no.5, 2016-09-01

著者

北野 勝則

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.30, no.5, pp.607-615, 2015-09-01 (Released:2020-09-29)

著者

伊藤 貴之

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.30, no.3, pp.337-343, 2015-05-01 (Released:2020-09-29)

被引用文献数

1

著者

志倉 千代丸 三宅 陽一郎

雑誌

人工知能

巻号頁・発行日

no.33, 2018-09-01

著者

繁田 良則 赤間 清 宮本 衛市

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.10, no.6, pp.971-979, 1995-11-01 (Released:2020-09-29)

---

To describe knowledge in Prolog, programmers have to represent it only by terms, which might not only impose complicated programming on them, but also result in inefficient programs in some applications. To improve the above points in Prolog, many extended languages with more expressive data structures are proposed so far. Infinite trees in Prolog II and ψ terms in LOGIN are such extensions of Prolog terms. Each extended language, however, only provides specific and fixed data structures. Still, it is not well suited to various applications. This paper reports a knowledge representation language called UL/α. It provides facilities for programmers to define logical objects and unification rules, where logical objects are extensions of Prolog terms and work as "logical" data structures. Using UL/α, programmers can easily define many logical objects such as class objects, constraints, sets, strings, typed objects and function objects. In order to justify computations logically, we should have theoretical basis for newly-introduced data structures. It is, however, not so easy to construct a new theory of logic each time a programmer defines data structures for some application domains. This difficulty is reduced in the case of UL/α, since it is designed on a general axiomatic theory of extended logic programs, which provides programmers with safety conditions of newly-defined objects and their unification rules so that the programs consisting of the objects have logical meanings. Thus, UL/α is unique as a knowledge representation language in that (1) it provides programmer-defined logical objects, (2) it permits programmers to define both syntactic forms and unification rules for logical objects, and (3) it is based on an axiomatic theory which enables programmers to justify their unification rules.

著者

高橋 英之 岡田 浩之 大森 隆司 金岡 利知 渡辺 一郎

出版者

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

雑誌

人工知能 (ISSN:21882266)

巻号頁・発行日

vol.28, no.2, pp.264-271, 2013-03-01 (Released:2020-09-29)

著者

伊藤 孝行

雑誌

人工知能

巻号頁・発行日

vol.31, no.5, 2016-09-01

著者

植田 益朗 桑島 龍一 三宅 陽一郎(聞き手) 大内 孝子(構成)

雑誌

人工知能

巻号頁・発行日

vol.34, 2019-03-01

著者

新田 克己 佐藤 健

雑誌

人工知能

巻号頁・発行日

vol.34, 2019-11-01

著者

白川 達也 ABEJA Inc.

雑誌

人工知能

巻号頁・発行日

vol.33, 2018-03-01

著者

鍜治 伸裕

雑誌

人工知能

巻号頁・発行日

vol.34, 2019-07-01