[comp.ai.nlang-know-rep] NL-KR Digest Volume 5 No. 5

nl-kr-request@CS.ROCHESTER.EDU (NL-KR Moderator Brad Miller) (07/28/88)

NL-KR Digest             (7/27/88 20:09:06)            Volume 5 Number 5

Today's Topics:
        Seminars: Computer Modelling of Child Language Learning
		  Case memory for a case-based reasoner (BBN)
		  Describing Program Transformers with Higher-order
			     Unification  (UNISYS)

        Jobs - New Mexico

        Conferences:	ACM SIGIR 1989 Annual
			AISB89
			2nd Conf. on AI and Law

        Call for Abstracts - Battlefield Environment
        
Submissions: NL-KR@CS.ROCHESTER.EDU 
Requests, policy: NL-KR-REQUEST@CS.ROCHESTER.EDU
----------------------------------------------------------------------

Date: Sat, 9 Jul 88 10:54 EDT
From: dlm@research.att.com
Subject: Computer Modelling of Child Language Learning


               How Do Children Learn to Judge Grammaticallity?
                                     or
      Research Issues for Computer Modelling of Child Language Learning

                       Thursday, July 14, 1988, 10:30 am
                  AT&T Bell Laboratories - Murray Hill 3D-436

                              Mallory Selfridge
                        The University of Connecticut

    Development of a successful computer model of child language learning
    would  have  important  implications  for  the development of natural
    language interfaces to computers.  However, no such fully  successful
    model  has yet been developed, and ongoing research is taking several
    different approaches.  The purpose of this talk is  to  identify  the
    most  promising  approach  and  the most important research issues it
    suggests.  This talk first discusses the problem of developing a com-
    puter  model  of  child language learning and argues that the primary
    questions are those of accounting  for  empirical  data  rather  than
    abstract  questions from theoretical linguistics.  It then identifies
    a set of several linguistically-motivated  questions,  including  the
    question of how children learn to judge grammaticallity, and suggests
    that they should be answered as side-effects of computational mechan-
    isms  required  to account for empirical data.  The "grammar acquisi-
    tion" approach to child language learning is then  reviewed,  and  is
    judged to be undesirably abstract and of uncertain promise.  Then, an
    example of a "semantic" approach  to  child  language  learning,  the
    CHILD  program,  is considered, and its performance in accounting for
    empirical data is described.  Further, CHILD's ability  to  learn  to
    judge   grammaticallity   is   described,   and  answers  to  set  of
    linguistically-motivated questions are proposed  as  side-effects  of
    CHILD's mechanisms.  This talk concludes that the "semantic" approach
    to computer models of child language learning is the most  promising,
    and  identifies  as important research issues a) the investigation of
    the relationship  between  language  and  memory  processes;  b)  the
    development of non-linguistic representations of syntactic knowledge;
    c) the investigation of the process  whereby  the  child  infers  the
    meaning of an incompletely understood utterance; and d) the identifi-
    cation and  investigation  of  additional  empirical  data  on  child
    language learning.

    SPONSOR:  Bruce Ballard -  allegra!bwb

------------------------------

Date: Thu, 14 Jul 88 16:48 EDT
From: Marc Vilain <MVILAIN@G.BBN.COM>
Subject: Case memory for a case-based reasoner

                    BBN Science Development Program
                       AI Seminar Series Lecture

                 CASE MEMORY FOR A CASE-BASED REASONER

                             JANET KOLODNER
                    Georgia Institute of Technology,
                      & MIT (AI in Medicine Group),
                        & Thinking Machines Corp.
                      (janetk@zermatt.lcs.mit.edu)

                                BBN Labs
                           10 Moulton Street
                    3rd floor large conference room
                      10:30 am, Tuesday July 19th

                    *** NOTE: NOT THE USUAL ROOM ***

