查询词典 propositional function

This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.

借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...

基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

In this paper , we propose a new description method of information processing systems based on propositional logic.

本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法。

To solve the satisfiability problem in propositional logic, many algorithms have been proposed in recent years.

命题逻辑可满足性问题是计算机科学中的一个重要问题。近年来许多学者在这方面进行了大量的研究，提出了不少有效的算法。

This paper works on propositional logic system in Computer Logic.

本论文研究了计算机数理逻辑中的命题演算部分内容。

This paper presents a method for model checking Propositional Projection Temporal Logic formulas based on SPIN.

本文提出了一种基于命题投影时序逻辑的模型检查方法。

But again,these are sententially simple sentences,and thus are not amenable to treatment by propositional logic.

它们是我们在句子逻辑中所称的简单句，即被看作一个位经分析的句子整体。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

If I didn't care what anyone thought, I would.....

如果我不介意别人怎么看，我会。。。。

In recent decades, Chile has mandated earthquake-proofing for new structures, requiring that materials like rubber and features like counterweights be built into the architectural designs to allow buildings to bend and sway during temblors rather than break.

在最近数十年里，智利已经为兴建防震的新土建结构而对建筑材料提出要求，需要的材料类似于橡胶，而特性就象运用在建筑设计中的平衡物体，一旦应用以后，当地震发生时建筑就能弯曲摇摆。