排序方式: 共有17条查询结果,搜索用时 31 毫秒
1.
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用. 相似文献
2.
对建立我国艾滋病防治督导与评估体系的思考 总被引:1,自引:0,他引:1
随着我国艾滋病防治工作的持续深入,定期对艾滋病防治工作进行督导与评估越来越重要。但是,到目前为止,我国尚未建立国家综合协调的艾滋病防治督导与评估体系。通过对建立国家艾滋病防治督导评估体系的必要性、可行性及存在的问题进行分析,围绕如何构建一个统一、综合、有效的督导评估体系提出政策建议。 相似文献
3.
吴筠是唐代著名道士,其《高士咏》与《览古》诗是前代少见的咏史组诗。《高士咏》的创作目的是为了批判当时社会上的伪隐之风,对历史上的高士进行咏赞。《览古》诗则从道家哲学观、社会观的角度,对历史发展、演变作出了哲学思考,告诫士子应全身远害。其咏史组诗的艺术特色与价值在于:具有浓厚的道家色彩;达到了人物形象塑造的共性与个性的统一;体现出平和冲淡与悲沉凝重两种艺术风格,并有强烈的理性色彩;吴筠的咏史组诗对后世产生了较大的影响。 相似文献
4.
5.
采取匿名问卷调查和个别深入访谈相结合的方式对103名外出务工人员进行调查,表明大部分外出务工人员对艾滋病的传播途径、预防等知识有一定了解,但是不够全面和准确,存在较多误解。今后应加大对外出务工人员的关注,采取更有效的艾滋病健康促进干预措施。 相似文献
6.
藏传佛教金刚铃,可将它归为法器与乐器两种:一般作为供奉物,或任何造像的相关器物时会尊崇为法器;实际演奏时又归为乐器。金刚铃在藏传佛教寺院仪轨中有着特殊的地位,但很少被人们关注。本文依据宗教学、音乐学、图像学等研究方法,对藏传佛教法器(乐器)中具有代表性的法器金刚铃的词释义、法相、历时(纵向)性和共时(横向)性,金刚铃中佛学内涵以及诵经仪轨中的运用进行说明。 相似文献
7.
ADHD是儿童常见的心理障碍,临床表现为以多动为主的行为问题,其病因包括各种生理因素和社会心理因素,参照SDM-Ⅳ提出具体的儿童多动症诊断标准,对儿童多动症的心理干预提出了支持性心理治疗、行为治疗、运动和游戏治疗以及认知——行为治疗等具体的策略。现在的发展趋势是系统的和整合的心理干预。 相似文献
8.
安士伟会长赴辽宁指导伊协工作5月15日至18日,全国政协常委、中国伊协会长安士伟赴沈阳、鞍山视察,指导伊协工作。16日上午,安会长在沈阳出席了全国首届清真烹饪技术竞赛开幕式。下午,安会长前往沈阳清真南大寺,次日又由省宗教局副局长杨伯文、省伊协副会长杨... 相似文献
9.
在加工正性情绪时, 前额叶左侧激活水平大于右侧。而正性情绪往往伴随着趋近动机。因此为了探索这种现象反映的究竟是正性情绪加工还是趋近动机加工, 文章总结了两个研究领域中的有关证据:来自特质或状态愤怒情绪与左前额叶相对激活关系领域的研究证据和来自身体姿势变化(包括整体姿势变化和单侧肌肉紧缩)对左前额叶相对激活的影响领域的研究证据。前者的一致发现是:左前额叶参与加工由愤怒情绪引发的趋近动机。后者的一致发现是:不同的身体姿势能够改变左前额叶的相对激活水平。两种领域的研究证据汇聚起来证明左前额叶参与加工趋近动机。文章还指出了将来研究的注意事项和可能方向:精确定义回避型愤怒; 探索愤怒情绪是否在加工晚期诱发趋近或回避动机; 探索不同方式诱发的趋近动机是否在脑机制上存在差异。 相似文献
10.
抽取济南市四所中学初一至初三年级547名学生为被试,采用自行设计的数学估计任务和元认知状态问卷(SMI),考察了初中生数学估计能力的现状及其与元认知监控的关系。结果表明:初中生的估计能力总体较差,未显示出稳定的性别差异。元认知监控的四个维度与数学估计表现均存在显著的正相关。从元认知监控对估计成绩的回归分析来看,自我意识可以显著正向预测估计整体表现。其中,计划可以正向预测估数和估算成绩,自我意识可以正向预测估测和估算成绩。文章特别讨论了数学估计与元认知加工之间的具体联系。 相似文献