Reducing one class of machine learning algorithms to logical operations of plausible reasoning

DOI10.1134/S1064230709030083zbMATH Open1308.68100MaRDI QIDQ2017512FDOQ2017512

Authors: K. A. Naidenova 

Publication date: 23 March 2015

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 798660
• Logic-based machine learning
• Inductive logic, verisimilitude, and machine learning
• A logic for binary classifiers and their explanation
• scientific article; zbMATH DE number 44997
• scientific article; zbMATH DE number 5842448
• scientific article; zbMATH DE number 1934579
• scientific article; zbMATH DE number 1931861

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Tane: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
• Comparing performance of algorithms for generating concept lattices
• Galois Connexions
• On the complexity of inferring functional dependencies
• Algorithms for inferring functional dependencies from relations
• Attributive concept descriptions with complements
• Title not available (Why is that?)
• Inductive Logic Programming: Theory and methods
• A study of relevance for learning in deductive databases
• Relations binaires, fermetures, correspondances de Galois
• A fast algorithm for building lattices
• On the irredundant generation of knowledge spaces
• Concept lattices and conceptual knowledge systems
• Partition semantics for relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inducing multi-level association rules from multiple relations

Cited In (2)

• The Premise Reduction of SMTT Inference Algorithm
• Plausible reasoning in an algorithm for generation of good classification tests

Uses Software

• TANE

This page was built for publication: Reducing one class of machine learning algorithms to logical operations of plausible reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2017512)