Download:
by Peter Clark, John Thompson, Bruce Porter
In Proc. of KR-2000
http://ranger.uta.edu/~alp/ix/readings/clarkKnowledgePatterns.pdf
Add To MetaCart
Abstract:
When building a knowledge base, one frequently repeats similar versions of general theories in multiple, more specific theories. For example, when building the Botany Knowledge Base[Porter et al., 1988], we em-bedded a theory of production in representations of photosynthesis, mitosis, growth, and many other botanical processes. Typically, a general theory is incorporated into more specific ones by an inheritance mechanism. However, this works poorly in two situations: when the general theory applies to a specific theory in more than one way, and when only a selected portion of the general theory is applicable. We address this problem with a knowledge engineering technique based on the explicit representation of knowledge patterns, i.e., general templates denoting recurring theory schemata, and their transformation (through symbol renaming) for importing into specific theories. This technique provides considerable flexibility. A knowledge pattern may be transformed in multiple ways, and each resulting theory can be imported in whole or in part. We describe an application built using this technique, then critique its strengths and weaknesses. We conclude that this technique enables us to better modularize knowledgebases and to reuse their general theories.
Citations
|
625
|
Design Patterns
– Gamma, Helm, et al.
- 1995
|
|
524
|
A framework for representing knowledge
– Minsky
|
|
209
|
Categories and concepts
– Smith, Medin
- 1981
|
|
181
|
Compositional modeling: finding the right model for the job
– Falkenhainer, Forbus
- 1991
|
|
157
|
KADS: a Modeling Approach to Knowledge Engineering
– Wielinga, Schreiber, et al.
- 1992
|
|
126
|
Putting theories together to make specifications
– Burstall, Goguen
- 1977
|
|
126
|
Basic category theory for computer scientists. Foundations of Computing
– Pierce
- 1991
|
|
82
|
The structure-mapping engine
– Fallkenhainer, Forbus, et al.
- 1986
|
|
72
|
Reusing and Interconnecting Software Components
– Goguen
- 1986
|
|
72
|
Nirenburg S.: A situated ontology for practical NLP
– Mahesh
- 1995
|
|
72
|
Specware: Formal support for composing software
– Srinivas, Jullig
- 1995
|
|
40
|
Automated modeling of complex systems to answer prediction questions
– Rickel, Porter
- 1997
|
|
39
|
Ontology Reuse and Application
– Uschold, Healy, et al.
|
|
34
|
Building Concept Representations from Reusable Components
– Clark, Porter
- 1997
|
|
31
|
AI Research in the Context of A Multifunctional Knowledge Base: The Botany Knowledge Base Project
– Porter, Lester, et al.
- 1988
|
|
21
|
KM – the knowledge machine: Users manual
– Clark, Porter
- 1999
|
|
21
|
Classification Problem Solving
– Clancey
- 1984
|
|
15
|
OO Patterns: Lessons from Expert Systems
– Menzies
- 1997
|
|
10
|
A knowledgebased approach to question-answering
– Clark, Thompson, et al.
- 1999
|
|
8
|
Cognitive cliches. AI Working Paper 286
– Chapman
- 1986
|
|
6
|
Specware language manual
– Jullig, Srinivas, et al.
- 1995
|
|
5
|
Representing scientific experiments: Implications for ontology design and knowledge sharing
– Noy, Hafner
- 1998
|
|
3
|
Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design
– Chandrasekaren
- 1986
|
|
3
|
The cyc public ontology. (http://www.cyc.com/public.html
– Cycorp
- 1996
|
|
3
|
The cyc public ontology
– Cycorp
- 1996
|
|
2
|
Microtheories: An ontological engineer's guide. Tech Rept CYC-050-92
– Blair, Guha, et al.
- 1992
|
|
2
|
KB-PHaSE: A knoweldge-based training tool for a space station experiment
– Clark, Thompson, et al.
- 1998
|
|
2
|
Reuse of knowledge at the appropriate level of abstraction
– Williamson, Healy, et al.
- 2000
|
|
1
|
Context in artificial intelligence (web site
– Maine
- 1998
|