E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) (04/12/87)
Summary of Canadian Artificial Intelligence, April 1987, NO. 11 Discussion of the "Canadian Working Group on Prolog Standardization" first meeting. There is a newsletter available on LISP called "Lisp Pointers" available free from: Mary S. Van Deusen, Editor IBM Research P. O. Box 704 Yorktown Hieghts, NY 10598, USA maida@ibm.com A new consulting firm in expert systems: Expert Solutions, 8 Olympus Avenue, Toronto (Dr. Peter Davies) Article on expert system activities of the Canadian railways. Report from the first Workshop on Knowledge Acquisition for Knowledge- Based Systems was sponsored by the American Association of ARtificial Intelligen ce James Bradford of Brock University is developing AI based tools to offer spontaneous advise to those using commercial packages on PC's. This will include evaluation of user productivity and satisfaction in field trials. He is also developing a natural language student advisor. At University of Alberta, the Schubert and Pelletier natural language system is being modified to handle quantifiers such as "some" and "every" combined with "and" and "not". Also a Generalized Phrase Structure Grammar with a left-corner parser is being developed which generates something close to first-order logic with identity. Other work at University of Alberta: THINKER, a natural deduction system for first-order predicate logic with identity. qualitative physics including liquid flow system for handling shared logic databases including consistency and completeness and concurrency issues robot planning using first-order logic new search algorithms including a parallel alpha-beta algorithm which was used in the first place World Computer Chess Championship (on 20 Sun workstations) incremental learning of conjunctive ocnepts by example genetic learning algoirthms List of papers on the workshop "The Challenge of Commonsense Knowledge Representation in Artificial Intelligence" Expert Systems and Common Sense R. Narasimhan, Tata Institute of Fundamental Research in Bombay Knowledge Reprentation: What is it? N. Circone, University of Victoria Some Uncommon Sense About Commonsense A. Kelkar, Deccan College in Pune Contributions of Semioptics to the Issue of Commonsense Knowledge Representation P. Bouissac of Victoria College at the University of Toronto Commonsense and the Interpretation of Human Phenomena J. C. Gardin, CNRS at Paris Knowledge Representation Issues in Automated Tutoring G. McCallas of the University of Saskatchawan Markovian Connotation Models for the Exploration of Commonsense Knowledge P. Miranda of Laval University From Meaning to Text: Semantic Representation in the Meaning Text Linguistic Theory I. Melcuk of l'Universite de Montreal Neurollinguistics: From Static Representational STructures to Dynamic Processes J. L. Nespoulous Biology of Natural Language A. R. Lecours of Centre Hospitalier de la Reine Marie in Montreal Concluding Paper S. Ramani of the Tata Institute in Bombay Reviews of Roy Davies, Intelligent Information Systems: Progress and Prospects Kokichi Sugihara, Machine Interpretation of Line Drawing Michael L. Brodie and John Mylopoulos, On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies