Prologに関するいくつかの性質について

スポンサーリンク

概要

• 論文の詳細を見る

• We have been making efforts to improve Shapiro's model inference system. We have not got answer yet, but we got three results from such consideration. The results are as follows. (1) The inference system which inferences a source prolog program from trace data. (2) Neither the limitation of amount of predicate symbols nor the limitation of amount of clauses used in prolog programs makes no hierarchy of programs which can be described. (3) The program P'which satisfies following properties can be constructed from any given program P and any given number k (0 < k < 1). ・If there exists an SLD-refutation of p⋃ {<-A} of length N, there exists an SLD-refutation of P'⋃ {<-A} of length under⌜kN&urcon;. ・Program P and P' have the same meaning in the sense of least fixpoints.

• 社団法人人工知能学会の論文
• 1987-06-01

著者

• 大須賀 節雄

  東京大学工学部境界領域研究施設

• 大須賀 節雄

  東京大学先端科学技術研究センター

• 大須賀 節雄

  東京大学工学部

• 阿久津 達也

  東京大学工学部境界領域研究施設

• 阿久津 達也

  工業技術院機械技術研究所物理情報部数理情報課

関連論文

• 知的CADにおける機能モデルの生成と評価
• 知識工学の機械設計CADへの応用
• A Model-based Connection of KAUS to RDBMS
• KAUSによるグラフの知識表現と基本操作(情報の構造化と意味に関する研究)
• 知識ベースシステムKAUSによるモデル構築(情報の構造化と意味に関する研究)
• KAU systemの実施
• 推論能力を備えた情報検索方式について
• 隠面消去と濃淡表示について
• OLBA : 実験的ブロック解析システム
• 「AIマップ-AI研究のあり方」に関する質問・コメントと回答
• 知識情報処理研究の概要 (知識情報処理)
• 概念形成から形状設計までを支援する発想支援システムの一提案
• 物語のための技法と戦略に基づく物語の概念構造生成の基本的フレームワーク
• ソフトウェアの要求モデル構築における発想支援とモデル生成
• 大規模問題解決のための知識処理システム
• 知能のダイナミクスにおけるプロセス知識の利用に関する研究
• 要求空間と機能空間の可視化によるソフトウェア設計の試み
• テキストオブジェクトを空間配置することによる思考支援システム
• 自律型知識処理システムのネゴシエーションによる問題解決
• 設計への人工知能導入の考え方
• 1. 自動プログラミング 1.2 人工知能からみた自動プログラミング (自動プログラミング)
• 人工知能 : 今日・明日
• 人工知能学会設立までの経過
• 人工知能の現状と今後の動向(総論,機械工業におけるAI応用)
• 知識表現に関する一考察
• 知識表現に関する一考察(知識ベースとデータベースの統合化に関する研究)
• データ構造とモデリング技術 (データ構造)
• 知識の獲得と学習 (知識工学)
• コンピュータによるモデリング(工学とモデル)
• 知識の表現に関する一考察 : 情報理論的観点から
• 述語論理のCADへの応用(その2)
• 述語論理のCADへの応用(その1)
• 知識情報処理に関する一考察(情報の構造化と意味に関する研究)
• 知識ベース技術の展望 (データベース技術)
• 知識処理システムKAUS上での知的CADシステム作成支援
• 知的モデル構築支援方式による問題解決システム
• 知的情報処理の現状と課題 (知的情報処理)
• 既存デ-タベ-スによる物性予測から意外性を期待できるか (物性予測における理論の有効性)
• 知識工学と人工知能
• 知識システムのCADへの応用
• 知識工学とモデル構築(知識工学)
• A New Method of Model Description : Use of Knowledge Base and Inference (デ-タ・セマンティクスの理論と実際に関する研究)
• 座談会「知識処理応用とデータベース」 : 1994年6月21日(於 : 早稲田大学国際会議場) (「知識処理応用とデータベース」)
• 大規模問題解決の方法とその回路設計への応用
• 人工知能(AI)から人工生命(AL)へ : ALはAIを越えるか?
• 知的情報技術と人間 (第3回社会と情報に関するシンポジウム)
• 知識科学
• AIマップ : AI研究のあり方
• センター・オブ・エクセレンス(新春教育随想,センター・オブ・エクセレンス)
• 1992(平成4)年度活動概要
• 人工知能の領域
• 化学エキスパート・システム構築用ツールCHEMILOGの開発
• ソフトウェア設計自動化に向けて (「ソフトウェアの知的な開発へ向けて」)
• 1991(平成3)年度の活動報告
• センター長あいさつ
• センター長あいさつ
• ニューラルネットワークとAI (「ニューラルネットワーク」)
• 人工知能の歩み
• Prologに関するいくつかの性質について
• 比喩を含む言語表現の理解 : 形容詞・名詞句と隠喩
• 人工知能の将来展望 (情報技術の将来展望)
• CADにおけるモデルの記述方式 (設計論とCAD) -- (機械設計と情報処理)
• 木パターン上の決定リストの学習とその推論制御への応用
• 木パターン上の決定リストの学習とその推論制御への応用
• 情報保存的な問題領域におけるトレースからの問題分割戦略の獲得
• Implementation of GOING : A Datalanguage Using Graphics Display (デ-タ・セマンティクスの理論と実際に関する研究)
• Construction of SBDS-F3 : A Relational Database with Inference Mechanism (デ-タ・セマンティクスの理論と実際に関する研究)
• 自然言語処理のための形容詞の意味表現
• リレーショナル・データベースの質問言語としての多層論理式と検索手続への変換アルゴリズム
• コネクショニストモデルによる文脈を考慮した自然言語インタフェース
• 技術分野における人工知能

もっと見る 閉じる

スポンサーリンク