検索結果:　 21件中 1-20 を表示

鹿田 憲秀 , 長谷川 隆三 , 藤田 博 , 越村 三幸

情報科学技術フォーラム講演論文集 7(2), 405-408, 2008-08-20

CiNii PDF - オープンアクセス 

横谷 正明

The minimal model of odd dimensional sphere S(2n-1) is a differential graded algebra Λ(α) with trivial differential, where |α|＝2n-1. In this paper, we determine the iterated Hochshild homology and the …

津山工業高等専門学校紀要 46, 91-95, 2005-02-28

CiNii PDF - オープンアクセス  機関リポジトリ

若木 利子 , 井上 克巳

従来,極小限定を論理プログラミングで計算する場合,対象の極小限定と意味論的に同値な論理プログラムに変換するアプローチが取られていた。本論文では,優先順位付き極小限定を解集合プログラミングに変換して,従来の方法より効率的に優先順位付き極小限定のモデルを計算する方法を提案する.我々のアプローチの基本的アイデアは,所与の極小限定の候補モデルを生成し,その候補モデルより極小限定の順序≦P^1>・・・ …

電子情報通信学会技術研究報告. AI, 人工知能と知識処理 104(133), 27-32, 2004-06-14

CiNii PDF - 定額アクセス可能  参考文献24件

岡本 英紀 , 佐藤 健

The purpose of this paper is to propose an algorithm that computes all the minimal models in propositional prioritized circumscription by 0-1 integer linear programming. An algorithm for non-prioritiz …

人工知能学会誌 15(3), 511-517, 2000-05-01

CiNii PDF - 定額アクセス可能  参考文献16件

荒山 正志 , 井上 克巳

… ここで, 問合せ処理の解は, 極小モデル意味論に依存するものとする. …

情報処理学会論文誌 37(12), 2295-2304, 1996-12-15

CiNii PDF - オープンアクセス  参考文献18件 被引用文献2件

三浦 孝夫

本稿では,非正規関係技法を用いて,演繹情報を書き換え,コンパクトな表現を得るための手続きを考察する.事実(EDB)がアプリオリに書き換えられたという仮定のもと,この情報を手がかりに規則集合(IDB)の変更を行い,等価な仮想(演繹)情報を生成するメカニズムを論じる.IDBの非正規化のため,集合型論理プログラムを導入し,元のプログラムとの関係,特に最小(極小)モデルの対応があることを示す.また,拡張さ …

情報処理学会論文誌 30(9), 1135-1143, 1989-09-15

CiNii PDF - オープンアクセス  被引用文献1件