An Efficient Problem Solving Architecture Using ATMS
F. Arlabosse, Bruno Jean-Bart, Nathalie Porté, Beatrice de Ravinel · AI Communications · 1988
An overall goal for second generation KBS is to develop a theory of reasoning based on the structure and behavior of a physical system. To understand how a physical system works is essential for diagnosing it. Conversely, diagnosing a device is a goo