论文部分内容阅读
文中对理性认知主体的知识和信令的特征进行了分析。利用算子Ｋ和Ｂ构造认知逻辑的形式系统ＳＥ和语义模型Ｍ，证明了ＳＥ关于Ｍ的可靠性和完备性。
认知逻辑系统SE及其语义模型
【摘 要】
：
文中对理性认知主体的知识和信令的特征进行了分析。利用算子Ｋ和Ｂ构造认知逻辑的形式系统ＳＥ和语义模型Ｍ，证明了ＳＥ关于Ｍ的可靠性和完备性。
【机 构】
：
青海大学社会科学系
【出 处】
：
青海大学学报：自然科学版
【发表日期】
：
1998年6期
其他文献
文中在回顾计算机辅助设计(简称CAD)的发展历史和分折现状的基础上,展望了未来CAD的发展,着重论述了CAD应用软件的发展趋势.
<正> 1 前言2002年(集团)公司产量大幅度提高,废钢需求量加大,金材公司生产节奏也进一步加快。废钢的供应和坯料的进出是金材公司的主要任务,安全与优质的废钢是转炉炼钢提高
根据建设部颁发的《建筑安装工程质量评定标准》（简称《标准》），对建安工程质量建立模糊二有综合评判的数学模型；模型以贴近度最大的权向量Ａ来评定建安工程质量评定等级的方法并建
目的探讨泌尿外科中住院患者在住院期间感染的危险因素,并对调查结果进行研究,了解院内感染发生的特点,为有效防控提供依据。方法对泌尿外科中住院患者住院期间感染情况进行
对青海孟达山区野生观赏植物资源进行实地调查，统计分析共有１２０种植物具有观赏价值。其中有不少为西北地区少见的寡型属与单种属。根据植物性质及其用途，对孟达山区野生观赏植物进
介绍了伏安法在有生物学意义的有机物质和生物多聚体的分析测试中的应用，其特点为：被测组分消耗量小；精确性和灵敏度高；在界面的研究中易于建立对于生物多聚体的构象和结构行为极
<正> 1 前言1999年2月～3月间,转炉用沥青结合白云石补炉料经常出现塌料、翻料、补不上或侵蚀快等异常损毁状况,造成了包括'2.14'重大伤人事故在内的多起安全事故,严重
阐述了涡旋运动的组成与结构，并就涡旋运动在水的混凝土中的作用以及在实践中的应用进行了探讨。