Bayesian networks are a popular model for reasoning under uncertainty. We study the problem of efficient probabilistic inference with these models when some of the conditional probability tables represent deterministic or noisy $\ell$-out-of-$k$ functions. These tables appear naturally in real-world applications when we observe a state of a variable that depends on its parents via an addition or noisy addition relation. We provide a lower bound of the rank and an upper bound for the symmetric border rank...

The aggregation of preference relations in group decision-making (GDM) problems can be carried out based on either the reliability of the preference values to be aggregated, as is the case with ordered weighted averaging operators, or on the reliability of the source of information that provided the preferences, as is the case with weighted mean operators. In this paper, we address the problem of aggregation based on the reliability of the source of information, with a double aim: a) To provide...

In a recent paper, those quasigroup identities involving at most three variables and of “length” six which force the quasigroup to be a loop or group have been enumerated by computer. We separate these identities into subsets according to what classes of loops they define and also provide humanly-comprehensible proofs for most of the computer-generated results.

Le système AutoGraphiX (AGX1 et AGX2) permet, parmi d’autres fonctions, la génération automatique de conjectures en théorie des graphes et, dans une version plus récente, la preuve automatique de conjectures simples. Afin d’illustrer ces fonctions et le type de résultats obtenus, nous étudions systématiquement ici des conjectures obtenues par ce système et de la forme ${\underline{b}}_n\le g\oplus i\le {\overline{b}}_n$ où $g$ désigne la maille (ou longueur du plus petit cycle) du graphe $G=(V,E)$, $i$ un autre invariant choisi parmi le nombre de stabilité,...

Le système AutoGraphiX (AGX1 et AGX2) permet, parmi d'autres fonctions, la génération automatique de conjectures en théorie des graphes et, dans une version plus récente, la preuve automatique de conjectures simples. Afin d'illustrer ces fonctions et le type de résultats obtenus, nous étudions systématiquement ici des conjectures obtenues par ce système et de la forme ${\underline{b}}_n\le g\oplus i\le {\overline{b}}_n$ où g désigne la maille (ou longueur du plus petit cycle) du graphe G=(V, E), i un autre invariant choisi parmi le nombre...

For both the edge deletion heuristic and the maximum-degree greedy heuristic, we study the problem of recognizing those graphs for which that heuristic can approximate the size of a minimum vertex cover within a constant factor of $r$, where $r$ is a fixed rational number. Our main results are that these problems are complete for the class of problems solvable via parallel access to $\text{NP}$. To achieve these main results, we also show that the restriction of the vertex cover problem to those graphs for which...

For both the edge deletion heuristic and the maximum-degree greedy heuristic, we study the problem of recognizing those graphs for which that heuristic can approximate the size of a minimum vertex cover within a constant factor of r, where r is a fixed rational number. Our main results are that these problems are complete for the class of problems solvable via parallel access to NP. To achieve these main results, we also show that the restriction of the vertex cover problem to those...

Neural nets were originally introduced as highly simplified systems of the neural system. Today they are widely used in technology and studied theoretically by scientists from several disciplines. (See e.g. [N]). However they remain little understood. (...)

We study some geometric configurations related to projections of an irreducible algebraic curve embedded in $ℂ{\mathbb{P}}^3$ onto embedded projective planes. These configurations are motivated by applications to static and dynamic computational vision. More precisely, we study how an irreducible closed algebraic curve $X$ embedded in $ℂ{\mathbb{P}}^3$, of degree $d$ and genus $g$, can be recovered using its projections from points onto embedded projective planes. The embeddings are unknown. The only input is the defining equation of...

Fuzzy logic controller performance depends on the fuzzy control rule set. This set can be obtained either by an expert or from a learning algorithm through a set of examples. Recently, we have developed SLAVE an inductive learning algorithm capable of identifying fuzzy systems. The refinement of the rules proposed by SLAVE (or by an expert) can be very important in order to improve the accuracy of the model and in order to simplify the description of the system. The refinement algorithm is based...

The notion of a rough set, developed by Pawlak [10], is an important tool to describe situation of incomplete or partially unknown information. In this article, which is essentially the continuation of [6], we try to give the characterization of approximation operators in terms of ordinary properties of underlying relations (some of them, as serial and mediate relations, were not available in the Mizar Mathematical Library). Here we drop the classical equivalence- and tolerance-based models of rough...

In this study, we are concerned with a two-objective development of information granules completed on a basis of numeric data. The first goal of this design concerns revealing and representing a structure in a data set. As such it is very much oriented towards coping with the underlying it relational aspects of the experimental data. The second goal deals with a formation of a mapping between information granules constructed in two spaces (thus it concentrates on the it directional aspect of information...

In this paper, by defining a pair of classical sets as a relative set, an extension of the classical set algebra which is a counterpart of Belnap's four-valued logic is achieved. Every relative set partitions all objects into four distinct regions corresponding to four truth-values of Belnap's logic. Like truth-values of Belnap's logic, relative sets have two orderings; one is an order of inclusion and the other is an order of knowledge or information. By defining a rough set as a pair of definable...

Fuzzy classification systems is defined in this paper as an aggregative model, in such a way that Ruspini classical definition of fuzzy partition appears as a particular case. Once a basic recursive model has been accepted, we then propose to analyze relevance and redundancy in order to allow the possibility of learning from previous experiences. All these concepts are applied to a real picture, showing that our approach allows to check quality of such a classification system.

This paper is devoted to path planning when the safety of the system considered has to be guaranteed in the presence of bounded uncertainty affecting its model. A new path planner addresses this problem by combining Rapidly-exploring Random Trees (RRT) and a set representation of uncertain states. An idealized algorithm is presented first, before a description of one of its possible implementations, where compact sets are wrapped into boxes. The resulting path planner is then used for nonholonomic...

A new information system representation, which inherently represents indiscernibility is presented. The basic structure of this representation is a Binary Decision Diagram. We offer testing results for converting large data sets into a Binary Decision Diagram Information System representation, and show how indiscernibility can be efficiently determined. Furthermore, a Binary Decision Diagram is used in place of a relative discernibility matrix to allow for more efficient determination of the discernibility...