It is argued that inference procedures of fuzzy models do not always require commutativity and associativity of the operations used. This raises the possibility of considering nonassociative and noncommutative conjunction and disjunction operations. Such operations are investigated in this paper and different methods for their generation are proposed. A number of new types of conjunction operat...

We are interested in type inference in the presence of structural subtyping from a pragmatic perspective. This work combines theoretical and practical contributions: first, it provides a faithful description of an efficient algorithm for solving and simplifying constraints; whose correctness is formally proved. Besides, the framework has been implemented in Objective Caml, yielding a generic ty...

We present a method and its implementation, the system GAP, we developed for the automatic generation of filtering algorithms. The evaluation of left-hand sides of rules relies on the matching of condition elements with Working Memory elements. The filtering is the inference engine phase that performs this matching. Our automatic generation method is based on set differentiation which we have d...

This paper relates comparative belief structures and a general view of belief management in the setting of deductively closed logical representations of accepted beliefs. We show that the range of compatibility between the classical deductive closure and uncertain reasoning covers precisely the nonmonotonic 'preferential' inference system of Kraus, Lehmann and Magidor and nothing else. In terms...

This article presents a model, which uses a fuzzy inference system to evaluate the relevance of a higher educational program in regard to the General Examination for the Degree Exit (EGEL) of the National Center for Higher Education Assessment (CENEVAL). To develop the model the following factors were considered: the impact of each Learning Unit (UDA) on areas EGEL assessment, the score obtaine...

One of the most prominent features that the Semantic Web promises to enable is the discovery of new and implied knowledge from existing information that is scattered over the Internet. However, adding reasoning capabilities to the existing Web infrastructure is by no means a trivial task. Current methods and / or implementations do not seem to be declarative and expressive enough to provide the...

This paper presents a novel approach based on contextual Bayesian networks (CBN) for natural scene modeling and classification. The structure of the CBN is derived based on domain knowledge, and parameters are learned from training images. For test images, the hybrid streams of semantic features of image content and spatial information are piped into the CBN-based inference engine, which is cap...

Chcl is a connectionist inference system for H orn logic which is based on the connection method and uses limited resources. This paper gives an overview of the system and its implementation.