We outline a model of one-dimensional reasoning on interval relations with quantitative and qualitative distances. At the core of this model lie constraints on interval boundaries, partial ordering and subsumption relations on interval relations and interval boundary constraints, and the transformation of interval relations to interval boundary constraints and vice versa. By way of subsumption ...

Knowledge of which words are able to ll particular argument slots of a predicate can be used for structural disambiguation. This paper describes a proposal for acquiring such knowledge, and in line with much of the recent work in this area, a probabilistic approach is taken. We develop a novel way of using a semantic hierarchy to estimate the probabilities, and demonstrate the general approach ...

Learning classifier systems have previously been shown to have some application in single-step tasks with the generic features typically found in problems addressed by an Interactive Evolutionary Design process. This paper extends work in the area by applying the classifier system to progressively more complex multi-modal test environments. Analysis of the XCSR classifier system is made with re...

Résumé : Cet article présente les résultats d’une évaluation sur l’intégration des données issues d’un lexique syntaxique, le Lexique-Grammaire, dans un analyseur syntaxique. Nous montrons qu’en modifiant le jeu d’étiquettes des verbes et des noms prédicatifs, un analyseur syntaxique probabiliste non lexicalisé obtient des performances accrues sur le français. Mots clés : Analyse syntaxique pro...

In this paper, we are interested in the analysis of sequential data and we propose an original framework based on FCA. For that, we introduce sequential pattern structures, an original specification of pattern structures for dealing with sequential data. Sequential pattern structures are given by a subsumption operation between set of sequences, based on subsequence matching. To avoid a huge nu...

Articulating a clear and concise research question is fundamental to conducting a robust and useful research study. Although “getting stuck into” the data collection is the exciting part of research, this preparation stage is crucial. Clear and concise research questions are needed for a number of reasons. Initially, they are needed to enable you to search the literature effectively. They will ...

CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...

A dynamic programming problem that each state at some stage is chosen from a set decided by the state and action at the last stage, in other words, translate maps are set-valued maps, is considered and investigated. To solve the problem, two roles of choice of next stage are introduced; one is to the player’s advantage, and the other is disadvangate. Also, two duality formulations based on Fenc...

In this extended abstract we report on results recently achieved for answering instance queries relaxed by concept similarity measures [4]. Traditionally, Description Logic (DL) reasoning systems only support crisp inference services, like subsumption and instances queries. The latter can be effectively used to perform different types of search tasks: Given an ABox describing a set of individua...