オブジェクト演算子とインスタンスを導入したフレーム構造論理の拡張体系 (&特集>「記号論理とAI」)
スポンサーリンク
概要
- 論文の詳細を見る
知識の表現法や推論法を論理体系で扱う研究のほとんどは, 述語論理を基礎としている. しかし, 我々が普段用いる自然言語と, 述語論理的な意味記述法との間には大きなギャップがある. 本研究では, 名詞概念間の階層関係, 属性関係, 複合概念などを記号間の直接的関係として記述できるフレーム構造論理に, 結演算およびインスタンスを導入する. 結演算の導入により, 集合的な概念を表す名詞が表現可能となり, インスタンスの導入により, 固有名詞が表現可能となる. 本稿では拡張体系の公理的体系を与え, 結演算とインスタンスに特有な推論を考察することにより, 拡張体系の有効性を示す.
- 社団法人電子情報通信学会の論文
- 1997-11-13
著者
関連論文
- 3種のオブジェクト演算子とインスタンスを取り扱えるフレーム構造論理
- 方言から共通語への翻訳システムに関する基礎的研究
- 方言から共通語への翻訳システムに関する基礎的研究
- 機械処理のための山形方言結合価辞書
- 方言の機械処理に関する予備的考察 : 庄内方言を対象として
- 複合的ネットワークを用いた知識表現の試み
- 翻訳困難例文の収集と分類
- 多様な属性関係を表現できるフレーム構造論理の拡張体系 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- オブジェクト演算子とインスタンスを導入したフレーム構造論理の拡張体系 (&特集>「記号論理とAI」)
- 翻訳困難例文の機械翻訳と評価
- Uniquely Parsable Grammars
- 一意解析可能文法
- 遺伝的アルゴリズムを用いた動的ルーティングとその性能評価
- 遺伝的アルゴリズムを用いた動的ルーティングとその性能評価
- 名辞論理体系に基づく自然言語文に対する推論法 : 日本語質疑応答システムへの応用
- 文成分と意味素性を用いた中国語における代名詞照応現象の検討
- 高速ネットワークにおける接続制御のためのファジィ・アプローチ
- 4S-9 エージェントを用いたWWWミラーサーバの選択方式
- A Distributed Routing Strategy for Large Scale Networks Using Intelligent Agents
- 概念間の意味的距離を用いた意味素性自動変換システム
- 意味処理、知識処理の最近の動向
- 自己トークンプロトコルによる高速マルチメディア通信の実現
- フレーム構造論理を用いた名詞句「AのB」の意味解析
- フレーム構造を用いた名詞句「AのB」の意味解析と階層構造,属性継承の取り扱い
- 依存性を利用する中国語代名詞文内照応関係の解析法
- 動詞述語の抽出による中国語文の構造解析
- 主題・焦点リンクを用いた重要文抽出システム(抽出・言語獲得)
- インターネット翻訳による情報受発信 (日米政府の電子化文書を使った多言語アーカイブ・サイトの開発)
- 知的エージェントを用いた大規模ネットワークのための分散ルーチング方法
- 動詞間の時間関係を考慮した発話空間からの文生成
- 主題間の関係を用いた文脈構造ネットワークの構築
- 主題・焦点を用いた文脈解析の一手法
- Web機械翻訳再現性評価の研究
- Syllogism(三段論法推論)体系の連言名辞への拡張
- 特称限量子を導入した名辞論理の公埋的体系
- ポルトガル語動詞の曖昧性と機械処理への対策
- ノード配置問題に対するアント最適化法(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 機械処理のための助詞「で」の分析
- 話題ネットワークを利用した照応問題解決のための予備的考察
- シソーラスを用いた複合名詞の生成・解析
- 意味素性を用いた複合名詞の生成による分析
- 決定性プッシュダウン・オートマトンおよび有限オートマトンと等価な一意解析可能文法(UPG)のサブクラス
- 連体修飾構造を取り扱える名辞論理体系LVPMの完全性
- Syllogismを土台とした連体修飾構造を取り扱える名辞論理の公理的体系LVPM
- 動詞および固有名詞を導入したSyllogismの拡張体系とその完全性
- 連言,選言および補名辞演算子を取り扱えるSyllogismの拡張体系とその完全性
- 連言名辞を導入した拡張Syllogism体系LCの完全性
- Syllogism(3段論法推論)の効率化と知識処理への応用
- ホーン節を内部表現とする自然言語理解システム
- 二次割当問題に対する遺伝的反復局所探索法(研究速報)
- A-025 ノード配置問題に対するアント最適化法(数理モデル化と問題解決(2),A分野:モデル・アルゴリズム・プログラミング)