ratiocinator

与ratiocinator相关的网络例句 [注：此内容来源于网络，仅供参考]

Leibniz's calculus ratiocinator, which resembles symbolic logic, can be viewed as a way of making such calculations feasible.

莱布尼茨的"推理演算"，类似于符号逻辑，可以被视为进行此种可行计算的方式。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

His characteristica universalis, calculus ratiocinator, and a "community of minds"—intended, among other things, to bring political and religious unity to Europe—can be seen as distant unwitting anticipations of artificial languages, symbolic logic, even the World Wide Web.

他的普遍语言、推理演算与"心灵共同体"—意在把欧洲带向政治与宗教统一—可视为对很久以后人工语言、符合逻辑与万维网的无意预见。

Repository includes information repository and expert experience repository. Production type express mode is adopted in knowledge express mode. Knowledge express mode was reasoned and matched with no precision ratiocinator and elicitation strategy, Identify communication radiant point and estimate its intimidatory grade.

其知识库包括"情报数据知识库"和"专家经验知识库"两数据库，知识表示模式采用了产生式表示模式，并利用不精确推理和启发策略进行推理和匹配，完成对通信辐射源进行识别并判断其威胁等级。