Rough Set理論による論理プログラムの枠組みとその応用

基于粗糙集理论的逻辑程序框架及其应用

• 批准号: 07780338
• 负责人: 酒井 浩
• 金额: $ 0.58万
• 依托单位: Kyushu Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780338/
• 关键词: 論理プログラム; Prolog言語; 属性値; 不完全情報; 上近似; 下近似; 意志決定支援

ラフ集合(Rough Set)理論における特徴を把握し,論理プログラミングとラフ集合理論との融合を目指して研究を進めた.ラフ集合理論では,与えられる基本情報が不完全であり粗い場合における論理体系,推論法則,近似,知識獲得,データ解析等多岐にわたる研究が進められている.これは,ファジイ理論とは異なる新たな不完全情報処理の枠組みである.我々は特に,属性値の不完全性から自然に定義できる上近似と下近似概念を論理プログラムに取り込み,意味論の展開と処理系の実現を進めた.本処理系は、まずソースプログラム中の特定のファンクタSETを検出し,ソースプログラムを起こりうる可能な確定節の集合へと変換する.この変換された確定節の集合に仮説推論の枠組みを適用することによって,上近似と下近似計算の手続きを実現している.また,処理系が同じ手続きを限りなく繰り返す,いわゆる無限ループの検出・回避手続きも実現している.さらに,本処理系を応用して,リ-グ戦の中間結果に基づく最終順位の把握,戦略の決定支援システムを実現している.上記の成果をまとめたものを研究発表欄に示す.今回,近似機能を有する論理プログラムのための処理系の実現を図った.ファジイ理論同様ラフ集合理論にも多岐にわたる研究分野が派生し,ラフとファジイの融合による新たなソフトコンピューティングも重要な研究テーマと考える.

A study on the characteristics of Rough Set theory is carried out. Set theory is based on incomplete basic information, logical system, inference rules, approximation, knowledge acquisition, analysis, etc. The theory of incomplete information processing is different. In this paper, we discuss the incompleteness of attribute value, the definition of nature, the concept of upper approximation and lower approximation, the logical choice, the development of meaning theory and the realization of processing system. This process is to identify the specific node SET in the list of possible node sets in the list of possible node sets. This transformation determines the set of nodes, the set of inference, and the set of methods for calculating upper approximation and lower approximation. The processing system is the same as the manual control system, and the automatic control system is used to control the automatic control system. In addition, this processing system is used to determine the final order of the intermediate results, and to determine the support system. The results of the study are shown in the table above. Now, approximate functions are available. Logic and processing systems are implemented. The theory of the same set is divided into two parts: the first part is derived from the second part, and the third part is derived from the third part.

项目成果

H.Sakai and A.Okuma: "Applications of Logic Programs with Functor Set to Automated Problem Solving under Uncertainty" Proc.IEA-AIE′96,Gordon and Breach Science Publisher. (to appear). (1996)

H.Sakai 和 A.Okuma：“应用函子集在不确定性下自动解决问题”Proc.IEA-AIE96，Gordon 和 Breach Science 出版社（1996 年）。

H.Sakai and A.Ishiodori: "A Decision Support System for Tactics and Reasoning Final Ranking Based on an Interim Result of a League Match" Proc.3rd Int′l.Conf.on Decision Support Systems. 209-214 (1995)

H.Sakai 和 A.Ishiodori：“基于联赛临时结果的战术和推理最终排名的决策支持系统”Proc.3rd Intl.Conf.on 决策支持系统。

H.Sakai and A.Okuma: "On a Variational Prolog Interpreter as a Tool for Expert Systems Managing Incomplete Attribute Values" Critical Technology,Cognizant Communication Corp.1217-1224 (1996)

H.Sakai 和 A.Okuma：“关于变分 Prolog 解释器作为管理不完整属性值的专家系统的工具”关键技术，Cognizant Communication Corp.1217-1224 (1996)