公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

智能主体的信念认知时态子结构逻辑模型被引量：2: 2010年; 智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BD I理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得"双省"信念的方式,针对其建立了相应的逻辑系统BSoET。; 刘冬宁汤庸; 关键词：智能主体信念自省

时态查询语言的并发Lambek演算及范畴语法被引量：3: 2009年; 时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善.; 刘冬宁汤庸黄昌勤汤娜; 关键词：时态查询语言句法分析范畴语法

基于角色和任务的CSCW系统访问控制技术研究被引量：8: 2010年; 针对现有方法不能很好地满足CSCW系统对访问控制的需求,提出基于角色和任务的CSCW系统访问控制模型RTBAC(Roleand Task-Based Access Model)。该模型形式化地描述了用户、角色、任务、权限、工作流等要素及其相互间的关系,通过分配和取消角色来完成对用户权限的授予和取消,并提供了角色间偏序继承和指派关系定义,通过引入任务概念、任务类型划分及角色和任务之间的关系定义,实现了依据任务和任务状态不同对权限进行动态管理。该模型是针对CSCW系统多用户、动态、协作等特性提出的,能较好地满足CSCW系统对访问控制的需求。; 朱君汤庸; 关键词：CSCW 访问控制角色

自然语言时态句型的模态Lambek演算: 2008年; 1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语言学、计算机科学等学界的纵深和交叉发展。然而在语法分析方面,Lambek演算与范畴语法的结合仍存在不足,就传统的Lambek演算而言,由于其过于刚性,因此所能处理的语法问题还有限。本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,L_(TM)系统)。L_(TM)系统在相应关系框架上是可靠的和完全的,同时在证明论方面也具有良好的性质,其不仅具有切割消除性,还具有判定性。鉴于Lambek演算与Montague内涵语义理论的对应衔接,使得语法和语义的衔接采用了同样的文法(Lambek演算),这为计算机界研发自然语言的编译工具提供了有力支撑。由此,我们希望所设计出相应的L_(TM)演算系统,也终将能推动计算机编译系统对时态问题进行处理。; 刘冬宁汤庸; 关键词：范畴语法

社交网络中感知技术的研究与应用被引量：10: 2009年; 社交网络已成为互联网上最热门的话题和网络应用亮点,它让用户组织自己的网络链接,维护各种社会关系。社交网络重要的是对个人信息的维护,对网络内他人信息的感知;在社交网络环境下,用户的信息感知程度普遍较低。探索了是否可有效调整CSCW领域中的感知概念以应用到社会网络领域。分析了感知的概念和内涵,对比了CSCW领域的群组与社交网络中的社区,研究了社交网络感知信息的形成过程,从社交网络环境和群组两个方面讨论了感知技术的应用,改善了社交网络中的通信,增强了用户之间的交互性。最后,实现了面向科研工作者的社交网络——学术社区,在学术社区中应用感知技术,帮助研究者发现科研热点或某一领域的研究群体,促进学术交流和创新。; 李建国汤庸姚良超张文生方文崇; 关键词：社交网络感知

并发Lambek演算在时态查询中的语义转换: 2009年; 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lam-bek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。; 刘冬宁汤庸; 关键词：时态查询语义转换

全选清除导出

共1页<1>

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