您要查找的是不是:
- lukasiewicz 3 - valued logic systems 三值Lukasiewicz逻辑系统
- Author show the Craig theorem and Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*. 作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
- On Craig Theorem and Herbrand Theoremfor 3 Valued Logics 三值逻辑的Craig中插定理与Herbrand定理
- n - valued logic system n值逻辑系统
- PLD and digital logic system design II. 与数字系统设计2。
- The logic system of Laotze's legal thought is extremely tight. 摘要老子法律思想的逻辑体系极其严密。
- The NULL value introduces the concept of three valued logic to SQL. NULL值将三值逻辑的概念引入SQL。
- In fuzzy logic,normal residuated based logic systems play avery important role. 在模糊逻辑中;基于剩余格的逻辑系统起着非常重要的作用.
- Philosophical logics is a group of new logic systems. 哲学逻辑是一个新兴的逻辑学科群体。
- That's a ferociously logical system. 那是极合逻辑的系统。
- The data flow diagram describes the logical system. 数据流程图描述了逻辑系统。
- Secondly, the modeling errors are eliminated by a compensator based on the adaptive fuzzy logic systems. 其次,应用自适应模糊逻辑系统作为补偿器来补偿建模误差。
- Now there are many deontic logic formal systems, e.g. naive deontic logic systems OK. , OS5*,alethic deontic logic systems, e.g. MK, MS5*, etc. 到日前已有若干道义逻辑形式系统,例如朴素道义逻辑系统OK、OS5~*,真值道义逻辑系统MK、MS5~*,等等。
- Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed. 建立了 Agent- BDI逻辑的代表系统 A- BI;讨论了它的语法和语义 .
- A method to simplify fuzzy logic system (FLS) structure was presented based on rule sensitivity. 摘要基于规则灵敏度给出了模糊逻辑系统结构简化的一种方法。
- Deontic logic system created by GH. von Wright in 1951 took names of actions as its study object. 他1951年创建的现代道义逻辑系统把所处理的主要客体对象看作是行动的名称。
- Nowadays, neural networks and fuzzy logic systems have been becoming the focus of the researches in the field of intelligent control. 目前,神经网络和模糊逻辑成为当前智能控制研究的热点之一,将模糊逻辑与神经网络有机地结合起来,就产生了模糊神经网络。
- This paper develops the concept of consistency of finite theories in propositional fuzzy logic system. 摘要 推广了命题模糊逻辑系统中有限理论相容性的概念。
- Application of the fuzzy logic system (FLS) based on the SMC in the robot manipulators. 3.;基于模糊逻辑系统(FLS)建模的SMC在机器人中的应用。