Learning Qualitative Models of Dynamic Systems
Elsevier eBooksPublished 1 January 1991
Ivan Bratko, Stephen Muggleton, Alen Varšek
Citations86
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The QSIM formalism is used as a representation for learned qualitative models of dynamic systems and the GOLEM learning program is used for induction.
Abstract
A technique is described for learning qualitative models of dynamic systems. The QSIM formalism is used as a representation for learned qualitative models. The problem of learning QSIM-type models is formulated in logic, and the GOLEM learning program is used for induction. An experiment in learning a qualitative model of the connected containers system, also called U-tube, is described in detail.
Keywords
Computer ScienceEngineering
Artificial IntelligenceA qualitative physics based on confluences
1,499 Citations1984Johan de Kleer, John Seely Brown
A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.
Machine LearningLearning Logical Definitions from Relations
1,425 Citations1990J. R. Quinlan
FOIL is a system that learns Horn clauses from data expressed as relations, but extends them to a first-order formalism, which has been applied successfully to several tasks taken from the machine learning literature.
Efficient Induction of Logic Programs
657 Citations1990Stephen Muggleton, Cheng Feng
The concept of h-easy rlgg clauses is introduced and it is proved that the length of a certain class of \determinate" r lgg is bounded by a polynomial function of certain features of the background knowledge.
Machine LearningLearning logical definitions from relations
613 Citations1990J. R. Quinlan
foil is a system that learns Horn clauses from data expressed as relations, based on ideas that have proved effective in attribute-value learning systems, but extends them to a first-order formalism.
Elsevier eBooksMachine Invention of First-order Predicates by Inverting Resolution
441 Citations1988Stephen Muggleton, Wray Buntine
A mechanism for automatically inventing and generalising first-order Horn clause predicates is presented, based on inverting the mechanism of resolution, which has its roots in the Duce system for induction of propositional Horn clauses.
Artificial Intelligence in MedicineKARDIO: A study in deep and qualitative knowledge for expert systems
176 Citations1991
This book is the first detailed account of the development of a complex and successful expert system based on deep and qualitative knowledge and shows how the qualitative modeling approach, using logic based representations and machine learning techniques, can be used to construct knowledge bases whose complexity is far beyond the capability of traditional, dialogue based techniques of knowledge acquisition.
Lecture notes in computer scienceLearning nonrecursive definitions of relations with linus
163 Citations1991Nada Lavrač, Sašo Džeroski +1 more
The paper gives a description of LINUS and presents the results of its successful application to several inductive learning tasks taken from the machine learning literature.
Self-explanatory simulations: an integration of qualitative and quantitative knowledge
108 Citations1990Kenneth D. Forbus, Brian Falkenhainer
Elsevier eBooksLearning Qualitative Models of Dynamic Systems
86 Citations1991Ivan Bratko, Stephen Muggleton +1 more
The QSIM formalism is used as a representation for learned qualitative models of dynamic systems and the GOLEM learning program is used for induction.
Lecture notes in computer scienceInteraction-based invention: Designing novel devices from first principles
59 Citations1990Brian Williams
It is proposed that an appropriate focus for design is the network of qualitative interactions between quantities, (called an interaction topology), used by a device to achieve its desired behavior.
Elsevier eBooksTHE ROLE OF ABSTRACTIONS IN LEARNING QUALITATIVE MODELS
26 Citations1987Igor Mozetič
A knowledge acquisition system for the construction of deep knowledge bases, represented by qualitative models, which proposes a top-down development of a model from very abstract to more and more specific.