Situation Calculus の非標準モデルについて
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we propose a new method to deal with continuously varying quantity in the situation calculus based on the concept of the nonstandard analysis. The essential point of the method is to devise a new model called nonstandard situation calculus, which is an interpretation of the situation calculus in the set of hyperreals. This nonstandard model allows discrete but uncountable (hyperfinite) state transition, so that we can describe and reason about the continuous dynamics which are usually treated with differential equations. In this enlarged perspective of the nonstandard situation calculus, we discuss about an infinitesimal action, infinite plan and an abnormality theory for the temporal prediction based on the differentiability.
- 社団法人 人工知能学会の論文
- 2002-11-01
著者
関連論文
- C-004 組み合わせ論理回路の自動修正について(C.アーキテクチャ・ハードウェア)
- A-3-1 組み合せ論理回路における形式的検証修正について(A-3. VLSI設計技術)
- 2B-3 Booleanモデルによるモデルベース診断(数理モデル化と問題解決,一般セッション,ソフトウェア科学・工学)
- 非標準モデルに基づくハイブリッドシステムの記述と推論について
- D-8-13 超実数を用いたハイブリッドシステムのシミュレーション(D-8.人工知能と知識処理,一般講演)
- Situation Calculusの非標準モデルに基づくHybrid Systemの取り扱いについて
- 非標準解析に基づくハイブリッドシステムの推論系について(「日本文化と知識処理」及び一般)
- C-022 ブレーキシステムのモデルベース診断(ハードウェア・アーキテクチャ,一般論文)
- オンボード診断のための専用ハードウェアとその設計手法について
- 信念変更の線形表現について
- モデルベース診断に基づく On-Board 診断の一方法
- 信念変更の線形表現について
- Situation Calculus の非標準モデルについて
- 設計誤り問題に対する形式的検証診断の方法について
- 設計誤り問題に対する形式的検証診断の方法について
- 順序回路の縮退故障に関するモデルベース診断
- 順序回路の縮退故障に関するモデルベース診断
- 3J-2 Synchronous Boolean Networkのモデルベース診断
- 稠密な時間構造の上のSituation Calculusについて
- 多エージェントにおける共有信念の構造
- 様相論理KD45に対するBDD表現
- 準共有知識空間 : 共有知識の一つのモデル
- 時間的推論のための構成的論理IDL
- 多エージェントに於ける共有知識モデルについて