Building expert systems
ESPRIT 932: Knowledge Based Real-Time Supervision in Computer Integrated Manufacturing (CIM)
Wissensbasierte Systeme, 2. Internationaler GI-Kongress,
Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...