Analogical logic program synthesis algorithm that can refute inappropriate similarities

DOI10.1007/3-540-60454-5_45MaRDI QIDQ6083916zbMATH OpenOpenAlexFDO

Authors Ken Sadohara, Makoto Haraguchi

Publication date 8 December 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60454-5_45

Mathematics Subject Classification ID

Logic programming (68N17) Computational learning theory (68Q32)

Recommendations

• Publication:3028367
• scientific article; zbMATH DE number 4072443
• Equivalent logic programs
• Logical approximation for program analysis
• Analogy in automated deduction: a survey
• A sound and complete semantics for a similarity-based logic programming language
• Similarity-based inconsistency-tolerant logics

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Completeness and properness of refinement operators in inductive logic programming
• scientific article; zbMATH DE number 996398 (Why is no real title available?)
• scientific article; zbMATH DE number 4098740 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 54155 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Interactive concept-learning and constructive induction by analogy
• On the role of interpretive analogy in learning
• Short note: procedural semantics and negative information of elementary formal system
• Theorem proving with abstraction
• Towards a mathematical theory of machine discovery from facts

This page was built for publication: Analogical logic program synthesis algorithm that can refute inappropriate similarities

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