权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

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

基本信息

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

项目摘要

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

This year, the research results of this project are based on the basic knowledge, visualization, basic translation, calculation and knowledge support methods. I propose a method for visualizing the calculation of data in terms of (1) visualization,(2) visualization of calculation,(3) visualization of data, and (4) visualization of data information. The following methods are used to illustrate the logic and methodology. 1. Multi-level knowledge theory and multi-level knowledge theory are used to analyze and analyze their own knowledge. Inference is possible. Non-uniform logic is possible. Hierarchical knowledge is possible. Causality is possible. A lot of knowledge, reasoning, decision making, etc. The basic structure of the wood is calculated according to the method of visualization. In this study, the problem points of efficiency in visualization were identified and the efficiency methods were developed. 2. The information terminal is used for mobile environment construction, centralized management terminal is used for terminal existence, and self-discipline decentralized construction is used. This action is based on the construction and confirmation of the visual environment. Computational visualization and numerical visualization of information are available for detailed analysis. The research meeting will be held to discuss and exchange views.