广东省科技攻关计划(07B010200052)

作品数：6被引量：22H指数：2
导出分析报告
相关作者：汤庸刘冬宁张文生李建国方文崇更多>>
相关机构：中山大学华南师范大学东莞理工学院广东工业大学更多>>
相关期刊：《计算机应用研究》《逻辑学研究》《智能系统学报》《计算机科学》更多>>
相关主题：并发范畴语法感知技术感知社交网络更多>>
相关领域：自动化与计算机技术哲学宗教更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
智能主体的信念认知时态子结构逻辑模型被引量：2
《计算机应用研究》2010年第7期2448-2451,共4页刘冬宁 汤庸 
国家自然科学基金资助项目(60673135;60373081;60736020);国家教育部新世纪优秀人才支持计划资助项目(NCET-04-0805);广东省自然科学基金资助项目(7003721);广东省科技攻关项目(07B010200052);广州市科技计划资助项目(07Z3-D3191)
智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者...
关键词：智能主体 信念 自省 他省 认知时态子结构逻辑 
基于角色和任务的CSCW系统访问控制技术研究被引量：8
《计算机科学》2010年第7期130-133,共4页朱君 汤庸 
国家自然科学基金(60673135);重点项目(60736020);广东省自然科学基金(7003721);广东省科技攻关(07B010200052);广州市科技计划(07Z3-D3191);东莞市科技计划项目(2007108101020)资助
针对现有方法不能很好地满足CSCW系统对访问控制的需求,提出基于角色和任务的CSCW系统访问控制模型RTBAC(Roleand Task-Based Access Model)。该模型形式化地描述了用户、角色、任务、权限、工作流等要素及其相互间的关系,通过分配和取...
关键词：CSCW 访问控制 角色 任务 
社交网络中感知技术的研究与应用被引量：9
《计算机科学》2009年第11期152-156,共5页李建国 汤庸 姚良超 张文生 方文崇 
国家自然科学基金(60673135);国家自然科学基金重点项目(60736020);广东省自然科学基金(7003721);广东省科技攻关(07B010200052);广州市科技计划资助
社交网络已成为互联网上最热门的话题和网络应用亮点,它让用户组织自己的网络链接,维护各种社会关系。社交网络重要的是对个人信息的维护,对网络内他人信息的感知;在社交网络环境下,用户的信息感知程度普遍较低。探索了是否可有效调整C...
关键词：社交网络 学术社区 关系 感知 
时态查询语言的并发Lambek演算及范畴语法被引量：3
《智能系统学报》2009年第3期245-250,共6页刘冬宁 汤庸 黄昌勤 汤娜 
国家自然科学基金资助项目(60673135;60373081);国家自然科学基金重点资助项目(60736020);广东省自然科学基金资助项目(7003721);广东省科技攻关资助项目(07B010200052);广州市科技计划资助项目(07Z3-D3191)
时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以...
关键词：时态查询语言 句法分析 并发的Lambek演算 范畴语法 
并发Lambek演算在时态查询中的语义转换
《中山大学学报（自然科学版）》2009年第1期137-140,共4页刘冬宁 汤庸 
国家自然基金资助项目(60673135;60373081);国家自然科学资金重点资助项目(60736020);广东省自然科学基金资助项目(7003721);广东省科技攻关资助项目(07B010200052);广州市科技计划资助(07Z3-D3191)
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式...
关键词：时态查询 并发的Lambek演算 语义转换 标号自然演绎系统 
自然语言时态句型的模态Lambek演算
《逻辑学研究》2008年第3期51-65,共15页刘冬宁 汤庸 
教育部哲学社会科学研究重大课题攻关项目(04JZD006);国家自然科学基金(60673135;60373081);国家自然科学基金重点项目(60736020);广东省自然科学基金(7003721);广东省科技攻关项目(07B010200052);广州市科技计划(07Z3-D3191)资助。
1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展。然而在语法分析方面,Lambek演算与范畴语法的结合仍存在不足,就传统的Lambek演算而言,由于其过于刚性,因此所能处理的语法问题...
关键词：模态Lambek演算 时态句型 范畴语法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部