排序方式: 共有13条查询结果,搜索用时 15 毫秒
11.
模型在计算机中的作用问题似乎比通常所承认的要普遍得多 ,即使对该学科中的资深学者来说也是如此。在其重要研究成果《计算机中的正确性之局限》 (1 985/ 1 995年 )一文中 ,B .C .史密斯讲到了程序与其规范之间的关系是一种模型 (程序 )与另一种模型 (它的规范 )之间的关系 ,其中 ,即使存在着程序满足其规范的形式证明 ,也不能保证由该程序所控制的系统会完成期望它做的、该程序应当执行的任务 ,因为这些规范可能会也可能不会反映某种与世界的恰当关系。史密斯把“规范”的特征描绘为关于特定系统的恰当行为的形式描述 (通常以形式语言来… 相似文献
12.
由西南大学逻辑与智能研究中心和重庆逻辑学会主办,国际符号逻辑学会协办的逻辑、语言与计算国际会议暨第二届东亚逻辑、语言与计算学校于2012年8月25日至31日在西南大学成功举办。本次活动是继2010年在中山大学举行的“中欧逻辑、语言与计算冬令学校”之后的第二届活动,旨在对逻辑、语言和计算机科学的交叉研究领域开展研讨,促进跨学科、跨地区学术交流与合作,展示现代逻辑与数学、哲学、语言学、信息科学等学科的内在联系,训练和培养青年学者,发现人才。 相似文献
13.
认知主义(cognitivisim)曾一度成为20世纪50年代起统治着心理学、语言学、哲学、计算机科学等学科的核心范式。70年代后期,认知科学的兴起、发展和演变,尤其是人工智能(以下简称AI)在发展中遇到的挑战,促使研究者开始反思认知主义范式是否需要被取代。在所有替代性方案中,具身认 相似文献