Perhaps the most important support process a case-based reasoner needs
is a memory for cases.  Analysis of observations of physicians using
cases during problem solving have led us to derive requirements for a
case memory.  We then created representations, retrieval algorithms, and
selection heuristics that support these requirements.  In this talk, I
first present observations of physicians using cases during problem
solving and then present the requirements on memory that arise from
analyzing doctors' behavior.  I will also present the representations,
retrieval algorithms, and selection heuristics that derive from those
requirements.  The memory model is implemented in a computer program
called PARADYME (Parallel Dynamic Memory) and runs on the Connection
Machine.  Research was done in conjunction with physicians at New
England Medical Center and programmers at Thinking Machines.

------------------------------

Date: Thu, 21 Jul 88 14:28 EDT
From: finin@PRC.Unisys.COM
Subject: Unisys AI Seminar: Describing Program Transformers with Higher-order Unification


			      AI SEMINAR
		     UNISYS PAOLI RESEARCH CENTER
				   
    Describing Program Transformers with Higher-order Unification
				   
			    John J. Hannan
		   Computer and Information Science
		      University of Pennsylvania


Source-to-source program transformers belong to the class of
meta-programs that manipulate programs as objects. It has previously
been argued that a higher-order extension of Prolog, such as
Lambda-Prolog, makes a suitable implementation language for such
meta-programs. In this paper, we consider this claim in more detail.
In Lambda-Prolog, object-level programs and program schemata can be
represented using simply typed lambda-terms and higher-order
(functional) variables. Unification of these lambda-terms, called
higher-order unification, can elegantly describe several important
meta-level operations on programs. We detail some properties of
higher-order unification that make it suitable for analyzing program
structures. We then present (in Lambda-Prolog) the specification of
several simple program transformers and demonstrate how these can be
combined to yield more general transformers. With the depth-first
control strategy of Lambda-Prolog for both clause selection and
unifier selection all the above mentioned specifications can be and
have been executed and tested.
				   
				   
				   
		     2:00 pm Wednesday, August 3
		     Unisys Paloi Research Center
			 BIC Conference Room
		      Route 252 and Central Ave.
			    Paoli PA 19311
				   
   -- non-Unisys visitors who are interested in attending should --
   --   send email to finin@prc.unisys.com or call 215-648-7446  --
				   
				   

------------------------------

Date: Wed, 13 Jul 88 18:31 EDT
From: yorick@nmsu.csnet
Subject: Jobs - New Mexico

JOB ANNOUNCEMENT

Rio Grande Research Corridor
Computing Research Laboratory
New Mexico State University
Box 30001, Las Cruces, NM. 88003.

yorick@nmsu.edu.cs.net
(505) 646-5466


We need people with interest/experience in (a) compuational
semantics (lexical ambiguity, text processing, extraction of
semantic information from large dictionaries); (b) problem
solving and associated knowledge representation schemes; (c)
software engineering experience, preferably applied to large
natural language processing programs. Prolog and/or Lisp
capability needed for (a) and (b), Prolog and/or C for (c).
We are a growing AI Lab in a nice piece of desert. Details
of jobs and desert from Yorick Wilks.


------------------------------

Date: Wed, 13 Jul 88 18:31 EDT
From: Edward A. Fox <fox@fox.cs.vt.edu>
Subject: ACM SIGIR 1989 Annual Conference


                            SIGIR '89
                         CALL FOR PAPERS

                       12th INTERNATIONAL
                          CONFERENCE ON

          RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL

                    Cambridge, Massachusetts
                       June 25 - 28, 1989

                     Sponsored by ACM SIGIR
                      In cooperation with:
                       AICA - GLIR (Italy)
                   BCS - IRG (United Kingdom)
                GI (Federal Republic of Germany)
                         INRIA (France)

                      Information Retrieval

Information retrieval is one of the most exciting areas of
research and development in the computer and information sciences
today.  Research in this field is becoming increasingly important
in areas as diverse as hypertext, natural language processing,
knowledge representation, expert systems, database and multi-
media object management systems, software engineering and office
information systems.  Similarly, techniques developed in these
and other areas have strong impact on work in information
retrieval, even in its traditional applications in document and text
retrieval systems.  The Annual ACM SIGIR Conference is the prem-
ier forum for presentation and discussion of current research in
this multidisciplinary area.  The 12th Annual Conference will
focus especially on the relationships between information
retrieval and other fields.  The technical program will consist
of contributed research papers and panel presentations. In addi-
tion, there will be a program of tutorials on Sunday 25 June.


                      TOPICS FOR SIGIR '89

