• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

様相概念を用いる知識のモジュール化とその処理に関する研究

研究課題

研究課題/領域番号 05213203
研究種目

重点領域研究

配分区分補助金
研究機関北陸先端科学技術大学院大学

研究代表者

米崎 直樹  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (00126286)

研究期間 (年度) 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
1,700千円 (直接経費: 1,700千円)
1993年度: 1,700千円 (直接経費: 1,700千円)
キーワード非標準論理 / 時相論理 / 様相論理 / 線形論理 / 仕様記述 / リアクティブシステム / 実現可能性 / ソフトウェアプロセス
研究概要

1.非標準論理体系の一般的証明方法とその効率化に関する研究
一般的な様相論理式に関して、様相記号列の統一化を用いる方法をもとに自己代入を許すことにより、証明を圧縮する方法を与えた。この考え方は、Until様相オペレータを持つ時相論理体系にも拡張され、非節形式の解証明法として形式化した。次に、線形論理の自動証明向きの証明系を構成し、その体系が健全かつ完全なものであることを示した上で、実現のための手続きやその効率化の手法を与えた。
2.時相論理の拡張と検証方式に関する研究
要求回数を考慮した公平性を表現可能な時間論理を提案し、その充足可能性問題が決定可能であることを示した。また、仕様の段階的追加に応じて充足可能性のチェックを差分的に行なう、新しいタブローを提案した。
3.リアクティブシステムの実現に関する研究
時相論理で記述されたリアクティブシステムの実現不能な仕様に対して、クラス分けを行いそのそれぞれの包含関係を明らかにすると同時に、その判定アルゴリズムを与えた。また強充足可能でないクラスの仕様について、どのような制約を入力イベント列に加えれば強充足可能になるかに関する、最弱の制約を式の形で求める方法を与えた。これはタブローから、、最弱の制約を構成する一般的方法として実現された。
4.ソフトウェアプロセスに関する研究
Task,Agent,Processを中心とする新しいプロセスモデル(TAP)を与えた。そのそれぞれのソートを持つオブジェクトにクラス-インスタンスの階層、部分-全体の階層が存在し、またプロセスには、計画やプロセス変更を行うメタプロセスを含めることが可能であり、プロセスのインスタンスであるアクティビティーには、その実行主体であるエージェントのインスタンスと使用されるツールのインスタンスが必ず付随する。

報告書

(1件)
  • 1993 実績報告書
  • 研究成果

    (8件)

すべて その他

すべて 文献書誌 (8件)

  • [文献書誌] 端山毅: "様相記号統一化による様相論理定理証明器における自己代入の利用" コンピュータソフトウェア. Vol.10,No.3. 68-88 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 川村美代子: "Linear Logicの自動証明法" 人工知能学会第6回全国大会論文集. 95-98 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Noriaki Yoshiura: "More expressive Temporal Logic for Specification" 5th International Conference on Software Engineering and Knowledge Engineering. 363-366 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 友石正彦: "動作仕様の差分的無矛盾性判定" 日本ソフトウェア科学会第10回全国大会. No.7. 217-220 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] 田中健一郎: "時相論理によるリアクティブシステム仕様からの要求制約式の導出" 日本ソフトウェア科学会第10回全国大会. 253-256 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Naoki Yonezaki: "TAP:A New model for Software process Tasks-Agents-Products" 5th International Conference on Software Engineering and Knowledge Engineering. 346-360 (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Naoki Yonezaki: "IOS press" Advances in Information Modeling and Knowledge Bases ページ数16(分担), (1993)

    • 関連する報告書
      1993 実績報告書
  • [文献書誌] Ryousei Mori: "IOS press" Advances in Information Modeling and Knowledge Bases (分担), 407-424 (1993)

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi