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...

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...

We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressiveness of our calculi and the pitfalls that we avoid.

Notions of predication based on extensional and intensional subsumption, as described by Woods, are related to Kahneman’s systems of thinking fast and slow. Path-based reasoning with links is applied to predication over not only individuals but (following Carlson) kinds and stages/time. Predications, fast and slow, are formulated in monadic secondorder logic over strings, analyzed in Goguen and...

The estimation of the classifier error plays a key role in accuracy-based learning classifier systems. In this paper we study the current definition of the classifier error in XCSF and discuss the limitations of the algorithm that is currently used to compute the classifier error estimate from online experience. Subsequently, we introduce a new definition for the classifier error and apply the ...

1 Définir l’ontologie locale Une ontologie locale est définie l’ontologie du domaine, articulée à cette dernière par la relation de subsumption par : Spécialisation des sous-ensemble de classes de l’ontologie de domaine recouvrant les besoins du cahier de charges et par importation sélective des propriétés pertinentes. Enrichissement de l’ontologie locale pour répondre aux objectifs applicatifs...

Demo. We demonstrate Argos, a framework to automatically generate data processing workflows. First, we show how to assign formal semantics to data and operations using to a domain ontology. Specifically, we define data contents using relational descriptions in an expressive logic. Second, we show a novel planner that uses relational subsumption to connect the output of a data processing operati...