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を検出し,ソースプログラムを起こりうる可能な確定節の集合へと変換する.この変換された確定節の集合に仮説推論の枠組みを適用することによって,上近似と下近似計算の手続きを実現している.また,処理系が同じ手続きを限りなく繰り返す,いわゆる無限ループの検出・回避手続きも実現している.さらに,本処理系を応用して,リ-グ戦の中間結果に基づく最終順位の把握,戦略の決定支援システムを実現している.上記の成果をまとめたものを研究発表欄に示す.今回,近似機能を有する論理プログラムのための処理系の実現を図った.ファジイ理論同様ラフ集合理論にも多岐にわたる研究分野が派生し,ラフとファジイの融合による新たなソフトコンピューティングも重要な研究テーマと考える.

Youdaoplaceholder0 set (Rough Set) theory に お け る, 徴 を grasp し, logical プ ロ グ ラ ミ ン グ と ラ フ Set theory と の fusion を refers し を て research into め た. ラ フ Set theory で は, with え ら れ る basic intelligence が incomplete で あ り coarse い occasions に お け る logical system, inference rule, approximation, knowledge acquisition, デ ー タ parsing etc toki に わ た が る research into め ら れ て Youdaoplaceholder0 る. Youdaoplaceholder6 れ みである,ファジ ファジ theory と, と difference なる, new たな, incomplete information processing, 枠 group みである. I 々 は に, attribute numerical の incompleteness か ら natural に definition で き る と lower approximation concepts on を logical プ ロ グ ラ ム に take り 込 み, means that the theory of の expand と 処 principle is の be presently を into め た. This department は 処 and ま ず ソ ー ス プ ロ グ ラ ム の in particular の フ ァ ン ク タ SET を 検 し, ソ ー ス プ ロ グ ラ ム を up こ り う る section could be sure な の collection へ と variations in す る. こ の variations in さ れ た section determine の collection に 仮 said inference の 枠 group み を applicable す る こ と に よ っ て, approximate と under approximate calculation の hand 続 き を be presently し て い る. ま が た, 処 manage department with じ hand 続 き を limit り な く Qiao す り return, い わ ゆ る infinite ル ー プ の 検 out, avoid hand 続 き も be presently し て い る. さ ら に, this 処 principle is を 応 with し て, リ - グ 戦 の intermediate results に base づ く alignment の grasp, eventually 戦 slightly の decision support シ ス テ ム を be presently し て い る. Written の results を ま と め た も の を research 発 table column に す. Today, the approximate function を have す る logical プ ロ グ ラ ム の た め の 処 principle is の be presently を 図 っ た. フ ァ ジ イ theory with others ラ フ set theory に も many gaps に わ た eset が derived し る study, ラ フ と フ ァ ジ イ の fusion に よ る new た な ソ フ ト コ ン ピ ュ ー テ ィ ン グ も な important research Youdaoplaceholder0 テ テ と と take える.

项目成果

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)