可更新Datalog的分布式时态逻辑扩展及应用

摘要：

针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言.该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境.通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例.

关键词：TU-Datalog语言、分布式时态逻辑、社交网络、访问控制

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61373015;广东省自然科学基金2015A030313638;广东省前沿与关键技术创新专项资金2016B010113004;佛山科学技术学院科研项目

在线出版日期：2017-08-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：101-105