視覚化に基づく項書換え計算モデルの知的解析支援環境に関する研究

基于可视化的术语重写计算模型智能分析支撑环境研究

基本信息

批准号：
09780261
负责人：
河口信夫
金额：
$ 1.22万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

本年度は,これまでの研究成果に基づき、視覚化に基づく項書換え計算モデルの知的支援手法の様々な応用を行なった。我々がすでに提案した項書換え計算モデルの視覚化手法としては、(1)項の視覚化,(2)計算の視覚化,(3)インタフェースの視覚化,(4)数値情報の視覚化、が挙げられる。これらの手法が以下に示す論理や方法論へも応用できることを示した。1. 多エージェント自己認識論理への応用多エージェント自己認識論理は、自分自身の知識についてのメタな推論を可能にする非単調論理であり、階層的知識や因果関係等を表現することが可能である。多エージェント自己認識論理の決定手続きは、タブロー法、および導出原理が提案されている。これらはいずれも木構造を基本とした計算であるため、項の視覚化と同様の手法で視覚化が可能である。本研究では、さらに視覚化を用いて効率の問題点を発見し、決定手続きの効率化手法を開発した。2. モバイルアドホックネットワークへの応用モバイルアドホックネットワークは、情報端末が移動環境下で動的に構築するネットワークであり、集中管理する端末が存在せず、自律分散アルゴリズムによって構築される。この動作はグラフ上に表示することができるため、シミュレーションのための視覚的環境を構築し、動作の確認を行った。計算の視覚化や数値情報の視覚化を用いることにより、より詳細な分析が可能になることが期待できる。これらの研究は、様々な研究集会で発表され、活発な意見交換を行なった。

今年，我们在前期研究成果的基础上，运用了多种智力支持方法，对基于可视化的术语重写计算模型进行了研究。我们已经提出的术语重写计算模型的可视化方法包括（1）术语可视化，（2）计算可视化，（3）界面可视化，以及（4）数值信息可视化。我们表明这些方法也可以应用于下面所示的逻辑和方法。 1.在多智能体自我意识逻辑中的应用多智能体自我意识逻辑是一种能够对自身知识进行元推理的非单调逻辑，能够表达层次知识、因果关系等。提出了表格方法和推导原理作为多智能体自我识别逻辑的决策程序。由于这些都是基于树结构的计算，因此可以使用与可视化术语相同的方法来可视化它们。在这项研究中，我们还使用可视化来发现效率问题，并开发了一种提高决策程序效率的方法。 2、在移动自组织网络中的应用移动自组织网络是由信息终端在移动环境中动态构建的网络，不存在集中管理的终端，采用自主分布式算法构建网络。由于这种行为可以显示在图表上，因此我们构建了一个可视化环境进行模拟并确认了该行为。预计通过使用计算和数值信息的可视化，更详细的分析将成为可能。这些研究成果在各种研究会议上进行了展示，并进行了热烈的意见交流。