BORREGO DÍAZ , Joaquín

No description

No description

In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on the study of algebro-combinatoric properties of certain definable cuts. Their relationship with segments that satisfy more induction, with those limited by the standard powers/roots of an element, and also with definable...

A general -observation-based- qualitative framework to extract agent-based pedestrian behavior is presented. To extract qualitative rules from data we use tools, from Formal Concept Analysis, for implicational reasoning.

No description

A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. Thus, providing renewed momentum to the relatively new research area of eXplainable AI (XAI). Nowadays, the importance of XAI lies in the fact that the increasing control transference to this kind of system for decision...

Alongside the particular need to explain the behavior of black box artificial intelligence (AI) systems, there is a general need to explain the behavior of any type of AI-based system (the explainable AI, XAI) or complex system that integrates this type of technology, due to the importance of its economic, political or industrial rights impact....

Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. In this framework, it is previsible unprecise information (with respect to an ontology) is retrieved from some resources. The sound integration of such information is crucial to achieve logical soundness. We present a...

La evolución de las ontologías es un problema clave en la Integración del Conocimiento, cuya resolución es imprescindible en el proyecto de la Web Semántica. Algunas aproximaciones adolecen de confianza lógica, y otras no son fácilmente mecanizables. En este trabajo proponemos un método para la fusión de ontologías utilizando...

Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción proposicional. En el primer capítulo presentamos la programación lógica en Prolog como una aplicación de la deducción automática a...

Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge (for example, our personal bookmarks). A potential solution could be the use of knowledge from other users to find what we are searching for. This solution implies that we can achieve some agreement on implicit...

In this paper an analysis of security ontologies, using an mereotopological interpretation of the relationship amongst their classes, based on the entailment in the ontology, is presented. The analysis is carried out by means of a graphical tool (called Paella) that implements such an interpretation and it can suggest the potential debugging of...

Ontology Integration is a challenge in the field of Knowledge Engineering, whose solution is indispensable for the envisioned Semantic Web. Some approximations suffer from logical confidence, and others are hard to mechanize. In this paper a method – assisted by Automated Reasoning Systems – to solve a subproblem, the merging of ontologies, is...

A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness with respect to their associate conceptualizations is presented. The use of such systems makes feasible the ontological insertion of new concepts, but it is necessary to re-interpret the older ones with respect to new...

Ministerio de Educación y Ciencia TIN2004-03884