Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 197
AIList Digest Thursday, 25 Sep 1986 Volume 4 : Issue 197
Today's Topics:
AI Tools - University of Rochester HORNE System &
Parallel Inference System at Maryland,
Conferences - Upcoming Conference Programs (FJCC, COMPSAC, OIS,
Info. and Software Sciences, Chautaqua)
----------------------------------------------------------------------
Date: Thu, 11 Sep 86 13:30 EDT
From: Brad Miller <miller@UR-ACORN.ARPA>
Subject: New University of Rochester HORNE system available
The University of Rochester HORNE reasoning system has just been rereleased in
common-lisp form, currently running on a symbolics (though any common-lisp
system should be able to run it with minor porting).
Features:
Horne Clause resolution prover (similar to PROLOG) with typed
unification and specialized reasoner for equalities (e.g. A and B can be
asserted to be equal, and so will unify). Equalities can be asserted between
any ground forms including functions with ground terms. A forward chaining
proof mechanism, and an interface between this system and arbitrary
common-lisp forms are also provided.
As part of the same release we are providing REP, a frame-like
knowledge representation system built on top of the theorem prover, which uses
sturctured types to represent sets of objects. A structured type may have
relations (or "roles") between its set of objects and other sets. Arbitrary
instances of an object may be asserted to be equal to another instance which
will utelize the underlying HORNE equality mechanisms.
HORNE is the product of several years of R&D in the Natural Language
Understanding and Knowledge Representation projects supervised by Prof. James
Allen at the University of Rochester, and forms the basis for much of our
current implementation work.
A tutorial introduction and manual, TR 126 "The HORNE reasoning system in
Common-Lisp" by Allen and Miller is available for $2.50 from the following
address:
Ms. Peg Meeker
Technical Reports Administrator
Department of Computer Science
617 Hylan Building
University of Rochester
River Campus
Rochester, NY 14627
In addition a DC300XL cartridge tape in Symbolics distribution format, or
Symbolics carry-tape format (also suitable for TI Explorers), or a 1/2"
1600bpi reel in 4.2BSD TAR format (other formats are not available) is
available from the above address for a charge of $100.00 which will include
one copy of the TR. This charge is made to defray the cost of the tape,
postage, and handling. The software itself is in the public domain. Larger
contributions are, of course, welcome. Please specify which format tape you
wish to receive. By default, we will send the Symbolics distribution format.
All checks should be made payable to "University of Rochester, Computer
Science Department". POs from other Universities are also acceptable. Refunds
for any reason are not available.
DISCLAIMER: The software is supplied "as-is" without any implied warrenties of
merchantability or fitness for a particular purpose. We are not responsible
for any consequential damages as the result of using this software. We are
happy to accept bug reports, but promise to fix nothing. Updates are not
included; future releases (if any) will probably be made available under a
similar arrangement to this one, but need not be. In other words, what you get
is what you get.
Brad Miller
Computer Science Department
University of Rochester
miller@rochester.arpa
miller@ur-acorn.arpa
------------------------------
Date: Thu, 11 Sep 86 17:08:33 EDT
From: Jack Minker <minker@mimsy.umd.edu>
Subject: Parallel Inference System at Maryland
[Excerpted from the Prolog digest by Laws@SRI-STRIPE.]
AI and Database Research Laboratory
at the
University of Maryland
Jack Minker - Director
The AI and Database Research Laboratory at the Univer-
sity of Maryland is pleased to announce that a parallel
logic programming system (PRISM) is now operational on the
McMOB multiprocessosor. The system uses up to sixteen pro-
cessors to exploit medium grained parallelism in logic pro-
grams. The underlying ideas behind PRISM appeared in [Eis-
inger et. al., 1982] and [Kasif et. al., 1983].
[...]
If you would like further information on PRISM, please
contact MINKER@MARYLAND or MADHUR@MARYLAND. We would also
be very interested in hearing from people who may have prob-
lems we could run on PRISM.
References:
1. Eisinger, N., Kasif, S., and Minker, J., "Logic Pro-
gramming: A Parallel Approach", in Proceedings of the
First International Logic Programming Conference, Mar-
seilles, France, 1982.
2. Kasif, S., Kohli, M., and Minker, J., "PRISM - A Paral-
lel Inference System for Problem Solving", in IJCAI-83,
Karlsruhe, Germany, 1983.
3. Rieger, C., Bane, j., and Trigg, R., "ZMOB: A Highly
Parallel Multiprocessor", University of Maryland, TR-
911, May 1980
------------------------------
Date: WED, 20 apr 86 17:02:23 CDT
From: E1AR0002%SMUVM1.BITNET@WISCVM.WISC.EDU
Subject: ****** AI AT UPCOMING CONFERENCES ******
AI papers at November 2-6, 1986 FJCC, Dallas Texas
Professional Education Program Items
John D. McGregor, Building Expert Systems Workshop
Loiss Boggess and Julia Hodges, Knowledge-Based-Based Expert
Systems
Benjamin Wah,Architectures for AI Applications
Michael Lebowitz, Natural Language Processing
Michael Lebowitz, Machine Learning
Paul Bamberg, Speech Recognition:From Isolated Digits to Natural
Language Dissertation
John Kender and Takeo Kanade, Computer Vision from an AI Perspective
Douglas DeGroot, Prolog and Knowledge INfo Processing
Harland H. Black, AI Programming and Environments
Paper Sessions
AI-1, November 4, 1:30 PM to 3:30 PM
Panel Session on "Design Issues and Practice in AI Programming"
AI-2 Session 1, November 5, 10:00 am to noon, Computer Vision
Generic Surface Interpretation Inference Rules and Quasi-Invariants
Thomas Binford, Stanford U.
An Overview of Computation of Structure and Motion From Images
J. K. Aggarwal, University of Texas at Austin
Industrial World Vision
Robert Haralick, Machine Vision International
AI-2 Session 2, November 5, 1:30 PM-3:30PM
Survey of Image Quality Measurements
I. Abdou and N. Dusaussoy, University of Delaware
A Spatial Knowledge Structure for Image Information Systems Using
Symbolic Projects
S. K. Chang, U. of Pittsburgh, E. Jungert, FFV Elektronic A. B.
Document Image Understanding
S. N. Srihari, SUNY at Buffalo
AI-3 Session 1, November 5 3:45 PM- 5:15 PM, Robotics
Living in a Dynamic World
Russell A. Andersson, AT&T Bell Labs
Error Modeling in Stereo Navigation
L. Matthies and S. A. Shafer, Carnegie Mellon U
CMU Sidewalk Navigation System
Y. Goto, et. al. Carnegie Mellon U.
AI-3 Session 2, November 6 10AM - noon
Automatic Gasp Planning: An Operation Space Approach
M. T. Mason R. C. Brost Carnegie Mellon U.
Planning Stable Grasps for Multi-fingered Hands
V. Nguyen, MIT
Off-line Planning for On-line Object Localization
T. Lozano-perez, W.E. Grimson, MIT
AI-3 Session 3, Novmeber 6, 1:30 PM - 3:30pm
AMLX: A Manufacturing Language/Extended
L. Nackman, et al. IBM t. J. Watson Research Center
SATYR and the NYMPH: SoftwareDesign in a Multiprocessor
for Control Systems
J. B. Chen et. al. Stanford University
The Meglos User Interface
R. Gaglianello and H. Katseff, AT&T Bell Laboratories
A Robot Force and Motion Server
R. Paul and H. Zhang, University of Pennsylvania
AI4, Session 1 November 5, 1:30pm - 3:30 pm, Rule Based
Systems
The AI-ADA Interface
Dr. Jorge Diaz-Herrera, George Mason University
The AI-LiISP Environment
Dr. Harry Tennant, Texas Instruments
The AI PROLOG Environment: SIMPOS- Sequential Inference
Machine Programming
Drs. H. Ishibashi, T. Chikayama, H. Sato, M. Sato and
S. Uchida, ICOT Research Center
Software Engineering for Rule-Based systems
R. J. K. Jacob and J. N. Froscher, Naval Research
Laboratory
Session 2: Knowledge Engineering pannel, November 5,
3:45 PM - 5:15 PM
Dr. Richard Wexelblat, Philips Lab, Chair
Dr. Paul Benjamin, Philips Laboratories
Dr. Christina Jette, Schlumberger Well Services
Dr. STeve Pollit, Digital Equipment
Session 3:, November 6, 1:30PM - 3:30 PM
"An Organizational Frameworks for Building Adapative Artificial
Intelligence Systems:
T. Blaxton and B. Kushner, BDM Corporation
"An Object/Task Modelling Approach"
Q. Chen, Beijing Research Institute of Surveying and Mapping
"A Plant INtelligent Supervisory Control Expert System:
M. Ali and E. Washington, Unviersity of Tennessee
"Knowledge-Based Layout Design System for Industrial Plants"
K. Yoshida, et. al., Hitachi Ltd.
Session 4: Prolog and Frame based Methods, November 6, 3:45 pm to 5:15 pm
"A Logic-Programming Approach to Frame-Based Language Design"
H. H. Chen, I. P. Lin and C. P. Wu, National Taiwan University
"Interfacing Prolog to Pascal"
K. Magel, North Dakota State University
"Knowledge-Based Optimization in Prolog Compiler"
N. Tamura, Japan Science Institute, IBM Japan
Natural Language Processing, Session 1, Nov. 4 10AM - noon
"Communication with Expert Systems"
Kathleen R. McKeown, Columbia University
"Language Analysis in Not-So-Limited Domains"
Dr. Paul S. Jacobs, General Electric, R&D
"Providing Expert Systems with INtegrated Natural Language and Graphical
Interfaces"
Dr. Philip J. Hayes, Carnegie Group Inc.
"Pragmatic Processes in a Portable NL System"
Dr. Paul Martin, SRI_AI Center
Session 2:Nov 4 1:30-3:30pm
"Uses of Structured Knowledge Representation Systems in Natural Language
Processing"
N. Sondheimer, University of Southern California
"Unifying Lexical, Syntactic and Semantic Text Processing"
K. Eiselt, University of California at Irvine
"Robustness in Natural Language Interfaces"
R. Cullingford, Georgia Tech
"Connectionist Approaches to Natural Language Processing"
G. Cottrell, UC of San Diego
Panel: Problems and Prospects of NLP NOvember 4, 3:45pm - 5:15pm
Chair: Dr. Philip J. Hayes
Gene Charniak, Brown University, Dave Waltz Thinking Machines
Robert Wilensky, UC at Berkeley, Gary Hendrix, Symantec, Jerry Hobbs, SRI
"Parallel Processing for AI" Tuesday November 4 10am - 12noon
"Parallel Prodcessing of a Knowledge-Based Vision System"
D. I. Moldovan and C. I. Wu, USC
"A Fault Tolerant, Bit-Parallel, Cellular Array Processor"
S. Morton, ITt-Advanced Technology Center
"Implementation of Parallel Prolog onTree Machines"
M. Imai, Toyohashi University of Technology
"Optimal Granularity of Parallel Evaluation of AND-Trees"
G. J. Li and B. W. Wah, University of Illinois at Urbana
(some of the following sessions contain non-AI papers that are not listed)
Session 2: New Directions in Optical Computing" November 4 1:30pm - 3:30 pm
"Optical Symbolic Computing" Dr. John Neff, DARPA/DSO andB. Kushner, BDM Co.
VLSI Design and Test: Theory and Practice, Nov 4 10AM - 12 noon
A Knowledge-Based TDM Selection System
M. E. Breuer and X. Zhu, USC
Expert Systems for Design and Test Thursday, November 6, 10AM - 12 noon
DEFT, A Design for Testability Expert System
J. A. B. Fortes and M. A. Samad
Experiences in Prolog DFT Rule Checking
G. Cabodi, P. Camurati and P. Prinetto, Politecnico di Torino
Object-Oriented Software, Tuesday, November 4 1:30pm - 3:30 pm
"Some Problems with Is-A: Why Properties are Objects"
Prof. Stan Zdonik, Brown University
Computer Chess Techniques
"Phased State Space Search" T. A. Marsland, University of Alberta and
N. Srimani, Southern Illinois U.
"A MultiprocessorChess Program" J. Schaeffer, University of Alberta
Panel Discussion
Tony Marsland, U. of Alberta, Hans Berliner, CMU, Ken Thompson, AT&T Bell Labs
Prof. Monroe Newborn, McGill University, David Levy, IntelligentSoftware,
Prof. Robert Hyatt,U. of Southern Mississippi
Searching, Nov 6, 10AM - 12 noon
"Combining Symmetry and Searching",
L. Finkelstein, et al. Northeastern University
Fifth Generation Computers I: Language Arch, Nov 5, 10AM - 12 noon
Knowledge-Based Expert System for Hardware Logic Design
T. Mano et. al. Fujitsu
Research Activities on Natural Language Processing of the FGCS Project
H. Miyhoshi, et al., ICOT
ARGOS/V: A System for Verification of Prolog Programs
H. Fujita, et al., Mitsubishi Electric
Session 4: "Supercomputing Systems" November 6 10:00am - noon
The IX Supercomputer for Knowledge Based Systems
T. Higuchi, et al. ETL
(There are positions as volunteers available for which you get to attend
the conference and get a copy of the proceedings in exchange for helping
out one day. If interested call, 409-845-8981. The program is oriented
towards graduate students and seniors.)
__________________________________________________________________________
Compsac 86, Conference October 7-10 1986, Americana Congress Hotel, Chicago Ill
Tutorial: October 6, 1986, 9AM - 5PM
Doug DeGroot, Prolog and Knowledge Information Processing
October 8 11:00 AM - 12:30 PM
Modularized OPS-Based Expert Systems Using Unix Tools
Pamela T. Surko, AT&T Bell Labs
Space Shuttle Main Engine Test Analysis: A Case Study for Inductive Knowledge
Based systems for Very Large Databases
Djamshid Asgari, Rockwell International
Kenneth L. Modesitt, California State University
A Knowledge Based Software Maintenance Environment;
Steven S. Yau, Sying-Syang Liu, Northwestern University
October 8 2:00PM - 3:30 PM
An Evaluation of Two New INference Control Methods
Y. H. Chin, W. L. Peng, National Tsing Hua University, Taiwan
Learning Dominance Relations inCombinatorial Search Problems
Chee-Fen Yu, Benjamin Wah of University of Illinois at Urbana-Champaign, USA
Fuzzy Reasoning Based on Lambda-LH Resolution
Xu-Hua Liu, Carl K. Chang and Jing-Pha Tsai, University of Illinois at Chicago
4:00-5:30PM Panel Discussion on the Impact of Knowledge-Based Technology
Chair: Charl K. Chang, University of Illinois at Chicago
Panelists: Don McNamara GE Corporate Research, Kiyoh Nakamura, Fujitsu (Japan),
Wider Yu, AT&T Bell Labs, R. C. T. Lee, National Hsing Hua Univeristy, Taiwan
Thursday, October 9, 1986, 10:30 - 12:00 PM
Special Purpose Computer Systems for Supporting AI Applications
Minireview by Benjamin Wah, University of Illinois at Urbana-Champaign
__________________________________________________________________________
ACM Conference on Office Information Systems, October 6-8 1986, Providence
Rhode Island
October 6, 1986 2:45 - 4:5PM
Adaptive Interface Design: A Symmetric Model and a
Knowledge-Based Implementation
Sherman W. Tyler, Siegfried Treu, University of Pittsburgh
Automating Review of Forms for International Trade Transactions: A Natural
Language Processing Approach
V. Dhar, P. Ranganathan
October 8, 1986 9:10:15AM
Panel on "AI in the Office", Chair Gerald Barber
October 8, 1986 10:30 - 12:00 AM Organizational Analysis: Organizational Ecology
Modelling Due Process in the Workplace
Elihu M. Gerson, Susan L. Star, Tremont Research Institute
An Empirical Study of the INtegration of Computing into Routine Work
Les Gasser, University of Southern California
Offices are Open Systems
Carl Hewitt, MIT Artificial Intelligence Lab
October 8, 1986 1:00 - 2:30PM
Handling Shared Resources in a Temporal Data Base Management System
Thomas L. Dean, Brown University
Language Constructs for Programming by Example
Robert V. Rubin, Brown University
Providing Intelligent Assistance in Distributed Office Environments
Sergei Nirenburg, Victor Lessor Colgate University/ University of Massachusett
__________________________________________________________________________
Fourth Symposium on Empirical Foundations of Information and Software Sciences
October 22-24 Atlanta Georgia
October 22, 1:30-3:15 PM
Expert Systems for Knowledge Engineering: Modesof Development
Glynn Harmon, University of Texas, Austin
October 23, 10:45 - 12:30 AM
Face to Machine Interaction in Natural Language: Empirical Results of Field
Studies with an English and German Interface
Juergen Krause, Universitaet Regensburg, F. R. Germany
October 24, 9:00 - 10:30AM
Evaluating Natural Language INterfaces to Expert Systems
Ralph M. Weischedel BBN, Cambridge MA
Couting Leaves: An Evaluation of Ada, LISP and Prolog
Jagdish C. Agrawal, Embry-Riddle Aeronautical University, Daytona Beach, FL
Shan Manicam, Western Carolina University, Cullowhee, NC
__________________________________________________________________________
The Fourth Chautaqua, October 25-29, 1986, Coronado, California
Session 9 Knowledge Based Systems 10:30-12:30PM
Knowledge-based Systems Development of CNC Software,
Roy Tsui, Software R&D Engineer, Pneumo Precision, INc., Allied Company
Towards Resident Expertise in Systems Design
Dr. Medhat Karima, CAD/CAM Consultant, Ontario CAD/CAM Center
The Engineer as an Expert System Builder
Dr. Richard Rosen, Vice President, Product Development, Silogic Inc.
An Overview of Knowledge-Based Systems for Design and Manufacturing
Dr. Larry G. Richards, Director, Master's Program, University of Virginia
------------------------------
End of AIList Digest
********************
