Inference engine based on closure and join operators over Truth Table Binary Relations
| Autor: | Marcelo F. Frias, Jameela Al Otaibi, Bilel Boulifa, Samir Elloumi, Ali Jaoua, Mohammad Saleh |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
Theoretical computer science
Relation (database) Logic Inference engine computer.software_genre Theoretical Computer Science Closure operators Truth value Mathematics Truth function Binary relation Truth table Formal concept analysis Decision rule Ciencias de la Computación Computational Theory and Mathematics Closure (mathematics) Truth Table Binary Relation Cooperative conceptual reasoning Relation combining Ciencias de la Computación e Información Data mining computer Software CIENCIAS NATURALES Y EXACTAS |
| Popis: | We propose a conceptual reasoning method for an inference engine. Starting from a knowledge base made of decision rules, we first map each rule to its corresponding Truth Table Binary Relation (TTBR), considered as a formal context. Objects in the domain of TTBR correspond to all possible rule interpretations (in terms of their truth value assignments), and elements in the range of TTBR correspond to the attributes. By using the ‘natural join’ operator in the ‘ContextCombine’ Algorithm, we combine all truth tables into a global relation which has the advantage of containing the complete knowledge of all deducible rules. By conceptual reasoning using closure operators, from the initial rules we obtain all possible conclusions with respect to the global relation. We may then check if expected goals are among these possible conclusions. We also provide an approximate solution for the exponential growth of the global relation, by proposing modular and cooperative conceptual reasoning. We finally present experimental results for two case studies and discuss the effectiveness of our approach. Fil: Elloumi, Samir. Qatar University; Fil: Boulifa, Bilel. Qatar University; Fil: Jaoua, Ali. Qatar University; Fil: Saleh, Mohammad. Qatar University; Fil: Al Otaibi, Jameela. Qatar University; Fil: Frias, Marcelo Fabian. Instituto Tecnológico de Buenos Aires. Fac de Ingeniería. Departamento de Informatica; Argentina |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|