Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 07 No. 13
NL-KR Digest (Tue Jul 24 09:24:36 1990) Volume 7 No. 13
Today's Topics:
Contact e-mail address to University of Massachusetts
Natural Language
Reasoning with Truth Ascriptions and [...] in FOL
BBN AI Seminar 7/27
Workshop on Textual and Lexical Issues at COLING-90
CFP -- 7th IEEE Conf. on AI Applications (Miami, USA, Feb. 1991)
New IAP Visiting Researcher at CSLI
New Visiting Scholar at CSLI
Humanities Computing Conference
Submissions: nl-kr@cs.rpi.edu
Requests, policy: nl-kr-request@cs.rpi.edu
Back issues are available from host archive.cs.rpi.edu [128.213.5.17] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will
not be promptly satisfied. If you can't reach `cs.rpi.edu' you may want
to use `turing.cs.rpi.edu' instead.
BITNET subscribers: we now have a LISTSERVer for nl-kr.
You may send submissions to NL-KR@RPIECS
and any listserv-style administrative requests to LISTSERV@RPIECS.
-----------------------------------------------------------------
To: nl-kr@cs.rpi.edu
From: lukose@deakin.OZ.AU (Dickson Lukose)
Newsgroups: comp.ai.nlang-know-rep
Subject: Contact e-mail address to University of Massachusetts
Date: 12 Jul 90 00:41:34 GMT
I am trying to contact Dr. Gruber, Thomas Robert, at UNIVERSITY
OF MASSACHUSETTS, who in 1989 submitted a PH.D. thesis entitled:-
ACQUISITION OF STRATEGIC KNOWLEDGE
If anyone knows his e-mail, s-mail or fax number, could you pass them to me.
thanks in advance
- -----------------------------------------------------------------------------
Dickson Lukose | UUCP : ..!{uunet,ukc,mcvax}!munnari!deakin.OZ.AU!lukose
Dept. Comp & Maths | : ..!decvax!mulga!deakin.OZ.AU!lukose
Deakin University | ARPA : lukose%deakin.oz.au@uunet.uu.net
Victoria, 3217 | CSNET : lukose@deakin.oz.au
Australia | ACSNET: lukose@deakin.oz.au
- -----------------------------------------------------------------------------
FAX : +61 52 442777 PHONE : +61 52 471-111 ext 631
TELEX : DUNIV AA35626
- -----------------------------------------------------------------------------
------------------------------
To: nl-kr@cs.rpi.edu
Date: Thu, 12 Jul 90 18:47 MST
From: <AUEAN%ASUACVAX.BITNET@pucc.PRINCETON.EDU>
Subject: Natural Language
Emilio A. Navarro
E-mail: AUEAN@ACVAX.INRE.ASU.EDU
My name is Emilio Navarro. I am a student at Arizona State University.
I would like to obtain some information about Natural Language. What I
am trying to do is to create a program in PASCAL to translate ASCII text
from english into spanish.
If anyone has some information, please let me know.
Thank you.
Emilio Navarro
------------------------------
To: nl-kr@cs.rpi.edu
From: hadley@cs.sfu.ca
Date: 23 Jul 90 12:10 -0700
Subject: Reasoning with Truth Ascriptions and [...] in FOL
Reasoning with Truth Ascriptions, Self-Reference and
Embedded Sentences in First-Order Logic
by
Robert F. Hadley
School of Computing Science
Simon Fraser University
Burnaby, Canada V5A 1S6
hadley@cs.sfu.ca
Abstract
A first-order logic, T-FOL, is presented, which at once
sanctions inferences involving truth ascriptions, while also
permitting self-reference and arbitrary nesting of sentences
within propositional attitudes. T-FOL includes a distinguished
truth predicate and special inference rules which permit inferences
involving truth-ascriptions to be drawn in a natural, intuitive
fashion, while avoiding explicit contradictions of the kind noted
by Tarski (1936). Explicitly self-referential sentences
(such as the famous `Liar' sentence) cannot be represented in
T-FOL, but standard, implicit self-reference is included.
The adoption of a (Fregean-based) context-sensitive semantics
allows self-reference, and arbitrary nesting of sentences to be
achieved without the encumbrance of quotation marks and
concatenation devices. Within T-FOL, the objects of which
truth, knowledge, and belief are predicated are
intensions, rather than particular sentences. This approach
enables a many-to-one mapping between particular sentences and
the beliefs they express. Applications of T-FOL to
inferences involving truth are described. The soundness and
completeness of T-FOL have been established and are
provided within.
------------------------------
To: nl-kr@cs.rpi.edu
From dayuso@BBN.COM Thu Jul 19 11:40:47 1990
Subject: BBN AI Seminar 7/27
From: "Damaris M. Ayuso" <dayuso@BBN.COM>
Reply-To: dayuso@BBN.COM
Date: Thu, 19 Jul 90 9:36:05 EDT
BBN STC Science Development Program
AI Seminar Series Lecture
A UNIFICATION-BASED APPROACH TO QUANTIFIER SCOPING
ERHARD W. HINRICHS
Beckman Institute for Advanced Science and Technology
Department of Linguistics
University of Illinois
Urbana-Champaign
hinrichs@grice.cogsci.uiuc.edu
BBN STC, 2nd floor large conference room
10 Moulton St, Cambridge MA, 02138
Friday July 27th, 1990, 10:30 AM
This talk reports on joint work conducted with Dale Gerdemann at
the University of Illinois. It presents a unification-based approach
to quantifier scoping that uses an extension of Cooper Storage as
proposed by Cooper (1983) and further developed by Engdahl (1986) and
Keller (1988). Constraints on the order in which quantifiers can be
applied in complex NPs (e.g. NPs modified by prepositional phrases or
relative clauses) and in parasitic gap constructions then follow from
the properties of highly structured Cooper stores. Unlike the scoping
algorithm of Hobbs/Shieber (1987), the scoping mechanism
non-deterministically derives all possible scopings, without having to
appeal to syntactic properties of a level of logical form. The
resulting scoping mechanism becomes part of the grammar, rather than
having to be stated as an extra-grammatical filter, as in
Hobbs/Shieber (1987). The work reported is fully implemented in the
natural language system UNICORN described in Gerdemann and Hinrichs
(1988).
*******************************************************
Suggestions for AI Seminar speakers are always
welcome. Please e-mail suggestions to
Damaris Ayuso (dayuso@bbn.com) or Marie Meteer
(mmeteer@bbn.com).
*******************************************************
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 13 Jul 90 16:09:55 -0400
From: walker@flash.bellcore.com (Don Walker)
Subject: Workshop on Textual and Lexical Issues at COLING-90
WORKSHOP ON TEXTUAL AND LEXICAL RESOURCES
9-12 Sunday, 19 August 1990
At COLING-90, Helsinki, FINLAND
[Check at registration for location]
Work in computational linguistics is becoming increasingly sensitive
to the need for natural language data. Data are critical for theory
formulation, for the development of practical applications in the
language industries, and, in particular, for the evaluation of
computational linguistics as a whole. Of particular interest from
this point of view are recent activities concerned with the collection
of text files, with the creation of lexical data and knowledge
bases, and with the development of ways to increase the ability to
reuse and share both data and tools. The results will increase
the possibility and likelihood of cooperation across a broad range
of areas in computational linguistics.
This workshop will provide an open and informal forum within which
these activities are discussed and their relationship to current
research and development established. The results will be reported
on during COLING-90. There are no restrictions on participation
and there is no need to register specifically for the workshop.
For further information, before 10 August contact:
Dr. Donald E. Walker
Bellcore, MRE 2A379
445 South Street, Box 1910
Morristown, NJ 07960-1910, USA
Phone: (+1 201) 829-4312
Fax: (+1 201) 455-1931
Internet: walker@flash.bellcore.com
Usenet: uunet.uu.net!bellcore!walker
After 10 August, contact:
Dr. Hans Karlgren Prof. Fred Karlsson
KVAL Department of General Linguistics
Skeppsbron 26 University of Helsinki
S-111 30 Stockholm, SWEDEN Vuorikatu 5 B, Hallituskatu 11
Phone: +46 8 7896683 SF-00100 Helsinki, FINLAND
Fax: +46 8 7969639 Phone: +358 0 1913512
Telex: 15440 kval s Fax: +358 0 653726
Internet: hkarlgren@com.qz.se Earn/Bitnet: karlsson@finuh
Bitnet: hkarlgren@qzcom.bitnet
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 6 Jul 90 15:37:37 -0400
From: finin@PRC.Unisys.COM
Subject: CFP -- 7th IEEE Conf. on AI Applications (Miami, USA, Feb. 1991)
The Seventh IEEE Conference on Artificial Intelligence Applications
Fontainbleau Hotel, Miami Beach, Florida
February 24 - 28, 1991
Call For Participation
Sponsored by The Computer Society of IEEE
The conference is devoted to the application of artificial
intelligence techniques to real-world problems. Two kinds of papers
are appropriate: case studies of knowledge-based applications that
solve significant problems and stimulate the development of useful
techniques and papers on AI techniques and principles that underlie
knowledge-based systems, and in turn, enable ever more ambitious
real-world applications. This conference provides a forum for such
synergy between applications and AI techniques.
Papers describing significant unpublished results are solicited along
three tracks:
o "Scientific/Engineering" Applications Track. Contributions stemming
from the general area of industrial and scientific applications.
o "Business/Decision Support" Applications Track. Contributions stemming
from the general area of decision support applications in business,
government, law, etc.
Papers in these two application tracks must: (1) Justify the use
of the AI technique, based on the problem definition and an
analysis of the application's requirements; (2) Explain how AI
technology was used to solve a significant problem; (3) Describe
the status of the implementation; (4) Evaluate both the
effectiveness of the implementation and the technique used.
Short papers up to 1000 words in length will also be accepted for
presentation in these two application tracks.
o "Enabling Technology" Track. Contributions focusing on techniques
and principles that facilitate the development of practical knowledge
based systems that can be scaled to handle increasing problem
complexity. Topics include, but are not limited to: knowledge
representation, reasoning, search, knowledge acquisition, learning,
constraint programming, planning, validation and verification, project
management, natural language processing, speech, intelligent
interfaces, natural language processing, integration, problem-solving
architectures, programming environments and general tools.
Long papers in all three tracks should be limited to 5000 words and
short papers in the two applications tracks limited to 1000 words.
Papers which are significantly longer than these limits will not be
reviewed. The first page of the paper should contain the following
information (where applicable) in the order shown:
- Title.
- Authors' names and affiliation. (specify student status)
- Contact information (name, postal address, phone, fax and email address)
- Abstract: A 200 word abstract that includes a clear statement describing
the paper's original contributions and what new lesson is imparted.
- AI topic: one or more terms describing the relevant AI areas, e.g.,
knowledge acquisition, explanation, diagnosis, etc.
- Domain area: one or more terms describing the problem domain area,
e.g., mechanical design, factory scheduling, education, medicine, etc.
Do NOT specify the track.
- Language/Tool: Underlying programming languages, systems and tools used.
- Status: development and deployment status, as appropriate.
- Effort: Person-years of effort put into developing the particular
aspect of the project being described.
- Impact: A twenty word description of estimated or measured (specify)
benefit of the application developed.
Each paper accepted for publication will be allotted seven pages in
the conference proceedings. The best papers accepted in the two
applications tracks will be considered for a special issue of IEEE
EXPERT to appear late in 1991. An application has been made to
reserve a special issue of IEEE Transactions on Knowledge and Data
Engineering (TDKE) for publication of the best papers in the enabling
technologies track. IBM will sponsor an award of $1,500 for the
best student paper at the conference.
In addition to papers, we will be accepting the following types of
submissions:
- Proposals for Panel discussions. Provide a brief description of the
topic (1000 words or less). Indicate the membership of the panel and
whether you are interested in organizing/moderating the discussion.
- Proposals for Demonstrations. Submit a short proposal (under 1000
words) describing a videotaped and/or live demonstration. The
demonstration should be of a particular system or technique that
shows the reduction to practice of one of the conference topics.
The demonstration or videotape should be not longer than 15 minutes.
- Proposals for Tutorial Presentations. Proposals for three hour
tutorials of both an introductory and advanced nature are
requested. Topics should relate to the management
and technical development of useful AI applications. Tutorials
which analyze classes of applications in depth or examine
techniques appropriate for a particular class of applications are of
particular interest. Copies of slides are to be provided in advance to
IEEE for reproduction.
Each tutorial proposal should include the following:
* Detailed topic list and extended abstract (about 3 pages)
* Tutorial level: introductory, intermediate, or advanced
* Prerequisite reading for intermediate and advanced tutorials
* Short professional vita including presenter's experience in
lectures and tutorials.
- Proposals for Vendor Presentations. A separate session will be held
where vendors will have the opportunity to give an overview to
their AI-based software products and services.
IMPORTANT DATES
- August 31, 1990: Six copies of Papers, and four copies of all proposals
are due. Submissions not received by that date will be returned
unopened. Electronically transmitted materials will not be accepted.
- October 26, 1990: Author notifications mailed.
- December 7, 1990: Accepted papers due to IEEE. Accepted tutorial
notes due to Tutorial Chair.
- February 24-25, 1991: Tutorial Program of Conference
- February 26-28, 1991: Technical Program of Conference
Submit Papers and Other Materials to:
Tim Finin
Unisys Center for Advanced Information Technology
70 East Swedesford Road
PO Box 517
Paoli PA 19301
internet: finin@prc.unisys.com
phone: 215-648-2840; fax: 215-648-2288
Submit Tutorial Proposals to:
Daniel O'Leary
Graduate School of Business
University of Southern California
Los Angeles, CA 90089-1421
phone: 213-743-4092, fax: 213-747-2815
For registration and additional conference information, contact:
CAIA-91
The Computer Society of the IEEE
1730 Massachusetts Avenue, NW
Washington, DC 20036-1903
phone: 202-371-1013
CONFERENCE COMMITTEES
General Chair: Se June Hong, IBM Research
Program Chair: Tim Finin, Unisys
Publicity Chair: Jeff Pepper, Carnegie Group, Inc.
Tutorial Chair: Daniel O'Leary, University of Southern California
Local Arrangements: Alex Pelin, Florida International University, and
Mansur Kabuka, University of Miami
Program Committee:
AT-LARGE SCIENTIFIC/ENGINEERING TRACK
Tim Finin, Unisys (chair) Chris Tong, Rutgers (chair)
Jan Aikins, AION Corp. Sanjaya Addanki, IBM Research
Robert E. Filman, IntelliCorp Bill Mark, Lockheed AI Center
Ron Brachman, AT&T Bell Labs Sanjay Mittal, Xerox PARC
Wolfgang Wahlster, German Res. Center Ramesh Patil, MIT
for AI & U. of Saarlandes David Searls, Unisys
Mark Fox, CMU Duvurru Sriram, MIT
ENABLING TECHNOLOGY TRACK BUSINESS/DECISION SUPPORT TRACK
Howard Shrobe, Symbolics (chair) Peter Hart, Syntelligence (chair)
Lee Erman, Cimflex Teknowledge Chidanand Apte, IBM Research
Eric Mays, IBM Research Vasant Dhar, New York University
Norm Sondheimer, GE Steve Kimbrough, U. of Pennsylvania
Fumio Mizoguchi, Tokyo Science Univ. Don McKay, Unisys
Dave Waltz, Brandeis & Thinking Machines
- -
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 20 Jul 90 10:43:13 PDT
From: ingrid@russell.Stanford.EDU (Ingrid Deiwiks)
Subject: New IAP Visiting Researcher at CSLI
NEW IAP VISITING RESEARCHER AT CSLI
Naohiko Noguchi, Industrial Affiliates Program visiting researcher,
Tokyo Information and Communications Research Laboratory, Matsushita
Electric Industrial Co., Ltd., Japan. Since 1985, Naohiko's group has
been doing research on, and working on the development of,
Conversation Systems, which give computers the facility to talk to
humans smoothly, flexibly, and smartly. Naohiko was especially
involved in research on the context-dependent interpretation and
generation of utterances. He is eager to understand and clarify what
kind of (contextual) information is involved, and how it is involved,
in human cognitive processes. His current interests include
pragmatics of Japanese, discourse (context) representation, and
congnitive processes of understanding and generating natural-language
utterances. Naohiko is located in Cordura 125 and his email address
is noguchi@csli. Dates of visit: July 1990-June 1992.
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 20 Jul 90 16:59:38 PDT
From: ingrid@russell.Stanford.EDU (Ingrid Deiwiks)
Subject: New Visiting Scholar at CSLI
Yasunari Harada, Assistant Professor at School of Law, Waseda
University, Tokyo, Japan. Yasunari has been a member of JPSG-WG at
ICOT as a linguist since 1985, and also participated in the STREP
project at CSLI. His research interests include constraint-based
description of natural-language grammars and related issues. Dates of
visit: 18 July-20 August 1990.
------------------------------
To: nl-kr@cs.rpi.edu
Date: Mon, 23 Jul 90 21:53:36 MST
From: Dan Brink <ATDXB%ASUACAD.BITNET@CUNYVM.CUNY.EDU>
Subject: Humanities Computing Conference
CALL FOR PAPERS
ACH-ALLC 91
"M A K I N G C O N N E C T I O N S"
Arizona State University, Tempe
March 17 - 21, 1991
The 1991 international joint conference of the Association for Computers
and the Humanities (ACH) and the Association for Literary and Linguistic
Computing (ALLC) will be held on March 17-21, 1991, at Arizona State
University, Tempe, Arizona, U.S.A.
ACH-ALLC invites submission of 1,500 to 2,000 word abstracts on computer-
aided topics in literature, linguistics, and humanities disciplines such
as history, archaeology, and music. All parties are encouraged to
participate in this conference.
Submissions should be sent by October 15, 1990 to:
Professor Daniel Brink
Department of English
Arizona State University
Tempe, Arizona 85287-0302
U.S.A.
E-mail:* ATDXB@ASUACAD.BITNET
Fax: (602) 965-2012
Phone: (602) 965-2679
* electronic submissions are encouraged
A selection of papers presented at the conference will be published by
Oxford University Press in the series Research in Humanities Computing.
INTERNATIONAL PROGRAM COMMITTEE
Chair: Donald Ross, Minnesota (ACH)
Local Host: Daniel Brink, Arizona State (ACH)
Members: Paul Fortier, Manitoba (ACH)
Nancy Ide, Vassar (ACH)
Randall Jones, Brigham Young (ACH)
Thomas Corns, University of Wales, Bangor (ALLC)
Jacqueline Hamesse, Louvain-la-Neuve (ALLC)
Susan Hockey, Oxford (ALLC)
Antonio Zampolli, Pisa (ALLC)
------------------------------
End of NL-KR Digest
*******************
