E1AR0002@SMUVM1.BITNET (09/26/86)
Summary: Report of Outgoing and Ingoing Presidents Interact R&D Starts AI division Review of 1986 Canadian AI Conference at Montreal. It had 375 people registered. Best appaer was James Delgrande of Simon Fraser University. The Canadian Society for Computational Studies of Intelligence is now up to 800 from 250 two years ago. (This was prior to including people who became members upon paying non-member fees at the Canadian AI conference). Proceedings of the 1986 Conference costs $30.00 Contents Why Kids Should Learn to Program, Elliot Soloway, Yale University Generative Structure in Enumerative Learning Systems Robert C. Holte, Brunel Univeristy, R. Michael Warton, York University Detecting Analogous Learning Ken Wellsch, Marlene Junes of University of Waterloo GUMS: A General User Modeling System Tim Finin, University of Pennsylvania Dave Drager, Arity Corporation An Efficient Tableau-Based Theorem Prover Franz Oppacher, Ed Suen of Carleton University Domain Circumscription Revisited David Etherington, Universityof British Columbia Robert Mercer, University of Western Ontario A Propositional Logic for Natural Kinds James Delgrande, Simon Fraser University Fagin and Halpern on Logical Omniscienceses: A Critique with an Alternative Robert F. Hadley Simon Fraser University Representing Contextual Dependencies in Discourse Tomek Strzalkowski, Simon Fraser University A Domain-Independent Natural Language Database Interface Yawar Ali, Raymond Aubin, Barry Hall, Bell Northern Research Natural Language Report Synthesis: An Application to Marine Weather Forecasts R. Kittredge, A. Polguere of Universite de Montreal E. Goldberg Environment Canada What's in an Answer: A Theoretical Perspectiveon Deductive Questioning Answering Lenhart Schubert, L. Watanabe of University of Alberta A New Implementation for Generalized Phrase Structure Grammar Philip Harrison, Michael Maxwell Boeing Artificial Intelligence Center TRACK: Toward a Robust Natural Language INterface Sandra Carberry, University of Delaware Representation of Negative and Incomplete Information in Prolog Kowk Hung Chan, University of Western Ontario On the Logic of Representing Dependencies by Graphs, Judea Pearl of Universityof California Azaria Paz Technion, Israel Institute of Technology A proposal of Modal Logic Programming (Extended Abstract) Seiki Akama, Fujitsu ltd., Japan Classical Equality and Prolog E. W. Elcock and P. Hoddinott of University of Western Ontario Diagnosis of Non-Syntactic Programming Errors in the Scent Advisor Gordon McCalla, Richard B. Bunt, Janelle J. Harms of University of Saskatchewan Using Relative Velocity INformation to Constrain the Motion Correspondence Problem Michael Dawson and Zenon Pylyshyn, University of Western Ontario Device Representation Using Instantiation Rules and Structural Templates Mingruey R. Taie, Sargur N. Srihari, James Geller, Stuart C. Shapro of State University of New York at Buffalo Machine Translation Between Chinese and English Wanying Jin, University of Texas at Austin Interword Constraints in Visual Word Recognition Jonathan J. Hull, State University of New York at Buffalo Sensitivity to Corners inFlow Paterns Norah K. Link and STeve Zucker, McGill University Stable Surface Estimation Peter T. Sander, STeve Zucker, McGill University Measuring Motion in Dynamic Images: A Clustering Approach Amit Bandopadhay and R. Dutta, University of Rochester Determining the 3-D Motion of a Rigid Surface Patch without Correspondence, Under Perspective Projection John Aloimonos and Isidore Rigoutsos, University of Rochester Active Navigation Amit Bandopadhay, Barun Chandra and Dana H. Ballard, University of Rochester Combining Visual and Tactile Perception for Robotics J. C. Rodger and Roger A. Browse, Queens University Observation on the Role of Constraints in Problem Solving Mark Fox of Carnegie-Mellon University Rule Interaction in Expert System Knowledge Bases Stan Raatz, University of Pennsylvania George Drastal, Rutgers University Towards User specific Explanations from Expert Systems Peter van Beek and Robin Cohen, University of Waterloo DIALECT: An Expert Assistant for Informatin REtrieval Jeane-Claude Bassano, Universite de Paris-Sud Subdivision of Knowledge for Igneous Rock Identification Brian W. Otis, MIT Lincoln Lab Eugene Freuder, University of New Hampshire A Hybrid, Decidable, Logic-Based Knowledge Representation System Peter Patel-Schneider, Schlumberger Palo Alto Research The Generalized-Concept Formalism: A Frames and Logic Based Representation Model MIra Balaban, State University of New York at Albany Knowledge Modules vs Knowledge-Bases: A Structure for Representing the Granularity of Real-World Knowledge Diego Lo Giudice and Piero Scaruffi, Olivetti Artificial Intelligence Center, Italy Reasoning in a Hierarchy of Deontic Defaults Frank M. Brown, Universityof Kansas Belief Revision in SNeps Joao P. Martins Instituto Superior Tecnico, Portugal Stuart C. Shapiro, State University of New York at Buffalo GENIAL: Un Generateur d'Interface en Langue Naturelle Bertrand Pelletier et Jean Vaucher, Universite de Montreal Towards a Domain-Independent Method of Comparing Search Algorithm Run-times H. W. Davis, R. B. Polack, D. J. Golden of Wright State University Properties of Greedily Optimized Ordering Problems Rina Dechter, Avi Dechter, University of California, Los Angeles Mechanisms in ISFI: A Technical Overview (Short Form) Gary A. Cleveland TheMITRE Corp. Un Systeme Formel de Caracterisation de L'Evolution des Connaissances Eugene Chouraqui, Centre National de la Recherche Scientifique Une Experience de l'Ingenierie de la Connaissance: CODIAPSY Developpe avec HAMEX Michel Maury, A. M. Massote, Henri Betaille, J. C. Penochet et Michelle Negre of CRIME et GRIP, Montpellier, France __________________________________________________________________________ Report on University of Waterloo Research on Logic Mediated Knowledge Based Personal Information Systems They received a 3 year $450,000 grant. They will prototype Theorist, a PROLOG based system, in which they will implement a diagnostic system with natural language interface for complex system, a system to diagnose children's reading disabilities. They will also develop a new Prolog in which to write Theorist. This group has already implemented DLOG, a "logic-based knowledge representation sytem", two Prologs (one of which will be distributed by University of wAterloo's Computer System Group), designed Theorist, implemented an expert system for diagnosing reading disabilities (which will be redone in Theoritst) and designed a new architecture for Prolog, and implemented Concurrent Prolog. __________________________________________________________________________ Reviews of John Haugeland's "Artificial Intelligence: The Very Idea" "The Connection Machine" by W W. Daniel HIllis, "Models of the Visual Cortex" by David Rose and Vernon G. Dobson