Theory refinement combining analytical and empirical methods

DOI10.1016/0004-3702(94)90028-0MaRDI QIDQ1327162zbMATH OpenOpenAlexFDO

Authors Dirk Ourston, Raymond J. Mooney

Publication date 1 March 1995

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(94)90028-0

zbMATH Keywords

knowledge basepropositional Horn-clause domain theory

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 996397
• scientific article; zbMATH DE number 194616
• Feature selection vs theory reformulation: A study of genetic refinement of knowledge-based neural networks
• Maximizing theory accuracy through selective reinterpretation
• A generalization model based on OI-implication for ideal theory refinement

Cites work

• A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
• Approximation algorithms for combinatorial problems
• scientific article; zbMATH DE number 4174350 (Why is no real title available?)
• scientific article; zbMATH DE number 4166886 (Why is no real title available?)
• scientific article; zbMATH DE number 4166890 (Why is no real title available?)
• scientific article; zbMATH DE number 3978432 (Why is no real title available?)
• scientific article; zbMATH DE number 49253 (Why is no real title available?)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Quantifying inductive bias: AI learning algorithms and Valiant's learning framework

Cited in

(18)

• Knowledge base refinement: A bibliography
• A skill refinement learning model for prioritized rule-based expert systems
• Knowledge-based artificial neural networks
• Feature selection vs theory reformulation: A study of genetic refinement of knowledge-based neural networks
• Refining numerical constants in first order logic theories
• The complexity of theory revision
• The automated refinement of a requirements domain theory
• A fuzzy theory refinement algorithm
• Effective and efficient knowledge base refinement
• PALO: a probabilistic hill-climbing algorithm
• Revising threshold functions
• Markov logic networks
• scientific article; zbMATH DE number 996397 (Why is no real title available?)
• scientific article; zbMATH DE number 1149410 (Why is no real title available?)
• Structure learning of probabilistic logic programs by searching the clause space
• scientific article; zbMATH DE number 194616 (Why is no real title available?)
• Theory revision with queries: Horn, read-once, and parity formulas
• An analysis of refinement in an abortive paradigm

This page was built for publication: Theory refinement combining analytical and empirical methods

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