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

Published: May 1993; WTEC Hyper-Librarian