Original research papers and panel proposals are solicited on
topics including, but not limited to the following:

Information retrieval theory
e.g. Retrieval models
     Evaluation
     Document and query representation

Artificial Intelligence and Information Retrieval
e.g. Knowledge representation
     Natural language processing
     Connectionism
     Expert systems

Interface issues
e.g. User modelling
     Human-computer interaction
     Intelligent interfaces

Hypertext and Multimedia Systems
e.g. Automatic construction of links
     Search and navigation

Applications
e.g. Software reuse
     Office information systems
     Case-based retrieval

Implementation issues
e.g. Parallel processing
     File organization
     Text searching hardware
     Storage devices, e.g. optical storage



                  INSTRUCTIONS FOR CONTRIBUTORS

                       Contributed Papers

Persons wishing to contribute original research papers should
send four copies of either: a ten to twelve page (double-spaced)
extended abstract; or, a twenty page full paper, to the appropri-
ate program chair, as indicated below.  Papers will be published
in the conference proceedings, and authors will be required to
sign an ACM copyright release form.  Submissions are due 14
December 1988.

                       Panel Presentations

Suggestions for panels should consist of descriptions of the
topic to be covered, the names of proposed speakers and modera-
tor, brief abstracts of the proposed presentations, and the
desired length of time for the panel.  Four copies of proposals,
of no more than three pages, should be sent to the appropriate
program chair. Proposals are due 14 December 1988.  Email may
be used for panel proposals, but must be backed up by hard copy.

                            Tutorials

Proposals for tutorials should consist of the topic to be dis-
cussed, the name(s) and brief biographies of the presenter(s),
and an outline of the tutorial.  Four copies of proposals, of no
more than three pages, are due 16 January 1989. Email may be used
for tutorial proposals, but backed up by hard copy.  Proposals
should be sent to the tutorial chair:

     Paul Gandel
     AT&T Bell Laboratories
     Room 2J-501
     Holmdel NJ 07733
     ihnp4!hoqam!pbg



                         IMPORTANT DATES





14 December 1988    Papers and panel proposals due to Program
                    Chairs

16 January 1989     Tutorial proposals due to Tutorial Chair

17 February 1989    Authors informed of acceptance of papers and
                    proposals

20 March 1989       Final versions of papers due





                         Program Chairs

Prof. N.J. Belkin
4 Huntington Street
School of Communication, Information & Library Studies
Rutgers University
New Brunswick, NJ 08903
USA
njb@flash.bellcore.com (internet)
belkin@zodiac (bitnet)
(Americas & Asia)


Prof. C.J. van Rijsbergen
Department of Computing Science
Glasgow University
Lilybank Gardens
Glasgow G12 8QQ
Scotland
cjvr@cs.glasgow.ac.uk
(Europe, Africa, Australia)


                        Program Committee

Robert B. Allen, Bell              Vijay Raghavan, University of
Communications Research            Southwestern Louisiana

Abraham Bookstein, University      Stephen Robertson, The City
of Chicago                         University, London

Alex Borgida, Rutgers              Gerard Salton, Cornell
University                         University

Christine Borgman, UCLA            Karen Sparck Jones, Cambridge
                                   University
Giorgio Brajnik, Universita
degli Studi di Udine               Craig Stanfill, Thinking
                                   Machines Corporation
Yves Chiaramella, Laboratoire
Genie Informatique - IMAG          Jean Tague, University of
                                   Western Ontario
Stavros Christodoulakis,
University of Waterloo             Carlo Tasso, Universita degli
                                   Studi di Udine
Paul Cohen, University of
Massachusetts                      C.J. van Rijsbergen, Glasgow
                                   University
Edward A. Fox, Virginia Poly-
technic Institute and State        Clement Yu, University of
University (VPI&SU)                Illinois at Chicago Circle

William B. Frakes, AT&T Bell           Conference Committee
Laboratories
                                   Conference Chair:
Norbert Fuhr, Technische            Bruce Croft, University of
Hochschule Darmstadt                Massachusetts

