论文部分内容阅读
命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子。它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质。PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性。
一个向上线序的命题时态逻辑PTL
【摘 要】
：
命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子。它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质。PTL给出了一个
【机 构】
：
重庆大学贸易与行政学院
【出 处】
：
西南大学学报(社会科学版)
【发表日期】
：
2010年02期
其他文献
1绿色烧结制品是最具可持续发展和生态学价值的建筑材料之一在多种情况下，似乎一提起砖瓦厂．就代表着落后，满眼都是肮脏、尘土飞扬的场面．殊不知．通过多年墙改政策的引导和强力推
当一个企业逐步发展壮大,由一个独体公司发展成为企业集团,同时拥有一家或多家(分)子公司时,就产生了集团管控的需求。集团管控的核心是母公司和下属公司(单位)对涉及双方的
随着国内城镇化建设的进程,市域快轨车辆作为主城与卫星城间的公共交通车辆需求逐渐增加。双制式市域快轨车辆通过车载切换装置实现车辆在不同供电制式下的自由运行,解决通勤
法律经济学作为经济学帝国主义的重要表现,是用经济学的方法和理论来考察、研究法律和法律制度的形成、结构、过程、效果、效率及未来发展的学科;是法学和经济学科际整合的边
"师友互助"教学模式是山东即墨二十八中的先进教学模式,主要是将学生搭配成两人一组的形式,成绩好的带动成绩稍差的,两人合作学习。本文通过采用"师友互助"教学模式,结合自身
随着互联网技术的快速发展,催生了以P2P网贷和众筹模式等作为代表的互联网金融模式,为我国科技型中小企业的融资困境带来了一丝曙光。作为我国国民经济的重要组成部分的中小
近年来,我国科技创新得到了良好的发展,其成为进一步推动我国经济与社会发展的重要力量,促进了我国传统服务业全面升级,高端服务业呈现出集聚化发展的新局面。本文基于科技创
公共服务市场化是政府引入市场机制,发挥市场配置资源的优势,为公众提供更多更好的公共服务。公共服务市场化取得了一定成绩,但是也出现了一些问题,进一步推进面临投资不足、