著者

名切 末晴 青木 宏文 Vu Manh Dung Nguyen Van Quy Hung 伊藤 祥司 服部 彰

出版者

公益社団法人 自動車技術会

雑誌

自動車技術会論文集 (ISSN:02878321)

巻号頁・発行日

vol.52, no.2, pp.480-485, 2021

---

交通事故死者数に占める割合は歩行者や自転車が多く,歩行者などの横を通過する時の運転行動をドライビングシミュレータを用いて調査した.この結果,歩行者の横を通過するときに安全的な運転行動を行うドライバと少し安全性が低いドライバに分類でき,この2つのドライバタイプは,運転行動が大きく異なることが解った.

著者

横田 治夫 北上 始 服部 彰

雑誌

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

巻号頁・発行日

vol.31, no.10, pp.1-9, 1990-10-15

---

本稿では 知識ベース処理の1つとして 項関係上での単一化検索(RBU : Retrieval by Unincation)演算の繰り返しによりホーン節推論を行うアルゴリズムを示し その理論的な定式化を行う.項関係とは 関係データベースにおける関係(テーブル)の格納対象を 述語論理で用いられる項に拡張したものである.またRBU演算とは 項を取り扱うために関係代数演算の比較処理に単一化を導入し 条件と単一化可能な要素を項関係から検索する演算である.ホーン節を二進木表現にして項関係に格納し RBU演算を繰り返すことにより 後ろ向きおよび前向きの推論が可能であることを示す.ホーン節に対する後ろ向き推論の演繹方法としては Prolog等で採用されている節中の最左端負リテラルを選択するSLD演繹を対象とし RBU演算を使ってSLD演繹を実現するアルゴリズムを示す.一方 前向き推論としては SLD演繹と同様の選択関数を用いるようにした単位演繹であるSUD演繹を提案し RBU演繹による実現アルゴリズムを提案する.最左端の負リテラルを選択するSLD演繹およびSUD演繹は 探索規則が均等であれば 健全であり完全である.対象とするホーン節の集合が充足不能の場合には 提案したアルゴリズムは それぞれ反駁を求めて停止する.