Peter Ingwersen, Royal Danish      Program Chairs:
School of Librarianship             Nick Belkin, Rutgers
                                      University
Janet Kolodner, Georgia Tech        C.J. van Rijsbergen, Glasgow
                                      University
Donald H. Kraft, Louisiana State
University                         Tutorials Chair:
                                    Paul Gandel, AT&T Bell
Michael J. McGill, OCLC                  Laboratories

Norman Meyrowitz, Brown            Local Arrangements Chair:
University                          Candy Schwartz, Simmons
                                    College
Erich J. Neuhold, Institute for
Integrated Publication and         Publicity Chair:
Information Systems                 Edward A. Fox, VPI&SU

Fausto Rabitti, IEI-CNRS           Treasurer:
                                    Donna Harman, National Bureau
Roy Rada, Liverpool University      of Standards

------------------------------

Date: Fri, 15 Jul 88 08:30 EDT
From: Tony Cohn <agc%snow.warwick.ac.uk@NSS.Cs.Ucl.AC.UK>
Subject: AISB89


AISB89      Call for Papers
===========================

AISB (The Society for the Study of Artificial Intelligence and
Simulation of Behaviour) will hold its seventh biennial conference at
the University of Sussex, April 17-21 1989.  The occasion will also
mark the first 25 years of AISB's existence.

Papers of not more than 5000 words are invited on any aspect of Artificial
Intelligence or the Simulation of Behaviour including

Vision                    Knowledge Representation
Knowledge Acquisition     Automated Reasoning
Cognitive Modelling       Commonsense Reasoning
Learning                  Psychological, Philosophical or Social Implications
Search                    Languages, Machines and Environments for AI
Planning                  Natural Language Understanding

Papers may describe theoretical or practical work but should make a
significant and original contribution to knowledge about the field of
Artificial Intelligence.  A prize will be awarded for the best paper.
It is expected that the proceedings will be published as a book.

Requirements for Submission:

        Each paper should contain an abstract of not more than 200
        words and a list of up to four keywords or phrases describing the
        content of the paper.  Authors should give an electronic mail address
        where possible, but all submissions should be in hardcopy in
        letterquality print.  Papers should be written in 12 point or pica
        typewriter face on A4 or 8.5" x 11" paper.  Five copies should
        submitted.  Papers must be written in English.  Submission of a paper
        implies that all authors have obtained all necessary clearances from
        their institution and that an author will attend the conference to
        present the paper if it is accepted.  Papers should describe work that
        will be unpublished on the date of the conference.

Deadline for submission: 1 November 1988

Notification of acceptance mailed by: 7 December 1988

Deadline for camera ready copy: 24 January 1989

Papers and all queries regarding the programme should be sent to
the programme chairman:

Dr Tony Cohn
Dept Computer Science
University of Warwick
COVENTRY
CV4  7AL
UK                      email: agc@uk.ac.warwick.cs
                        arpa:  agc%uk.ac.warwick.cs@nss.cs.ucl.ac.uk

Programme committee:
        Tony Cohn, David Hogg, Alison Kidd,
        Chris Mellish, Mike Sharples, Sam Steel

All other correspondence and queries regarding the conference
should be addressed to:

        Judith Dennison
        SSAISB Executive Officer
        Arts E
        University of Sussex
        BRIGHTON
        BN1 9QN                 Tel: +44 (273) 678379
                                Email: judithd@uk.ac.sussex.cvaxa

------------------------------

Date: Fri, 15 Jul 88 13:22 EDT
From: carole hafner <hafner%corwin.ccs.northeastern.edu@RELAY.CS.NET>
Subject: 2nd Conf. on AI and Law


                          CALL FOR PAPERS

                   Second International Conference on
                     ARTIFICIAL INTELLIGENCE and LAW

                          June 13-16, 1989
                    University of British Columbia
                  Vancouver, British Columbia, Canada


