SPE
Review of Computing with Logic: Logic Programming with Prolog
Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.
Uncertainty in Artificial Intelligence
The workshop featured significant developments in application of theories of representation and reasoning under uncertainty. The effectiveness of these choices in AI systems tends to be best considered in terms of specific problem areas. Influence diagrams are emerging as a unifying representation, enabling tool development. Interest and results in uncertainty in AI are growing beyond the capacity of a workshop format.
High-Level Connectionist Models
A workshop on high-level connectionist models was held in Las Cruces, New Mexico, on 9-11 April 1988 with support from the Association for the Advancement of Artificial Intelligence and the Office of Naval Research. John Barnden and Jordan Pollack organized and hosted the workshop and will edit a book containing the proceedings and commentary. The book will be published by Ablex as the first volume in a series entitled Advances in Connectionist and Neural Computation Theory.
A Knowledge-Based Model of Audit Risk
Dhar, Vasant, Lewis, Barry, Peters, James
Within the academic and professional auditing communities, there has been growing concern about how to accurately assess the various risks associated with performing an audit. These risks are difficult to conceptualize in terms of numeric estimates.
Prose Generation from Expert Systems: An Applied Computational Linguistics Approach
The PROSENET/TEXTNET approach is designed to facilitate the generation of polished prose by an expert system. The approach uses the augmented transition network (ATN) formalism to help structure prose generation at the phrase, sentence, and paragraph levels. The approach also uses expressive frames to help give the expert system builder considerable freedom to organize material flexibly at the paragraph level. The PROSENET /TEXTNET approach has been used in a number of prototype expert systems in medical domains, and has proved to be a convenient and powerful tool.
Intelligent Computer-Aided Engineering
The goal of intelligent computer-aided engineering (ICAE) is to construct computer programs that capture a significant fraction of an engineer's knowledge. Today, ICAE systems are a goal, not a reality. We begin by examining several scenarios of what ICAE systems could be like. Next we describe why ICAE won't evolve directly from current applications of expert system technology to engineering problems.