There are three kinds of uncertainty in the process of fish-disease diagnosis, such as randomicity, fuzzy and imperfection, which affect the veracity of fish-disease diagnostic conclusion. So, it is important to construct a fish-disease diagnostic model to effectively deal with…

Associating the pattern in text data with the pattern with time series data is a novel task. In this paper, an approach that utilizes the features of the time series data and domain knowledge is proposed and used to identify…

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…

In the past, numerous approaches have been formulated either for approximating Pareto-optimal alternatives or supporting the decision making process with an interactive multi criteria decision aiding methodology. The article on the other hand presents an integrated system for the resolution…

Classical methods for representing and reasoning with knowledge rely on the assumption that the available information is complete, certain and consistent. In real-world problems this is usually not the case, and Al has long dealt with the issue of finding…

Our research project intends to build knowledge about HPC problems to be able to help local researchers. In the general case, researchers who consult us do not own the sources to the parallel programs they run. In order to advise…

El desarrollo alcanzado en los últimos años por las Tecnologías de Información y Comunicaciones (TICs) ha creado condiciones materiales y técnicas necesarias para una nueva revolución en el campo educativo. Asociado a estos cambios, el aprendizaje electrónico a través de…

Categories for evaluation of educative software by different authors are analyzed. For STI theoretical basis are: learn by doing, construction of knowledge, mental conflict, zone of proximal development, learning by discovery, conceptual change, and learning for the understanding and the…

La sistematización del proceso de minería de datos es un punto importante para la planificación y ejecución de este tipo de proyecto. Algunas organizaciones implementan el modelo KDD, mientras que otras aplican un estándar más específico como CRISP-DM. Si la…