The field of AI and Law -- which seeks both to understand fundamental mechanisms
of legal reasoning as well as to develop useful applications of AI to law --
is burgeoning with accomplishments in both basic research and practical
applications. This increased activity is due in part to more widely available
AI technology, advances in fundamental techniques in AI and increased interest
in the law as an ideal domain for studying certain issues central to AI.
The activities range from development of classic expert systems, intended as
aids to lawyers and judges, to investigation of canonical elements of case-based
and analogical reasoning. The study of AI and law both draws on and contributes
to progress in basic concerns in AI, such as representation of common sense
knowledge, example-based learning, explanation, and non-monotonic reasoning,
and in jurisprudence, such as the nature of legal rules and the doctrine
of precedent.

The Second International Conference on Artificial Intelligence and
Law (ICAIL-89) seeks to stimulate further collaboration between workers in
both disciplines, provide a forum for sharing information at the cutting
edge of research and applications, spur further research on fundamental
problems in both the law and AI, and provide a continuing focus for the
emerging AI and law community.

Authors are invited to contribute papers on topics such as the following:

        -- Legal Expert Systems
        -- Conceptual Information Retrieval
        -- Case-Based Reasoning
        -- Analogical Reasoning
        -- Representation of Legal Knowledge
        -- Computational Models of Legal Reasoning

In addition, papers on relevant theoretical issues in AI (e.g., concept
acquisition, mixed paradigm systems using rules and cases) and in
jurisprudence/legal philosophy (e.g., open-textured predicates, reasoning
with precedents and rules) are also invited provided that the relationship
to both AI and Law is clearly demonstrated. It is important that all authors
identify the original contributions presented in their papers, exhibit
understanding of relevant past work, discuss the limitations as well as
the promise of their ideas, and demonstrate that the ideas have matured
beyond the proposal stage. Each submission will be reviewed by at least three
members of the Program Committee and judged as to its originality, quality,
and significance.

Authors should submit six (6) copies of an Extended Abstract, which must include
a full list of references, by January 10, 1989 to the Program Chair:
      Edwina L. Rissland
      Department of Computer and Information Science
      University of Massachusetts, Amherst, MA 01003, USA;
      (413) 545-0332, rissland@cs.umass.edu.
Submissions should be 6 to 8 pages in length, not including references.
No electronic submissions can be accepted. Notification of acceptance or
rejection will be sent out by early March. Final camera-ready copy of the
complete paper (up to 15 pages) will be due by April 15, 1989.

Program Chair: Edwina L. Rissland, University of Massachusetts/Amherst and
Harvard Law School

General Co-Chairs: Robert T. Franson, Joseph C. Smith, Faculty of Law,
University of British Columbia

Secretary-Treasurer: Carole D. Hafner, Northeastern University

 Program     Kevin D. Ashley            IBM Thomas J. Watson Reasearch Center
 Committee:  Trevor J.M. Bench-Capon    University of Liverpool
             Donald H. Berman           Northeastern University
             Jon Bing                   University of Oslo
             Michael G. Dyer            UCLA
             Anne v.d.L. Gardner        Palo Alto, California
             L. Thorne McCarty          Rutgers University
             Marek J. Sergot            Imperial College London

------------------------------

Date: Sat, 16 Jul 88 12:54 EDT
From: John Benton <john@ai.etl.army.mil>
Subject: Call for Abstracts

*******************************CALL FOR ABSTRACTS****************************
The U.S. Army Symposium/Workshop on Artificial Intelligence Research for the
Battlefield Environment will be held on November 15-18, 1988 at the Westin
Hotel in El Paso, Texas.  The Symposium/Workshop is being held under the
auspices of the Assistant Secretary of the Army for Research, Development and
Acquisition and is co-sponsored by the U.S. Army Engineer Topographic
Laboratories, The Atmospheric Sciences Laboratory and the Ballistic Research
Laboratory.  No classified papers will be presented at the Symposium.  Extended
abstracts (of 200 to 300 words) addressing the issues listed in the attached
Symposium Program are being solicited.  Abstracts which most closely address
these issues will be given preference for acceptance.  The abstracts must be
submitted to the Session Chairs listed below by September 1, 1988.  Contractors
are reminded to include a clearance from their Contracting Officer with the
abstract.  Government authors must include a clearance for the abstract from
their agency.  Authors of abstracts accepted for inclusion in the symposium
will be notified not later than September 30 that their abstract has been
accepted and that a camera-ready manuscript must be submitted no later than the
first day of the Symposium.  Letters indicated that the papers have been
cleared by the relevant authorities must be included with the submitted paper.


