子结构逻辑相关论文
1990年,Kosta Do?en首先提出“子结构逻辑”一词,子结构逻辑的特点是:从结构规则和联结词规则两个层面对逻辑系统进行分析研究,这......
本文对不确定性语义的时态查询问题进行研究,主要目的为解决时态查询及其演算在表达能力与计算复杂性之间的两难性平衡优化问题。......
逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运......
为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型.基于构......
上个世纪30年代,卡尔纳普提出了著名的"容忍原则",是早期最具影响力的逻辑多元论思想。对于卡尔纳普来说,逻辑体现出多元性是因为......