The Halt Condition in Genetic Programming

A Knowledge Representation and Reasoning System for Multimodal Neuroimaging Studies

“…It may be given in terms of elements of Model Theory [9]- [11], or Proof Theory [12], [13]. In the present work the Proof Theoretical approach is followed as an extension to LP.…”

“…In order to set one's approach to knowledge representation, two metrics will be set, namely the Quality-ofInformation (QoI) of a logic program that will be understood as a mathematical function that will return a truthvalue ranging between 0 and 1 [12], [13], once it is fed with the extension of a given predicate, i.e., QoI i = 1 when the information is known (positive) or false (negative) and QoI i = 0 if the information is unknown. For situations where the extensions of the predicates that make the program also include abducible sets, its terms (or clauses) present a QoI i ϵ ]0, 1[, in the form:…”

The Road Map To Apply Evolutionary Intelligence To Asphalt Pavement Modelling

“…This paper presents some insights either theoretical or experimental into a making from the ground, of an approach to predict and model the asphalt pavement behaviour using soft computing tools and, at the same time, create a way to accumulate the knowledge in this engineering field. The knowledge about the asphalt pavement life cycle is organized in a hierarchical way in order to be reused in a formal way, leading to an evolutionary process of adaptation and construction (Neves et al 2007). …”

Intelligent Mixed Reality for the Creation of Ambient Assisted Living

“…Based on a set of evolving DTs, and the figure of quality-ofinformation [9], it was also shown how user context information can be exploited to find and propose an advice. In future work, and attending to such environments, we may use collaborative networks as a support for different, but interconnected virtual organizations, that could provide to all the population in general, and the elderly, in particular, specialized services (e.g., healthcare, entertainment, learning), without delocalizing or messing up with their routine, in a more effective and intelligent way.…”

“…An advice is got in return (e.g., you may go with your family to the cinema). This advice is given not only in terms of the factual information gathered by the sensors, in terms of the DT or the corresponding logical formulae depicted by Program 4, but also attending to an evaluation of the quality of information of such formulae [9].…”