Results 1 - 10 of 54,717

Table 1 Fuzzy logic system rules

in An
by Jing Nie, Jiangchua Wen, Ji Luo, Xin He, Zheng Zhou 2006
"... In PAGE 3: ... Also increasing the number of fuzzy sets of the variables will provide better sensitivity control but also increases computational complexity of the system. Table1... ..."

Table I. Fig. 6. Fuzzy logic system.

in ROBOT MANIPULATOR JOINT CONTROL WITH NEURO-FUZZY FRICTION COMPENSATION
by Sebastião Cícero, Pinheiro Gomes, Diego Da Silva Gomes, Cláudio Machado Diniz

Table 1: Some observations and the corresponding inferences drawn by the logic system

in Automatic construction of accurate models of physical systems
by Elizabeth Bradley, Reinhard Stolle 1996
"... In PAGE 14: ...nowledge to be inferred. Thus, facts about the physical system can be globally reused. The set of inference rules that deduce facts from the descriptivekeywords of qualitative observations is similar to the rule set used by the base model generator | in fact, the latter is a subset of the former. Table1 gives some examples of descriptive observations and the facts that the logic system infers from them. This is only a small sampling of observations and inferences.... ..."
Cited by 25

Table 1. Translations between logical and algebraic systems.

in Some New Strategies for Theorem-Proving in First Order Logic with Equality
by R. J. Bignall, M. Spinks 1997
"... In PAGE 11: ... Composing the translations arising from the Burris-McKenzie approach with those arising from algebraisation yields a further two translations from rst- order logic to quasi-propositional skew Boolean logic and its dual. Table1 summarises the translations between systems: the trivial translations are indicated by \? quot; and the transla- tions of interest here are denoted by \X quot;. In the table and in the sequel, S is the enriched right-handed countable-valued skew Boolean intersection algebra, Sd is the enriched left-handed dual skew Boolean intersection algebra, S is quasi-propositional skew Boolean logic, Sd is quasi- propositional dual skew Boolean logic, and L is a system of rst-order logic with equality.... ..."

Table 2: Alarm System Logic for Entering Building

in Development of Computer Based Instruction in a Control Systems Curriculum
by Sandra A. Yost, Ra A. Yost, Laszlo M. Hideg, Nizar Al-holou, Ph. D, Ph. D
"... In PAGE 3: ... First, desired characteristics must be identified (see Table 1.) Next, some logic must be constructed consistent with desired characteristics which can be found in Table2... ..."

Table 1: Comparison of the type systems as logics

in Comparing Control Constructs by Typing Double-barrelled CPS Transforms
by Hayo Thielecke 2001
Cited by 7

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect

in Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall Or No Learning
by Clare Dixon, Cláudia Nalon, Michael Fisher 2003
Cited by 1

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect

in Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning
by Clare Dixon, Michael Fisherdepartment, Computer Science 2003
Cited by 1

Table 1. Results for the logic based decision system.

in Logic Based Distributed Decision
by System For Multi-Robot, Miguel Arroz, Vasco Pires, Luis Custódio

Table 1: Some observations and the corresponding inferences drawn by the logic system ODE property Method Consequence

in Automatic Construction of Accurate Models of Physical Systems
by Elizabeth Bradley, Reinhard Stolle 1996
"... In PAGE 14: ...nowledge to be inferred. Thus, facts about the physical system can be globally reused. The set of inference rules that deduce facts from the descriptive keywords of qualitative observations is similar to the rule set used by the base model generator | in fact, the latter is a subset of the former. Table1 gives some examples of descriptive observations and the facts that the logic system infers from them. This is only a small sampling of observations and inferences.... ..."
Cited by 25
Results 1 - 10 of 54,717