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

• 作者: 胡敬文 钟勇 霍颖瑜 马莉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: TU-Datalog语言 分布式时态逻辑 社交网络 访问控制
• 年，卷（期）: 2017,（15）
• 页码范围: 101-105
• 页数: 5页
• 分类号: TP309
• 字数: 5146字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1703-0507

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟勇	佛山科学技术学院电子信息工程学院	46	354	9.0	17.0
2	霍颖瑜	佛山科学技术学院电子信息工程学院	19	32	4.0	4.0
3	马莉	佛山科学技术学院电子信息工程学院	24	61	4.0	6.0
4	胡敬文	佛山广播电视大学理工教研室	7	7	2.0	2.0