WEKO3
インデックスリンク
アイテム
最汎アトムを用いない精密化方法によるPrologプログラムの帰納的自動合成システムの,C言語による実現(情報学共同研究)
https://bunkyo.repo.nii.ac.jp/records/3363
https://bunkyo.repo.nii.ac.jp/records/33633bd9bdf4-bbb9-4656-9a34-7456eb60b35e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
BKSJ100013.pdf (1.2 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-01-17 | |||||||||
| タイトル | ||||||||||
| タイトル | 最汎アトムを用いない精密化方法によるPrologプログラムの帰納的自動合成システムの,C言語による実現(情報学共同研究) | |||||||||
| タイトル | ||||||||||
| タイトル | A Technique for Prolog Program Synthesis by Doing without Most General Atoms | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||
| タイトル カナ | ||||||||||
| その他のタイトル | サイハン アトム オ モチイナイ セイミツカ ホウホウ ニ ヨル Prolog プログラム ノ キノウテキ ジドウ ゴウセイ システム ノ Cゲンゴ ニ ヨル ジツゲン ジョウホウガク キョウドウ ケンキュウ | |||||||||
| 著者 |
鈴木, 昇一
× 鈴木, 昇一
× 中村, 三郎
|
|||||||||
| 著者 | ||||||||||
| 値 | Suzuki, Shoichi | |||||||||
| 著者 | ||||||||||
| 値 | Nakamura, Saburo | |||||||||
| 所属機関 | ||||||||||
| 値 | 文教大学情報学部 | |||||||||
| 所属機関 | ||||||||||
| 値 | 株式会社インターナショナルソフトウェア | |||||||||
| 内容記述 | ||||||||||
| 内容記述タイプ | Abstract | |||||||||
| 内容記述 | E.Y. Shapiro proved that any Prolog-program is constructed by means of an iteration of the following four operations: (1) An addition of an atom to a head of a Horn clause (2) A unification of two variables (3) A unification of a variable and a function (4) An addition of the most general agom to a body. It is indeterminate to obtain the most general atom needed in the operation (4). Therefore in this investigation the inductive model-inference algorithm proposed by Shapiro has been implemented with C-language without using the most general atom. It is easy to control the program-synthesis in this method, but a space of hypotheses increases explosively in the size. We shall show that the contradiction-backtracing is reduced to the inverse application?order of the resolution principle. |
|||||||||
| 書誌情報 |
情報研究 en : Information and Communication Studies 巻 10, p. 151-167, 発行日 1989-01-01 |
|||||||||
| 出版者 | ||||||||||
| 出版者 | 文教大学 | |||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 03893367 | |||||||||
| 著者版フラグ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 本文言語 | ||||||||||
| 値 | 日本語 | |||||||||
| ID | ||||||||||
| 値 | BKSJ100013 | |||||||||
