In this paper, we propose a novel approach to behavior-based control, which combines fuzzy logic with multiple objective decision theory. Fuzzy logic provides powerful tools for formulating sophisticated behavior-based systems for robot control. However, it suuers from problems associated with resolving be-havioral connicts, which are mainly due to the de-ciencies of fuzzy inferencing technique...

This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition is plausible and for which relation the new tuples are derived. We first present a formal definition of composition and our extension to it. We next define conditions on the domains and ranges of the relations that are...

Helium is a compiler for a large subset of Haskell under development at Universiteit Utrecht. A major design criterion is the ability to give superb error messages. This is especially needful for novice functional programmers. In this paper we document the implementation of the Helium type inferencer. For purposes of experimentation with various methods of type inferencing, the type inferencer ...

this empirical study reports on a cross-linguistic analysis of the overarching issue of l1 lexicalization regarding two (non)-interventionist approaches to vocabulary teaching. participants were seventy four juniors at the islamic azad university, roudehen branch in tehran. the investigation pursued (i) the impact of the provided (non)-interventionist treatments on both sets of (non)-lexicalize...

In this paper we describe a multimedia application called Computer Aided Facial Image Inferencing and Retrieval (CAFIIR) system. This system uses both Case Based Reasoning and Information Retrieval Techniques. In CAFIIR we use fuzzy measures to represent characteristic features of a human face. This paper describes a method designed to implement inferencing using fuzzy measures. It also describ...

This paper describes in detail the inferencing rules and operations concerning an ontology formalism previously proposed under Conceptual Structure Theory. The ontology consists of hierarchies of concept, relation and meta-relation types, and formal relationships between them, in particular between arguments of relation and meta-relation types. Inferencing rules are described as well as operati...