In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in understanding their evolution. In particular, global patterns are required to detect emergent concepts and trends, some of them of a qualitative nature. Formal concept analysis (FCA) is a theory whose goal is to discover and extract knowledge from qualitative data (organized in concept lattices). In complex environments, such as sport competitions, the large amount of information currently available turns concept lattices into complex networks. The authors analyze how to apply FCA reasoning in order to increase confidence in sports predictions by means of detecting regularities from data through the management of intuitive and natural attributes extracted from publicly available information. The complexity of concept lattices -considered as networks with complex topological structure-is analyzed. It is applied to building a knowledge based system for confidence-based reasoning, which simulates how humans tend to avoid the complexity of concept networks by means of bounded reasoning skills.

A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on polynomials (on residue rings) which is used to design a new inference rule of algebro-geometric inspiration. Soundness and (refutational) completeness of the rule are proved. Some applications of the tools introduced in the paper are shown.

Abstract. Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It provides tools for reasoning with implication basis (and association rules). In this paper we analyse how to apply FCA reasoning to increase confidence in sports betting, by means of detecting temporal regularities from data. It is applied to build a Knowledge based system for confidence reasoning.

In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We discuss the logical limitations of the mereotopological approach to the visual ontology cleaning, from the point of view of its formal support. The analysis is based on three different spatial interpretations wich are based in turn on three different spatial interpretations of the concepts of an ontology.

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 semantics used by the other users. We call it Reconciliation of Knowledge. The aim of this paper is to show an agent-based method which lets us reconcile two different knowledge basis (associated with tagging systems) into a common language, obtaining a new one that allows the reconcilitiation of (part of) this knowledge. The agents use Formal Concept Analysis concepts and tools and it has been implemented on the JADE multiagent platform.