On Experimental Efficiency for Retraction Operator to Stem Basis

Autor:	Joaquín Borrego-Díaz, Alejandro Trujillo Caballero, Gonzalo A. Aranda-Corral, Juan Galán-Páez
Přispěvatelé:	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Rok vydání:	2018
Předmět:	Functional programming Operator (computer programming) Theoretical computer science Basis (linear algebra) Computer science Scala Independence (mathematical logic) Retraction Problem Base (topology) Rule of inference computer computer.programming_language
Zdroj:	Trends in Mathematics and Computational Intelligence ISBN: 9783030004842 idUS. Depósito de Investigación de la Universidad de Sevilla instname idUS: Depósito de Investigación de la Universidad de Sevilla Universidad de Sevilla (US)
DOI:	10.1007/978-3-030-00485-9_8
Popis:	In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the size of knowledge basis based on the retraction problem. This implementation is made in a functional language, Scala, and specialized on attribute implications. We evaluate its efficiency related to the Stem Base generation.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bac470ad5b644e6e81d5dcd12888119c https://doi.org/10.1007/978-3-030-00485-9_8 Zobrazit plný text záznamu