The chairman for the Session on Automated Terrain Reasoning is John R. Benton,
tel: (202)355-2717, Autovon 345-2717, ARPANET: john@etl.arpa.  His address is

	Commander and Director
	U.S. Army Engineer Topographic Laboratories
	ATTN: ETL-RI-I (John Benton) 
	Fort Belvoir, Virginia 22060-5546 

The chairman for the Session on The Realistic Battlefield is Dr. Howard Holt.
tel: (505)678-2412 or Autovon 258-2412.  His address is 
	
	Commander and Director
	U.S. Army Atmospheric Sciences Lab
	ATTN:  SLCAS-AS (DR. E. Howard Holt)
	White Sands Missile Range, NM 88002-5501

The chairman for the Session on State-of-the-Art Applications is Morton
Hirschberg. tel:  (301)278-6661 Autovon 298-6661, ARPANET: mort@brl.arpa

	Director
	Ballistic Research Laboratory
	ATTN:  SLCBR-SE-C (M. Hirschberg)
 	Aberdeen Proving Ground, MD 21005-5066

(Note: Abstracts may be sent by ARPANET to Mr. Benton or Mr. Hirschberg
accompanied by a statement that the abstract has been cleared and that the
the clearance has been mailed.)


						John Benton
						Program Committee Chairman

****************************************************************************

                               Symposium Program
                                      for
       U.S. Army Symposium/Workshop on Artificial Intelligence Research
                       for the Battlefield Environment

            Session I:  Introduction and Military Requirements

                   Session II: Automated Terrain Reasoning
  Session Chair: John R. Benton, U.S. Army Engineer Topographic Laboratories

Assuming the existence of a topographic data base, can automated  terrain  rea-
soning  systems  be  developed to provide support for operations in the Battle-
field Environment.  Submitted papers should address the following questions:

     a.  What are the relevant military doctrines; can we identify  them,  con-
     vert them to computer representation?

     b.  What current research on spatial  reasoning  has  been  done  that  is
     relevant  to  exploiting  the  battlefield  environment?   What additional
     research needs to be done?  Can cold weather factors be incorporated  into
     the research efforts?

     c.   How  will  the  Condensed  Army  Mobility  Model  System  (CAMMS)  be
     integrated  into  automated  terrain reasoning.  Are there inadequacies in
     the model?

     d.  What special requirements do terrain reasoning  systems  put  on  Geo-
     graphic Information Systems (GIS)?  Are present GIS's adequate?

     e.  Do Expert Systems (ES) have a role in spatial  reasoning  -  fundamen-
     tally or only as an interface to the military doctrine representation?

     f.  How can we make the information usable to the GI in the  Field?   Will
     it be  at platoon, company, battalion, division or corps?  Is it premature
     to distinguish applications along these lines?

                      Session III:  The Realistic Battlefield
 Session Chairman: Dr. Howard Holt, U.S. Army Atmospheric Sciences Laboratory

How can we apply artificial intelligence techniques  for  exploitation  of  the
realistic  battlefield  environment  with  multiple  sources of smoke, dust and
obscurants?  Papers will address the following questions:

     a.  Is relevant military doctrine subjective?  Can it easily be  converted
     to a computer representation.

     b.  How can  information on smoke and obscurants be usefully presented  to
     the GI in the field?

     c.  Can Geographic Information Systems be  used  to  represent  obscurants
     which  move  as  a  function  of  time.  How can obscurant data be made to
     interact with a GIS.

     d.  What role will Expert Systems (ES) play?

                     Session III: State-of-the Art Applications
     Session Chair: Morton Hirschberg, U.S. Army Ballistic Research Laboratory

Are there any State-of-the Art applications?  What are the best candidates  for
automating terrain reasoning?  Submitted papers should address these questions.


------------------------------

End of NL-KR Digest
*******************