多エージェント系自己認識論理に基づく状態継続と因果関係の表現
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we apply our multi-autoepistemic logic (MAEL), a natural extension of Moore's AEL with multi-theories, to formalization of hierarchical knowledge and temporal knowledge. In MAEL, inheritance, persistence and causality are represented both by meta-beliefs about relations between agents' beliefs and by communications of meta-beliefs between agents. Solving some typical examples such as multiple inheritance, Yale shooting problem and its extension, we show that MAEL provides a unified framework for representation of inheritance, persistence and causality. Especially the representation contains in itself a mechanism to control directions of reasoning about persistence and causality.
- 社団法人人工知能学会の論文
- 1997-05-01
著者
関連論文
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
- 正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
- 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
- 赤外線通信を用いた頑健なモバイルアドホックネットワーク構築手法
- 赤外線通信を用いたモバイルアドホックネットワークの実現とその応用
- モバイルアドホックネットワーク構築のための分散アルゴリズムの提案とその実現
- 複数端末からの同時入力が可能なモデリングシステム
- 動画エージェントシステムの試作
- D-5-4 表層パターンに基づく法律文の構文解析
- 対話同時通訳コーパスの構築とその特徴分析
- 立体表示された仮想物体に対する知覚位置補正について
- デザイン支援システム構築のための仮想物体の奥行き知覚特性に関する一考察
- 自動車の内装デザインのための立体視画像の物体位置把握に関する一考察
- 自動車の内装デザインのための立体視画像の物体位置把握に関する一考察
- モデリング操作に基づく同一仮想空間内での協調作業環境の実現
- 座談会 「人工知能研究の現状と問題点」
- プログラミング言語の新潮流
- ソフトウェア科学会第4回大会
- 座談会 人間の知能と機械の知能 : 1986年9月6日 於:北海道大学
- パターン記述に基づくLISPプログラムの変換
- パターン記述されたデータによるLISPプログラムの変換
- 気象に関する知識ベースシステムの構成
- Information Flow Graphを用いたATMSの解析
- Information Flow Graphを用いたATMSの解析
- Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論)
- 特集「知的プログラミングの基礎」について
- 錯視を用いた似顔絵生成システム PICASSO について
- 3)似顔絵師システムPICASSO(〔画像通信システム研究会 画像応用研究会〕合同)
- 似顔絵師システムPICASSO : 画像通信システム画像応用
- 仮想空間における凧揚げ操作の実現
- リアルタイムCGによる凧上げの対話シミュレーションシステム
- サッカー映像からのチームワーク評価方法の検討
- サッカーシーン解析システムにおけるチームワークの定量的評価
- チームプレー分析を目的としたサッカー動画像処理システムの開発
- チームワークの定量的評価を目的としたサッカー動画像解析に関する予備的検討
- 2.映像情報メディアに期待する(映像情報メディアの時代へ)
- 派生文法に基づく日本語-ウイグル語機械翻訳 : 動詞接尾辞の変換
- 派生文法に基づく日本語-ウイグル語機械翻訳 : 動詞接尾辞の変換
- 意味表現モデルに基づいたデータベース・システム
- データベース操作の高度化に対する意味情報の表現
- 従属性に基づく関係型データベースの概念構造のフレームによる再構築
- 2Q-8 ビデオ管理システムVOMのビデオに対する索引付け
- ビデオ管理システムVOMにおけるキーワードの構造化
- ビデオ管理システムVOMのビデオ表現と編集
- スキーマ変換システムTRICSにおける関係型データベースによる概念構造の記述
- 並行プロダクションシステムConPusのアーキテクチャ
- ビデオデータに対するキーワード付けとその検索
- スキーマ変換システムTRICSにおける利用者インターフェース
- スキーマ変換システムT_における関係型データベースの概念構造構築について
- スキーマ変換システムTRICSにおける関係型データベースの概念構造構築について
- メイリング支援システムASKメイルの構造について
- メイリング支援システムASKメイルの構造について
- メイリング支援システムASKメイルにおけるシソーラス利用に関する検討
- スキーマ変換システムTRICSにおける構造変換規則について
- 道路網の階層的表現にもとづく経路探索アルゴリズムと地図情報システムへの応用
- 地図情報システムにおける略図生成機能の実現
- 天気図の符号化とその天気図データベース・システム実現への応用
- 多エージェント系自己認識論理の決定手続き : 命題論理式への変換に基づく方法
- 音声研究昔話 : 手造り研究がのこしたもの(フェロー受賞特別講演)
- 仮想空間操作による住居シミュレーションシステム
- 仮想弾性モデルを利用した物体形状の変形操作システム
- 中京大学情報科学部
- 情報の科学技術と社会 (社会と情報に関するシンポジウム)
- 多種データ形態適応型エディタの処理系
- 多種データ形態適用型エディタの実現方式
- 共通的知識による異種天気図の読み取り
- ワークステーション上でのマイクロプログラムPrologインタプリタの構成について(知識ベースとデータベースの統合化に関する研究)
- 分枝限定アルゴリズムにおける評価手続きの効率について
- 分枝限定アルゴリズムの並列化とその評価
- ハッシングの技法を用いた数式処理アルゴリズムとその擬似ブール計画法への応用
- 最小被覆問題の擬似ブ-ル計画法による解法(技術談話室)
- 準最適2分探索木の top-down 的構成アルゴリズム
- FortranによるLISP INTERPRETERの実現
- 会議支援機能をもつ電子フォーラムの試作
- 不適格表現を活用する漸進的な英日話し言葉翻訳手法
- 言い直しを用いた漸進的な英日翻訳手法
- ストリング処理用仮想計算機VC/Sとその上でのSNOBOL3の実現
- 記号処理にもとづくブール関数の数式処理システム(BALOC-3)
- FORTRAN に基づく記号処理システム(COSMOS-2)
- ブール関数の数式処理システム
- 日本語-ウイグル語機械翻訳のための動詞接尾辞に関する一考察
- 日本語-ウイグル語機械翻訳における助動詞のパラメータ化による処理
- 日本語とウイグル語の助詞の対応関係とその機械翻訳への応用
- 対談 : 第1回AIマップ「AI辺縁における諸問題」をめぐって : 1992年3月30日
- 関係インスタンスとフレームのスキーマ変換 : スキーマ解析システム
- 音声研究昔話 : 手造り研究がのこしたもの
- 日常性の中のAI(インタラクティブ・エッセイ)
- 多エージェント系自己認識論理に基づく状態継続と因果関係の表現
- 不確実情報の集合に対する知識ベース変更の意味論
- LFGと文脈状態に基づく日本語テキストの意味解析
- 原始帰納関数を実現する項書換え系の遺伝的プログラミングによる学習
- 並行プロダクションシステムConPusの知識表現について
- 融資相談システムFinance Adviserの設計と構造
- 融資相談システムFinance Adviserにおける知識ベースの構造とその利用
- Finance Adviser : 地域産業政策における融資相談システム : 知識ベース
- Finance Adviser : 地域産業政策における融資相談システム : システム構成
- 多エージェント系自己認識論理の視覚的環境 : タブロー法に基づく決定手続きの視覚化
- データベース統合化ツールIKDによるプロダクションシステムの結合について
- 知識ベース-データベース統合化ツールIKDの構造とその利用