您的位置：网站首页 > 《中文科技期刊数据库》 > 工程技术 > 自动化计算机 > 自动化理论 > 摘要
模态逻辑公理的粗糙真语义分析
闫林 张聪品 河南师范大学计算机与信息技术学院智能信息处理重点实验室 新乡453007
|
摘要：粗糙真是Pawlak粗糙逻辑的5个逻辑值之一，介于真与假之间．通过对论域U^n上所有近似空间相互关系的讨论，构造了一类代数结构——格，这类格形成了特殊的克里普克语义模型．其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析．这种分析不限于真与假的二值讨论，而主要对粗糙真进行重点研究．最终的结果表明模态逻辑形式系统的公理在这类特殊语义模型中基本部粗糙真有效．从而也得到了利用某些公理进行粗糙真形式推理的可靠性． | |
|---|---|---|
| 格式：PDF 页数：6 页 页码范围：1999-2004页 | ||
学科分类：
|
||
| 关 键 词：粗糙真 语义 粗糙真有效 粗糙真公理 | ||
| 来源期刊：《计算机研究与发展》2006年 第11期 | ||
| 收录数据库：中文科技期刊数据库 | ||
|
||
