Objective: The Wisconsin Card Sorting Test (WCST) is often regarded as a prototypical neuropsychological test of set-shifting ability. However, it has been proposed that WCST performance involves cognitive processes other than set shifting, such as set maintenance and rule inference. Distinguishing between these processes is necessary for the meaningful interpretation of WCST performance defici...

Fuzzy systems working with classical compositional rule based reasoning methods require the existence of applicable rules for all the possible observations, i.e. an ε>0 covering rule base. In several cases this demand cannot be fulfilled either due to lack of proper rules or the limited storing and processing possibilities. In such circumstances the application of FRI based inference techniques...

Compositional proofs about systems of many components often involve apparently circular arguments. That is, correctness of component A must be assumed when verifying component B, and vice versa. The apparent circularity of such arguments can be resolved by induction over time. However, previous methods for such circular compositional reasoning apply only to safety properties. This paper present...

Rule–based expert systems proved to be a successful AI technology in a number of areas. Building such systems requires creating a rulebase, as well as providing an effective inference mechanism that fires rules appropriate in a given context. The paper briefly discusses main rule inference algorithms Rete, TREAT and Gator. Since large rulebases often require identifying certain rule clusters, m...

This paper proposes two kinds of fuzzy abductive inference in the framework of fuzzy rule base. The abductive inference processes described here depend on the semantic of the rule. We distinguish two classes of interpretation of a fuzzy rule, certainty generation rules and possible generation rules. In this paper we present the architecture of abductive inference in the first class of interpret...

principle of justice and equity is a term, although it is seen in recent jurisprudents' writings, which have not been explained clearly at all. therefore, some of the jurisprudents do not accept this term as a principle; some others accept it as a principle and consider its implementation in case of being a special reason; and other group of jurisprudents accept it as a principle but limit...

Fuzzy Relational Inference (FRI) systems form an important part of approximate reasoning schemes using fuzzy sets. Especially, the compositional rule of inference (CRI) introduced by Zadeh has attracted the most attention so far. In this work we show that the FRI scheme based on the BandlerKohout subproduct along with a suitable realisation of the fuzzy rules, does possess all the important pro...

We present an approach to designing veriied digital systems by a sequence of small local reenements. Reenements in this approach are not limited to a library of predeened transformations for which theorems have been previously established. Rather, the approach relies on localizing the reenement steps in such a way that they can be veriied eeciently by model checking. Toward this end, a composit...

Dependency-based Compositional Semantics (DCS) provides a precise and expressive way to model semantics of natural language queries on relational databases, by simple dependency-like trees. Recently abstract denotation is proposed to enable generic logical inference on DCS. In this paper, we discuss some other possibilities to equip DCS with logical inference, and we discuss further on how logi...

A fuzzy controller f o r a neutralization process is described. The controller was set up fo r a laboratory pilot plant. The approach is shown to be effective and can be extended to highly nonlinear and nonstationary processes. The "operator" knowledge encoded in the rules was obtained by several experimental runs o f the system using manual control. Rules are composed using the max-min composi...