WEKO3
アイテム
Horn Sentenceの評価とその制御
https://ipsj.ixsq.nii.ac.jp/records/31520
https://ipsj.ixsq.nii.ac.jp/records/31520cca5aded-66de-498e-b1a4-68ee4612b586
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO80012001.pdf (771.4 kB)
|
Copyright (c) 1980 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1980-06-19 | |||||||
| タイトル | ||||||||
| タイトル | Horn Sentenceの評価とその制御 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 電総研 | ||||||||
| 著者名 |
大谷木重夫
× 大谷木重夫
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文ではHorn Sentenceの評価をHorn Sentenceで制御する方法を提案する。方針としてはPrattのDynamic logicを若干修正したものを制御言語として設定し、それを再度Horn Sentenceに翻訳する方法をとる。表現能力を確めるためにHorn Sentenceのprover他2、3の例に当ってみた。 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1980, 号 9(1980-PRO-012), p. 1-7, 発行日 1980-06-19 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
