1993
DOI: 10.1007/bf00993059
|View full text |Cite
|
Sign up to set email alerts
|

An integrated framework for empirical discovery

Abstract: Abstract. In this article we present a framework that integrates three aspects of empirical discovery--the formation of taxonomies, the generation of qualitative laws, and the detection of numeric relations. We specify a control structure that integrates these component processes, embedding qualitative discovery within taxonomy formation, and embedding numeric discovery within both of these activities. We also describe the framework's basic representation and organization of knowledge, which combines elements … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
19
0

Year Published

1993
1993
2015
2015

Publication Types

Select...
6
1
1

Relationship

0
8

Authors

Journals

citations
Cited by 27 publications
(19 citation statements)
references
References 19 publications
0
19
0
Order By: Relevance
“…Generality, accuracy and utility of laws (theorems and models) justify the investment made by introduction of a concept used in those laws (theorems, models). Automated scientific discovery systems (BACON: Langley et al 1987; IDS: Nordhausen & Langley, 1993;FAHRENHEIT: Zytkow, 1996) explore this view of concepts, keeping them only when justified by the simultaneously discovered knowledge.…”
Section: Concepts and Knowledgementioning
confidence: 98%
“…Generality, accuracy and utility of laws (theorems and models) justify the investment made by introduction of a concept used in those laws (theorems, models). Automated scientific discovery systems (BACON: Langley et al 1987; IDS: Nordhausen & Langley, 1993;FAHRENHEIT: Zytkow, 1996) explore this view of concepts, keeping them only when justified by the simultaneously discovered knowledge.…”
Section: Concepts and Knowledgementioning
confidence: 98%
“…Soon afterwards, based on inductive learning and logical reasoning, a number of systems, such as STAHL [60], FAH-RENHEIT [61] and IDS [38], were developed in this field. In China, Chinese scholars, such as Wu [52], have made fruitful achievements in mechanical theorem proving in geometries.…”
Section: Technical Originsmentioning
confidence: 99%
“…In order to build a solid theory foundation for the future development of UKD, the concept of UKD is defined, and various categories of universal knowledge are described. To accelerate the development of UKD, a unified research paradigm should be built based on techniques and paradigms from related research domains, which include not only data mining, but also machine discovery [28,29,38,52,60,61], big data analytics [16,31,43,56,58,59] and complex systems science [8,22,41,42,51,53]. To meet this need, a novel research paradigm called dual-cycle methodology is proposed.…”
Section: Introductionmentioning
confidence: 99%
“…For instance, Nordhausen & Pazzani (1993) proposes a method to learn causal relation from observations, and Saitta and co-workers developed the system WHY, which exploits a causal model to learn and revise a set of rules [Saitta, Botta, & Neri, 1993;Baroglio, Botta, & Saitta, 1994]. More oriented to the development of tutoring systems, Sleeman et al (1990) present a model of a student learning high-school algebra.…”
Section: Artificial Intelligencementioning
confidence: 99%