...网页-我的搜狐 关键词: 自然语言;逻辑语言;形式化描写;计算机认知 [gap=1299]Key words: natural language; logic language; formalarized description; computer cognition ...
基于66个网页-相关网页
... LOGLAN LOGical LANguage 逻辑语言(美国佛罗里达大学研制) LOGO LOGO程序语言 logo logo语语 ...
基于26个网页-相关网页
计算机通信工程英语词汇翻译 ... 逻辑工件名 logical job name 逻辑语言 logical language,LOGLAN 逻辑前导端 logical leading end ...
基于4个网页-相关网页
Part three: After extending the SBR, by introducing the execution of the action model in epistemic model as a dynamic operator into the logical language, this paper sets up a dynamic logic of belief revision (DBR).
第三部分:在静态的信念逻辑系统S_(SBR)基础上,将行动模型在认知逻辑中的执行作为动态模态算子引入逻辑语言中,建立动态的信念修正逻辑系统S_(DBR)。
参考来源 - 信念修正逻辑初探·2,447,543篇论文数据,部分数据来源于NoteExpress
逻辑语言将逻辑用作其数学基础。
什么叫做谓项逻辑语言呢?
逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。
Nowadays, the paradigms, namely the object—oriented language and the logic programming language, are two attractive knowledge programming languages.
And So, we study different problems like recognizing faces or language or motor control or logic.
我们研究各种在行为过程出现的问题,诸如面孔识别,语言,运动控制,以及逻辑
And consequently, though I was trained as analytical philosopher and logic philosopher in language or that. When I was graduated I didn't do things that way.
因此,虽然我被训练成,分析哲学家和语言逻辑哲学家,当我是个本科生,我并不像科学哲学家那样行事。
So we talked about Mr. Bool briefly last week in this idea of true or false, but in C, you don't have a Boolean data type.
我们上周简短地谈论过Bool先生的,真假的逻辑思想,但是在C语言里,没有布尔数据类型。
应用推荐