時制論理における時間軸の抽出 : 論理プログラミングとプロセス固有時間
スポンサーリンク
概要
- 論文の詳細を見る
時制論理は,オペレーティング・システムやリアルタイム制御システムなど,時間の取り扱いが本質的であるような分野において有用である.時間軸は連続ではなく,離散的な時刻における状態の列として表わされる.ある処理内容に対して本質的な事象が起こった時刻だけを取り出して新しい時間軸を作れば,それはその処理を行うプロセス固有の時間軸であると考えることができる.この抽出された時間軸に基づけば,プロセスをより簡潔に記述できる.抽出された時間軸上で解釈される論理式が与えられた時,元の時間軸上で解釈される同値な論理式が存在する.また,この時間軸の抽出をTemporal Prologに適用すると,プログラムを各々固有の時間軸上で動作するいくつかの部分に分解することができる.論理式の場合と同様,抽出された時間軸上のプログラムを,元の時間軸上のプログラムへ変換することができ,この変換はモデル論的意味を保存する.
- 日本ソフトウェア科学会の論文
- 1989-04-14
著者
関連論文
- ViPPER : ロボットを使用した初等教育向けビジュアルプログラミング
- コンパイル時に織り込み位置を決定する動的アスペクト指向プログラミング(開発環境)
- Litesに対する並列分散データストリーム機能拡張の設計
- Litesに対する並列分散ファイル入出力機能拡張の設計
- Litesにおける並列分散処理機能の設計
- 3W-7 多面分類法とUMLを用いたオブジェクト群検索システム
- 1Q-7 内部データの視覚化によるプログラミング支援ツール(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
- GMWウィンドウ・システム上のアプリケーション構築について
- 写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 写真からのオブジェクト抽出を利用した物品貸し借りプラットフォームの提案(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- 4P-2 デジタルアーカイブにおける時空間情報の提示手法(情報可視化,学生セッション,データベースとメディア)
- 5M-7 経路探索アルゴリズムを利用した集合場所探索アルゴリズム(アルゴリズム,学生セッション,ソフトウェア科学・工学)
- 5ZE-3 Webを用いた参加型プレゼンテーション(会議支援,学生セッション,インターフェース)
- 5Y-3 集中制御可能な分散型トレーディングシステム(分散システム・アプリケーション,学生セッション,ネットワーク)
- 携帯電話の測位機能を用いた有意位置の学習(位置検出技術, ユビキタスITSとモバイルアプリケーション)
- コンテクスト情報と操作履歴の関連付けによる操作予測システムの提案(位置情報・コンテクスト依存サービス)
- 個人の知識に応じた教材の自動構成システムの実現
- IT革命雑感
- Keio-MMPにおけるUI開発環境の設計
- 優先度付き制約論理型プログラミング (制約論理プログラミング)
- 時制論理における時間軸の抽出 : 論理プログラミングとプロセス固有時間
- 2nd IEEE Conference on Computer Workstations
- Time-Extraction for Temporal Logic : Logic Programming and Local Process Time
- 情報教育と情報入試:12.グローバルな学際人材のための情報科入試