APPENDIX G

GLOSSARY

AI

Artificial Intelligence

ATMS

Assumption-based Truth Maintenance System

CBR

Case-Based Reasoning

ES

Expert System(s)

FGCS

Fifth Generation Computing Systems project

FOL

First Order Logic

GUI

Graphic User Interface

KBS

Knowledge-Based System(s)

KE

Knowledge Engineer

KR

Knowledge Representation

LISP

Programming language; name derived from "List Processing"

MDL

Minimum Description Length

MGTP

Model Generation Theorem Prover

OWL

A knowledge engineering language for frame-based representation (implemented in LISP)

PIM

Parallel Inference Machine

PROLOG

Programming language; name derived from "Programming in Logic"

PSI

Personal Sequential Inference

PTA

Procedural Type Atoms

RETE

The standard implementation technique for forward chaining pattern matching (developed by C. Forgy)

SNePS

The semantic network processing system developed by S.C. Shapiro

UIBT

User Interface Building Tools