Using meta-knowledge within a multilevel framework for KBS development

This paper describes a multilevel development life cycle of representation refinement for knowledge-based systems that incorporates meta-knowledge at each level. The methodology uses formal techniques in the specification of the domain knowledge, the cognitive aspects and the representation. The methodology provides the knowledge engineer with a dynamic perspective of the system which can be used in conjunction with the static aspects found in the representation abstractions. To provide perspective, the paper details the refinement of one of the levels called the intermediate level, in which an implementation-independent representation is created by the use of a knowledge filter.

[1]  James S. Bennett,et al.  HPP-79-11 ( Working Paper ) Transfer of Expertise : A Theme for AI Research , 2022 .

[2]  A. L. Kidd,et al.  Knowledge acquisition for expert systems: a practical handbook , 1987 .

[3]  John McCarthy.  First Order Theories of Individual Concepts and Propositions. , 1979 .

[4]  Michael J. Maher,et al.  The Denotational Semantics of Horn Clauses as a Production System , 1983, AAAI.

[5]  Henrik Eriksson,et al.  A survey of knowledge acquisition techniques and tools and their relationship to software engineering , 1992, J. Syst. Softw..

[6]  V. David Hopkin,et al.  Verification and Validation of Complex Systems: Additional Human Factors Issues , 1993 .

[7]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[8]  David H. D. Warren,et al.  Efficient Processing of Interactive Relational Data Base Queries expressed in Logic , 1981, VLDB.

[9]  K. Jones,et al.  Focusing software requirements through rapid prototyping , 1994, 1994 Proceedings of Canadian Conference on Electrical and Computer Engineering.

[10]  Gruia-Catalin Roman,et al.  Applying formal verification methods to rule-based programs , 1994 .

[11]  Nigel Shadbolt,et al.  A formal evaluation of knowledge elicitation techniques for expert systems: domain 1 , 1988 .

[12]  Janet M. Twomey,et al.  Validation and Verification , 1997 .

[13]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[14]  Robert J. K. Jacob,et al.  Using formal specifications in the design of a human-computer interface , 1983, CACM.

[15]  T. Landauer,et al.  Handbook of Human-Computer Interaction , 1997 .

[16]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[17]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[18]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[19]  John H. Boose,et al.  A survey of knowledge acquisition techniques and tools , 1993 .

[20]  Laurence Moseley,et al.  Knowledge elicitation: Principles, techniques and applications , 1990 .

[21]  Alex Goodall,et al.  The guide to expert systems , 1985 .

[22]  Robert Plant,et al.  Formal semantics for rule-based systems , 1995, J. Syst. Softw..

[23]  Michael J. Freiling,et al.  Knowledge Level Engineering Ontological Analysis , 1986, AAAI.

[24]  Izak Benbasat,et al.  A framework for the comparative evaluation of knowledge acquisition tools and techniques , 1990 .

[25]  Mark D. Grover,et al.  A Pragmatic Knowledge Acquisition Methodology , 1983, IJCAI.

[26]  John P. van Gigch,et al.  Epistemological Questions Raised by the Metasystem Paradigm , 1984, Int. J. Man Mach. Stud..

[27]  Larry J. Morell.  Use of metaknowledge in the verification of knowledge-based systems , 1988, IEA/AIE '88.

[28]  Alun D. Preece,et al.  Toward a quality assessment framework for knowledge-based systems , 1995, J. Syst. Softw..

[29]  Alison Connolly.  Knowledge elicitation: Principles, techniques and applications , 1991 .

[30]  Richard W. Weyhrauch.  Prolegomena to a theory of mechanized formal reasoning , 1990 .

[31]  Dan Diaper.  Knowledge elicitation: principle, techniques and applications , 1989 .

[32]  Bob Wielinga,et al.  Use of Models in the Interpretation of Verbal Data , 1987 .

[33]  Erik Hollnagel,et al.  Mapping Cognitive Demands in Complex Problem-Solving Worlds , 1987, Int. J. Man Mach. Stud..

[34]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[35]  Jon Doyle,et al.  A model for deliberation, action, and introspection , 1981, SGAR.

[36]  David D. Woods,et al.  Commentary: Cognitive Engineering in Complex and Dynamic Worlds , 1988, Int. J. Man Mach. Stud..

[37]  Iain D. Craig.  Formal specification of advanced AI architectures , 1991, Ellis Horwood series in artificial intelligence.

[38]  A. Carlisle Scott,et al.  Practical guide to knowledge acquisition , 1991 .

[39]  Peter Checkland,et al.  Systems Thinking, Systems Practice , 1981 .

[40]  C. A. Harris,et al.  Knowledge acquisition techniques for expert systems , 1989 .

[41]  Michael D. Harrison,et al.  Formal methods in human-computer interaction , 1990 .

[42]  Robert T. Craig,et al.  Conversational coherence : form, structure, and strategy , 1983 .

[43]  Jens Rasmussen,et al.  Cognitive Systems Engineering , 2022 .

[44]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[45]  Graham I. Johnson,et al.  Usability and self-service information technology: Cognitive engineering in product design and evaluation , 1996, AT&T Tech. J..

[46]  Patrick J. Hayes,et al.  Computation and Deduction , 1973, MFCS.

[47]  Emilie M. Roth,et al.  Cognitive Task Analysis: An Approach to Knowledge Acquisition for Intelligent System Design , 1989 .

[48]  Rose F. Gamble,et al.  A methodology to incorporateformal methods in hybrid KBS verification , 1996, Int. J. Hum. Comput. Stud..

[49]  Gordon I. McCalla,et al.  What is knowledge representation , 1987 .

[50]  Daniel E. O'Leary,et al.  Verification and validation of intelligent systems: Five years of aaai workshops , 1994, Int. J. Intell. Syst..

[51]  Robert Plant,et al.  Rigorous approach to the development of knowledge-based systems , 1991, Knowl. Based Syst..

[52]  Jifeng He,et al.  Specification, analysis and refinement of interactive processes , 1990 .

[53]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..