物理法則に基づいた定性推論
スポンサーリンク
概要
- 論文の詳細を見る
従来のエキスパート・システムは経験的な知識を使っており,深い知識を使っていない.そのため,問題を解くための経験的な知識をエキスパート・システムが持っていない場合には,エキスパート・システムはその問題を全く解くことができなくなってしまう.一方,深い知識を使った推論の1つに定性推論がある.この論文では物理法則に対応した知識を使って,(1)現在の時刻での物の関係の把握,(2)次の時刻の状態の推測,を行う定性推論システムQupras(Qualitative physical reasoning System)について述べる.Quprasは,物理の教科書に現れるような物理法則に対応する知識以外に,物理の世界を構成している物の知識を使って推論を行う.Quprasは,初期の事実が与えられると,系を記述する連立微分方程式を作りながら,系を構成している物を見つけ,物の間で成り立っている物理法則を見つける.現在の時刻での物の関係がわかったならば,変化している物理量を見つけ,その値の次の時刻での値を推測する.Quprasの推論は定性推論に基づいているが,物理法則に対応する式や物理量は定性的以外に定量的にも取り扱われる.これは,式や物理量の値が定量的にわかっている場合には,定量的に取り扱った方が推論のあいまいさが減少するからである.
- 一般社団法人情報処理学会の論文
- 1988-07-15
著者
-
古川 康一
(財)新世代コンピュータ技術開発機構
-
古川 康一
Icot
-
古川 康一
新世代コンピュータ技術開発機構
-
大木 優
(財)新世代コンピュータ技術開発機構
-
藤井 裕一
(財)新世代コンピュータ技術開発機構
-
大木 優
新世代コンピュータ技術開発機構
関連論文
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- ICOT-JIPDEC AIセンター編 : 人工知能の技術と利用,財団法人日本情報処理開発協会 (1989).
- 非単調推論
- 融合の逆操作
- 第五世代コンピュータ・プロジェクトの概観 (「第五世代コンピュータ」)
- 展開・たたみ込みプログラム変換
- 心をもつ機械 : ミンスキーと人工知能, J. Bernstein著, 米澤明憲, 米澤美緒訳, 岩波書店, 1987.
- 物理法則に基づいた定性推論
- 第五世代コンピュータのソフトウェア
- Third International Conference on Logic Prgrammingに出席して
- 仮説選定機構の一実現法
- 物理法則に基づいた定性的推論
- 学習システム研究の現状と課題 (学習)
- 論理型プログラミング言語Prologによる知識ベース管理システム
- 21・2 計算機システム : 21. システム一般(機械工学年鑑)
- FGCS'84開催報告
- Prolog 総論 (プログラミング言語 Prolog)
- 2nd International Logic Programming Conferenceに出席して
- 21・2 計算機システム(21.システム一般,機械工学年鑑)
- Mandala : A unified system for modular programming and knowledge representation on Concurrent Prolog
- ソフトウェア科学会第4回大会
- Michael R. Genesereth and Nils J. Nilsson:Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc. (1987).
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 元岡 達, 淵 一博 編, "New Generation Computing : An International Journal on Fifth Generation Computers", オーム社, Springer-Verlag, B5 変形判, (年 \27,500)
- 対象系の分割を用いた定性推論
- 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 定性推論とその応用(知識工学と生産技術)
- 第4回論理プログラミング国際会議(ICLP)に出席して
- 知識工学と第5世代コンピュータ(知識工学)
- 日本における第5世代コンピュータ・プロジェクト全体像
- 論理型計算モデル (非手続き型プログラミングのための計算モデル)
- ICOT
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- 第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)