基于粗集理论的关系运算研究
粗集理论是近年来知识表示、人工智能等领域的重要研究方向之一。该文首先将关系与关系之间的运算引申到集合与关系之间，定义了集合与关系之间的复合运算、左除运算()、右除运算()，并通过粗集理论对右除和左除运算进行了分析，并以模态逻辑中不同模型的可达关系为例，说明其具体应用。
粗集 关系运算 模态逻辑
商琳 陈世福 李永礼
南京大学计算机软件新技术国家重点实验室(南京) 香港理工大学土地测量与地理资讯学系(香港)
国内会议
南京
中文
182～187
2000-11-01（万方平台首次上网日期，不代表论文的发表时间）