Search Results:　 1-8 of 8

Awashima Ayako , Harada Masashi , Wakaki Toshiko

全国大会講演論文集 第72回平成22年(2), "2-761"-"2-762", 2010-03-08

CiNii Fulltext PDF - Paid  References (6)

Inoue Katsumi , Sakama Chiaki

… 1999年にはこれらに加えて制約プログラミングの概念を融合した解集合プログラミングの概念が確立され,現在では論理プログラミングの中心的な研究テーマの1つになっている.本稿では過去からのこうした研究の流れと新しい論理プログラミングの可能性について探る. …

コンピュータソフトウェア 25(3), 20-32, 2008-07-25

CiNii Fulltext PDF - Open Access  References (62) Cited by (7)

WAKAKI Toshiko , TOMITA Kazuo

近年,我々は優先順位付き極小限定のモデルを解集合論理プログラミング(Answer Set Programming)を用いて計算する方法を提案した.しかし,極小限定モデルを計算する論理プログラムは生成・検査法の構造を持ち,モデル候補を生成するguessプログラムと,生成された候補モデルに対して極小限定のモデル判定を行うcheckプログラムの2つの一般選言論理プログラム(GDPs)で構成されていた.こ …

IEICE technical report. Artificial intelligence and knowledge-based processing 106(340), 47-52, 2006-11-03

CiNii Fulltext PDF - Subscription  References (20)

WAKAKI Toshiko , INOUE Katsumi

… 本論文では,優先順位付き極小限定を解集合プログラミングに変換して,従来の方法より効率的に優先順位付き極小限定のモデルを計算する方法を提案する.我々のアプローチの基本的アイデアは,所与の極小限定の候補モデルを生成し,その候補モデルより極小限定の順序≦P^1>・・・>P^k;Zに関するStrictly preferredなモデルを生成する変換論理プログラムを構成する.この結果,当該プログラムの無矛盾性より,候補モデルが優 …

IEICE technical report. Artificial intelligence and knowledge-based processing 104(133), 27-32, 2004-06-14

CiNii Fulltext PDF - Subscription  References (24)