论文部分内容阅读
讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.
基于时态逻辑的知识表示研究
【摘 要】
：
讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结
【机 构】
：
安徽大学计算智能与信号处理部重点实验室,安徽大学计算机科学与工程系
【出 处】
：
安徽大学学报(自然科学版)
【发表日期】
：
2002年2期
其他文献
"无电不行",电源可说是电子产品的生命之源;早期的电子产品电压多是固定的,只要事先计算好即可;但如今由于电子产品的复杂性日增,设计人员除了需应对空间越来越小、功率越来
作为常见的固态发光材料之一,稀土离子激活的发光材料如今已被广泛应用于白光LED、上转换发光、长余辉以及量子剪裁等领域。固溶体发光材料的出现为寻找新型功能材料提供了更
采用高效液相色谱法,在直链淀粉-三（3,5-二甲基苯基氨基甲酸酯）（Sino-Chiral AD）手性柱上,对喹禾灵外消旋体进行拆分,考察流动相正己烷中,不同的醇类添加剂、醇类添加剂浓度及
本文对 2 98名退休人员做了问卷研究 ,其结果表明 :1.退休人员的应付方式受文化程度影响 ,高文化程度的退休人员比中、低文化程度的退休人员更多采用面对与探索的应付方式 ,
利用XML数据岛技术实现了对数据的单记录绑定,利用XML DSO技术实现了对数据的表格绑定,并利用JavaScript给出了搜索XML数据库中特定记录的方法,重点讨论了Sun仍在开发中的一
著名功率管理厂商国际整流器公司(International Rectifie r,简称IR)发布了一组电压为75V和100V,专用于AC-DC同步整流和Oring电路的MOSFET.这批新器件具备业界前所未有的超低
采用时间演化算符方法,研究Λ-型三能级原子与奇偶纠缠相干态光场共振相互作用的辐射谱.给出了辐射谱一般公式.结果表明：不论下能级简并与否,奇偶纠缠相干态光场平均光子数很