| 研究概要 |
区間論理や,時制論理を含む様相論理が,コンピュ-タ・サイエンスの中で最も困難な課題であるソフトウェアの仕様や検正,自動生成などの領域で,いかに応用されるかを研究した.加えて,知識システムや,ハイパ-テキストなど,レベルの高いユ-ザ・インタ-フェ-スを体系的に,記述するための,多次元,多世界様相論理を導入した.この応用として病療診断治療システムを考案した.従来,人工知能の医療への応用は,エキスパ-トシステムによる自動診断に重点がおかれていたが,ここでは,医者が,診断や治療のために,知識ベ-スにアクセスしつつ,対話的,視覚的に診断や検査,投薬のプロセスをワ-クステ-ション上で,サポ-トする.このようなシステムを形式化するために様相論理が有意義であることを示した.これは医療のみならず,知識システムと高レベルインタ-フェイスシステムの統一的形式化に一般的に応用される.
一方,本研究グル-プが開発中の分散オペレ-ティング・システムTOMのカ-ネルに様相論理による形式的仕様記述を試みた.分散システムのモデル化に役立つ形式的体系として,区間論理のディビエ-ションを,設計し,カ-ネルの必要な外部インタ-フェイス機能の記述を試みた.この仕事を検討することにより,いわゆる,ハ-ド・リアル・システムをいかに設計すべきかに重要な示唆が与えられることを指適できた.
将来への課題として,UIMS(ユ-ザ・マネ-ジメント・システム)やマルチ・メジア・システムへの応用が考えられる.
|
