Comparing Formal Specification Languages for Complex Reasoning Systems
Date de publication : 1993
Éditeur : Linköping University, Department of Computer and Information Science
Nombre de pages : 30
Résumé du livre
Abstract: "This paper presents a comparison between eight specification languages discussed during the Workshop on Formal Specification Techniques for Complex Reasoning Systems held in Vienna during the ECAI'92 conference. The languages as discussed here possess many important common characterisctics [sic], but also differ substantially. The analysis discussed here departs from looking at the purposes of the presented languages (Section 1). The comparison in Section 2 focuses on the way of dealing with heuristic knowledge in the specification of the common example task. In Section 3 some differences between the languages are discussed: expressive power; the way of specifying control knowledge; layering of the system architecture; [sic].