Dickson Lukose Rob Kremer

KNOWLEDGE ENGINEERING

PART A
Knowledge Representation


 
Dr Dickson Lukose
Department of Mathematics, Statistics and Computer Science
The University of New England
Armidale, N.S.W., 2350
AUSTRALIA
Email: ke@neumann.une.edu.au
Tel: (067) 73 2302
Fax: (067) 73 3312
Dr Rob Kremer
Department of Computer Science
The University of Calgary
Calgary, Alberta, T2N 1N4
Canada
Email: kremer@cpsc.ucalgary.ca
Tel: (403) 220-5112
Fax: (403) 284-4707

Preface

Knowledge Engineering is the technique applied by knowledge engineers to build intelligent systems: Expert Systems, Knowledge Based Systems, Knowledge based Decision Support Systems, Expert Database Systems, etc. There are two main view to knowledge engineering. The traditional view is known as "Transfer View". In this view, the assumption is to apply conventional knowledge engineering techniques to transfer human knowledge into artificial intelligent systems. The alternative view is known as the "Modelling View". In this view, the knowledge engineer attempts to model the knowledge and problem solving techniques of the domain expert into the artificial intelligent system.

The view studies in this Knowledge Engineering topic is the "Modelling View". To effectively practice knowledge engineering, a knowledge engineer require knowledge in two main areas. They are: Knowledge Representation; and Knowledge Modelling. The knowledge representation scheme studied is Conceptual Structure (Sowa, 1984), and the Knowledge Modelling techniques studied is the KADS (Schreiber, Wielinga, and Breuker, 1993). Thus, the study in Knowledge Engineering is divided into 2 major parts. They are:

Part A: Conceptual Structure
Part B: Knowledge Modelling

Dr Dickson Lukose
Department of Mathematics,
Statistics, and Computer Science
UNE, Armidale. 


Contents

Lecture 1. Philosophical Basis 1.1. Introduction
1.2. Knowledge and Models
1.3. Psychological Issues
1.4. Linguistic Issues
1.5. Intensions and Extensions
1.6. Primitives and Prototypes
1.7. Symbolic Logic and Common Sense
1.8. Artificial Intelligence
Lecture 2. Psychological Evidence 2.1. Introduction
2.2. Percepts
2.3. Mechanisms of Perception
2.4. Conceptual Encoding
2.5. Schemata
2.6. Working Registers
2.7. Recognition and Recall
Lecture 3. Conceptual Graphs 3.1. Conceptual Graphs
3.2. Percepts and Concepts
3.3. Semantic Networks
Lecture 4. Conceptual Graphs  4.1. Individuals and Names
4.2. Canonical Graphs
Lecture 5. Conceptual Graphs 

Lecture 6. Conceptual Graphs 

6.1. Abstraction and Definition
6.2. Aggregation and Individuation
Lecture 7. Reasoning and Computation 7.1. Schemata and Prototype Lecture 8. Reasoning and Computation 8.1. Symbolic Logic
8.2. Propositional Calculus
8.3. Predicate Calculus
8.4. Existential Graphs
8.5. Peirce's Alpha Rules for Propositional Calculus
8.6. Peirce's Beta Rules for Predicate Calculus


Dickson Lukose &.  Rob Kremer.  KNOWLEDGE ENGINEERING, PART A: Knowledge Representation.  July 1996.