形式规则系统 formal rule system
不规则形式 irregular form
规则形式 regular form
STRIPS形式规则 STRIPS form rule
不规则形式类型 irregular form type
Leibniz invented binary system and assumed a "universal characteristic", a symbol system that contained all the human thoughts; the "mechanical reasoner" that he invented contains the ideas, namely reasoning is a deduction system based on formal rule.
莱布尼茨发明了二进制表示方法,设想了一种“普遍文字”,能包含人类全部思想的符号系统;他所提出的“机械推理机”包含这样的思想,即推理是一个根据形式规则进行的演绎系统。
参考来源 - 认知计算主义的源起与当代发展·2,447,543篇论文数据,部分数据来源于NoteExpress
遗嘱形式规则是遗嘱继承制度中的重要内容。
该方程的形式规则统一,计算过程简单,稍加改进可以推广到平面刚架的内力和变形计算中去。
The equation is simple, uniform and easy to extend to plane rigid frame with some modification.
结果发现:(1)空间位置和时间关系的推理结果都支持心理模型理论,而不支持形式规则理论。
The results showed: (1) the solution of transitive reasoning with spatial and temporal contents supported the mental model theory, not the formal rule theory.
I'm always telling my kids,"Don't like"-- no.It is indeed very regular--So it is indeed very regular so that's one thing, and by regular we mean these patterns keep repeating again and again.
我总是对我的孩子说,不要说貌似-,它非常规则,所以它非常规则,这是其一,然后我们希望这些形式不断重复。
应用推荐