Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 10 No. 05
NL-KR Digest (Wed Mar 3 10:16:05 1993) Volume 10 No. 5
Today's Topics:
Announcement: Tech Report on Intentions in Time available
Announcement: AI and NLP Symposium, Geneva Sept. 6-9, 1993
Announcement: ICCS-93 - Third International COGSCI Colloquium
Announcement: PhD dissertation available
Position: post-doc/visiting scientists in HCI at NRL
Position: AI openings at MITRE
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.3.18] in
the files nl-kr/Vxx/Nyy (ie nl-kr/V01/N01 for V1#1), mail requests will
not be promptly satisfied. Starting with V9, there is a subject index
in the file INDEX. 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@RPITSVM
and any listserv-style administrative requests to LISTSERV@RPITSVM.
-----------------------------------------------------------------
To: nl-kr@cs.rpi.edu
From: Robert Goldman <rpg@rex.cs.tulane.edu>
Date: Wed, 24 Feb 93 17:22:26 CST
Subject: Announcement: Tech Report on Intentions in Time available
Reply-To: rpg@cs.tulane.edu (Robert Goldman)
Intentions in Time
Robert P. Goldman and R. Raymond Lang
Technical Report TU 93-101
ABSTRACT:
Representing and reasoning about goal-directed actions is necessary in
order for autonomous agents to act in or understand the commonsense
world. This paper provides a formal theory of intentional action
based on Bratman's characterization of intention. Our formalization
profits from the insights developed by Cohen and Levesque in their
formalization of Bratman's theory. We review Cohen and Levesque's
formalization and illustrate its weaknesses. Using Allen's temporal
logic as a foundation, we construct a formalization that, like Cohen
and Levesque's, satisfies Bratman's desiderata for an acceptable
theory of intentional action. We introduce a characterization of
success and failure of intentional action and show that our richer
theory of time allows us to formalize more complex intentional
actions, particularly those with deadlines. Finally, we argue that
the use of a syntactic theory of belief allows us to accommodate a
more descriptive theory of intentional action by fallible agents. Our
work has relevance to applications like multi-agent planning,
speech-act processing and narrative understanding. We are pursuing
applications of this theory to representing the content of narratives
and to constructing and understanding description-based communication.
Technical report available by anonymous ftp from rex.cs.tulane.edu
[129.81.132.1] as file tutr-93-101.ps.Z in directory pub/tech
File is a compressed postscript file. Because of compression, the
file must be transferred in BINARY mode and, when expanded (using the
UNIX uncompress utility) may be printed on a postscript printer.
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 26 Feb 1993 11:49:57 +0100
From: Sandra Manzi <sandra@divsun.unige.ch>
Subject: Announcement: AI and NLP Symposium, Geneva Sept. 6-9, 1993
************************************
* First Announcement - Please post *
* *
* Symposium on AI and NLP *
* September 6th -- 9th, 1993 *
* Geneva, Switzerland *
* *
************************************
To celebrate its 21st anniversary, ISSCO is to organize
a Symposium with the theme "Switzerland: AI and NLP"
(SwAN-21).
Contributions have been invited from past members of the
Institute, and speakers will include:
Eugene Charniak Anne de Roeck
Pat Hayes Mike Rosner
Phil Hayes Roger Schank
Rod Johnson Manfred Wettler
Martin Kay Yorick Wilks
For further information, please contact:
ISSCO (SwAN-21)
54 route des Acacias
1227 Geneva
Switzerland
tel.: (+41) 22 705 7115
fax: (+41) 22 300 1086
email: issco-admin@divsun.unige.ch
(please mention "swan-21" in the subject line)
The 1993 IJCAI conference will take place the
previous week in Chambery, which is approximately
one hour and a half from Geneva by car or train.
Intending participants may wish to take advantage
of the temporal and geographical proximity of the
two events by combining them into a single trip.
If you would like to receive more details, please write or
e-mail to the above address, and supply your address in
the following format:
%D name
%I institution or company
%A address
%C city
%S country
%E email
%T telephone number
%F fax number
- -----------------------------------------------------------------
Sandra Manzi | Internet: sandra@divsun.unige.ch
ISSCO, University of Geneva | X400: S=sandra;OU=divsun;O=unige;
54 route des Acacias | PRMD=switch;ADMD=arcom;C=ch
CH-1227 GENEVA (Switzerland) | UUCP: mcvax!cui!divsun.unige.ch!sandra
Tel: +41/22/705 71 16 | FAX: +41/22/300 10 86
------------------------------
To: nl-kr@cs.rpi.edu
Date: Fri, 26 Feb 1993 11:30:05 UTC+0100
From: "<iccs-93@sf.ehu.es>" <iccs-93@sf.ehu.es>
Subject: Announcement: ICCS-93 - Third International COGSCI Colloquium
Third Announcement
Third International Colloquium on Cognitive Science
(ICCS-93)
Donostia-San Sebastian, Spain, May 4-8, 1993
********
The Colloquium is organized by the Dept. of Logic and
Philosophy of Science of the University of the Basque
Country, and supported by:
Universidad del Pais Vasco/Euskal Herriko Unibertsitatea
DGCYT (Ministerio de Educacion y Ciencia)
Hezkuntza eta Kultura Sailak (Eusko Jaurlaritza)
Gipuzkoako Foru Aldundia
Kutxa
It will take place in the School of Architecture of the
University of the Basque Country at DONOSTIA-SAN SEBASTIAN
(address: Campus de Ibaeta, Avenida de Tolosa, s.n.).
MAIN TOPICS:
1. Representation and Dynamics in Semantics and
Pragmatics.
2. Formalization of Cognitive Models and Complexity.
3. Information Processing and Communication in Natural
Systems.
4. Belief, Intention and Action.
Conference desk: There will be a reception-desk in the
School of Architecture, from 4:00 pm to 9:00 pm, on
Monday, May 3.
Lunch tickets must be bought there before 12:00 am. Lunch
will be at the School of Law.
Information can be obtained from the members of the
Organizing Committee or local participants (wearing red
badges). All participants should be prepared to show their
conference badge, if so requested. Badges are required to
attend all sessions of the Colloquium.
The Program is enclosed. Contributed Papers will be 20-25
minutes, allowing 5 minutes for discussion. Speakers
should note that there will be overhead projectors (for
transparencies) in the lecture rooms. Speakers wishing to
prepare transparencies in advance of their talk will find
the necessary materials at the conference desk.
Please note that smoking is not allowed in any of the
session rooms.
The closing session will take place in the Gipuzkoako Foru
Aldundia, on Saturday 8 May, at 6:30 pm.
Note that an excursion to the Caves of Isturitz - Biarritz
- Baiona has been arranged for Thursday afternoon.
MAIL: All mail and telegrams for people attending the
Colloquium should be addressed as follows: Name of
participant, ICCS-93, School of Architecture, UPV/EHU,
Avda. de Tolosa s/n, 20009 Donostia-San Sebastian, Spain.
Mail and telegrams so addressed may be picked up at the
conference desk. Telephone and fax for emergency messages:
School of Architecture. Tel. (9)43 218466. Fax: (9)43
219727.
TRAVEL: The city airport is Hondarribia which is about 18
kms. from Donostia. Participants arriving to the airport
of Bilbao should take a taxi from the airport to PESA
coach station (downtown, Hurtado de Amezaga (Abando)), and
then take a coach (by motorway) to Donostia. Coaches are
at the following times: 6:45 am, 7:00 am, 7:30 am, 8:00
am, 9:00 a.m. and every hour until 9:00 pm.
ACCOMODATION: Participants can make hotel reservations
through:
MUNDO TRES Viajes
Plaza del Buen Pastor, 7
20005 SAN SEBASTIAN (Spain)
Tel.: 34 (9)43 430569
Telex: 38206
Fax: 34 (9)43 431069
PLEASE MAKE RESERVATIONS BY APRIL 2.
Enclosed you will find a list of B&B accommodation.
REGISTRATION: The registration fee is $ 160.00 or 16,000
ptas. ($ 80.00 for students -please verify- and
accompanying persons).This fee may be paid from abroad by
an international check made out to ICCS-93 and sent to Dr.
J.M. LARRAZABAL, Dpto. de Logica, Fac. de Filosofia y
CC.EE, Apdo. 1249, 20080 SAN SEBASTIAN, Spain; or by way
of a bank transfer to ICCS-93 account n. 330127-2, CAJA
GIPUZKOA-DONOSTIA KUTXA, Garibay 13, 20004 SAN SEBASTIAN
(Spain). (Please send a copy of your transfer to Dr. J.M.
LARRAZABAL (address above)).
PROGRAM COMMITTEE: N. Block (Cambridge, MA), M. Boden
(Brighton), A. Clark (Brighton), R. Cooper (Edinburgh), V.
Demonte (Madrid), K. Devlin (Maine), J. Ezquerro
(Secretary), J. Higginbotham (Cambridge, MA), D. Israel
(Stanford), J.M. Larrazabal (San Sebastian), A. ter Meulen
(Bloomington), A. Moreno (San Sebastian), M. Pollack
(Pittsburgh), V. Sanchez de Zavala (San Sebastian), L.
Shastri (Philadelphia), L. Ml. Valdes (Murcia), D.
Wilkes-Gibbs (Middletown, Conn.), D. Wilson (London).
ORGANIZING COMMITTEE: X. Arrazola (San Sebastian), A.
Arrieta (San Sebastian), A. Borillo (Toulouse), E. Casaban
(Valencia), O. Diaz (San Sebastian), A. Eguzkitza
(Vitoria), T. Espinal (Barcelona), J. Ezquerro (San
Sebastian), E. Gillet (Liege), K. Korta (Assistant
Secretary), J.M. Larrazabal (Secretary), C. Moya
(Valencia), J. Oberlander (Edinburgh), N. Ursua (San
Sebastian), M. De Vega (La Laguna), S. Vinardell
(Salamanca).
Third International Colloquium on Cognitive Science
(ICCS-93)
Donostia-San Sebastian, May 4-8, 1993
********
PROVISIONAL PROGRAM
TUESDAY, MAY 4
10:00 a.m. Opening Session by the President of the
University of the Basque Country.
CH Sanchez de Zavala (Donostia).
10:30 a.m. Opening Lecture.
M. Boden (Brighton): Creativity and
Representational Redescription.
11:30 a.m. Break.
12:00 a.m
J. Higginbotham (Cambridge, MA): Words and
Thoughts.
1:15 p.m. Lunch.
3:15 p.m.
SECTION 1. CHAIR: A. ter Meulen (Bloomington).
V. Demonte (Madrid): Aspects of the
Syntax-Semantics Interface.
SECTION 2. CHAIR: L. Shastri (Philadelphia)
A. Clark (Brighton): Connectionism and Nativism:
New Ways of Loading the Dice.
4:15 p.m. Break.
4:30 p.m.
SECTION 3. CHAIR: L. Ml. Valdes (Murcia).
K. Devlin (Maine): Scenes, stories, and possible descriptions.
SECTION 4. CHAIR: D. Israel (Stanford).
J. Oberlander (Edinburgh): Beliefs and Intentions
in Abductive Discourse Generation.
5:30 p.m. CONTRIBUTED PAPERS.
6:00 p.m. TUTORIALS:
A. ter Meulen (Bloomington): Modelling Temporal
Reasoning.
R. Jackendoff (Waltham): On Natural Language
Semantics.
WEDNESDAY, MAY 5
9:00 a.m.
CHAIR: R. Jackendoff (Waltham).
H. Kamp (Stuttgart): Planning Verbs.
10:00 a.m.
SECTION 2. CHAIR: A. Moreno (Donostia).
M. Dascal (Tel Aviv): Concepts in Dispute:
Conceptual Entrenchment and Adaptation in Scientific and
Philosophical Controversies.
SECTION 3. CHAIR: J. Ezquerro (Donostia).
L. Shastri (Philadelphia): A Neurally Motivated
Characterization of Tractable Reasoning.
11:00 a.m. Break.
11:30 a.m. TUTORIALS:
A. ter Meulen (Bloomington): Modelling Temporal
Reasoning.
R. Jackendoff (Waltham): On Natural Language
Semantics.
1:00 p.m. CONTRIBUTED PAPERS.
1:30 p.m. Lunch.
3:15 p.m.
SECTION 1. CHAIR: V. Demonte (Madrid).
L. Ml Valdes (Murcia): Propositional Attitudes as
Relations to Propositions.
SECTION 4. CHAIR: H. Levesque (Toronto).
F. Lin (Toronto): The Frame Problem Revisited:
Provably Complete Theories of Action in the Situation
Calculus.
4:15 p.m. Break.
4:30 p.m. CONTRIBUTED PAPERS.
5:30 p.m. TUTORIALS:
K. Devlin (Maine) & D. Israel (Stanford):
Information and Communication.
M. Boden (Brighton): Is Cognitive Science a
Fraud?
THURSDAY, MAY 6
9:00 a.m.
CHAIR: M. Boden (Brighton).
P. Johnson-Laird (Princeton): The Mind as a
Reasoning Machine.
10:00 a.m.
SECTION 1. CHAIR: D. Wilson (London).
A. ter Meulen (Bloomington): CHRONOSCOPES:
Dynamic Temporal Telescopes.
SECTION 4. CHAIR: N. Block (Cambridge, MA).
D. Israel (Stanford): The Meaning(s) of Actions.
11:00 a.m. Break.
11:30 a.m. TUTORIALS:
K. Devlin (Maine) & D. Israel (Stanford):
Information and Communication.
N. Block (Cambridge, MA): The Computer Model of
the Mind.
1:00 p.m. CONTRIBUTED PAPERS.
1:30 p.m. Lunch.
3:15 p.m. EXCURSION.
FRIDAY, MAY 7
9:00 a.m.
CHAIR: R. Stalnaker (Cambridge, MA).
H. Levesque (Toronto): Is Reasoning Too Hard?
10:00 a.m.
SECTION 2. CHAIR: P. Johnson-Laird (Princeton).
A. Riviere (Madrid): Intentionality and
Metarepresentation: A Developmental Perspective.
SECTION 3. CHAIR: A. Clark (Brighton).
D. Wilkes-Gibbs (Middletown,Conn.):
Conversational Teamwork.
11:00 a.m. Break.
11:30 a.m. TUTORIALS:
P. Johnson-Laird (Princeton): Mental Models.
H. Kamp (Stuttgart) & D. Wilson (London): On the
Boundaries between Semantics and Pragmatics.
1:00 p.m. CONTRIBUTED PAPERS.
1:30 p.m. Lunch.
3:15 p.m.
SECTION 1. CHAIR: A. Borillo (Toulouse).
D. Wilson (London): Recent Issues in Relevance
Theory.
SECTION 4. CHAIR: J. Oberlander (Edinburgh).
N. Asher (Austin): A Formal Framework for
Reasoning about Belief and Intention in a Changing World.
4:15 p.m. Break.
4:30 p.m. PANEL DISCUSSION.
5:30 p.m. CONTRIBUTED PAPERS.
6:00 p.m. TUTORIALS:
H. Kamp (Stuttgart) & D. Wilson (London): On the
Boundaries between Semantics and Pragmatics.
J. Higginbotham (Cambridge, MA) & R. Stalnaker
(Cambridge, MA) : Truth and Representation.
SATURDAY, MAY 8
CHAIR: H. Kamp (Stuttgart).
9:00 a.m.
R. Stalnaker (Cambridge, MA): On the Problem of
Logical Omniscience.
10:00 a.m.
SECTION 3. N. Block (Cambridge, MA): What can
Neuropsychology tell us about the Function of
Consciousness?
11:00 a.m. Break.
11:30 a.m. PANEL DISCUSSION.
12:30 p.m. CONTRIBUTED PAPERS.
1:30 p.m. Lunch.
3:30 p.m. TUTORIALS:
P. Johnson-Laird (Princeton): Mental Models.
J. Higginbotham (Cambridge, MA) & R. Stalnaker
(Cambridge, MA) : Truth and Representation.
5:00 p.m.
CHAIR : J. Higginbotham (Cambridge, MA).
R. Jackendoff (Waltham, MA): Is There a Faculty
of Social Cognition?
6:30 p.m.
Closing Session / Cocktail.
Gipuzkoako Foru Aldundia.
Third International Colloquium on Cognitive Science
(ICCS-93)
Donostia-San Sebastian, Spain, May 4-8, 1993
********
REGISTRATION FORM
NAME:
ADDRESS:
CITY:
COUNTRY:
Amount paid:
The registration fee is $ 160.00 or 16,000 ptas. ($
80.00 for students -please verify- and accompanying
persons), before April 5; $ 200.00 or 20,000 ptas. after
that date. This fee may be paid from abroad by an
international check made out to ICCS-93 and sent to Dr.
J.M. LARRAZABAL, Dpto. de Logica, Fac. de Filosofia y
CC.EE, Apdo. 1249, 20080 SAN SEBASTIAN, Spain; or by way
of a bank transfer to ICCS-93 account n. 330127-2, CAJA
GIPUZKOA-DONOSTIA KUTXA, Garibay 13, 20004 SAN SEBASTIAN
(Spain). (Please send a copy of your transfer to Dr. J.M.
LARRAZABAL (address above)).
Date:
Signature:
------------------------------
To: nl-kr@cs.rpi.edu
Date: Mon, 8 Feb 93 11:37 MET
From: SCHOLTES@ALF.LET.UVA.NL
Subject: Announcement: PhD dissertation available
===================================================================
Ph.D. DISSERTATION AVAILABLE
on
Neural Networks, Natural Language Processing, Information Retrieval
===================================================================
A Copy of the dissertation "Neural Networks in Natural Language Processing
and Information Retrieval" by Johannes C. Scholtes can be obtained for
cost price and fast airmail- delivery at US$ 25,-.
Payment by Major Creditcards (VISA, AMEX, MC, Diners) is accepted and
encouraged. Please include Name on Card, Number and Exp. Date. Your Credit
card will be charged for Dfl. 47,50.
Within Europe one can also send a Euro-Cheque for Dfl. 47,50 to:
University of Amsterdam
J.C. Scholtes
Dufaystraat 1
1075 GR Amsterdam
The Netherlands
Do not forget to mention a surface shipping address. Please allow 2-4
weeks for delivery.
------------------------------
To: nl-kr@cs.rpi.edu
Date: Wed, 24 Feb 93 16:05:57 EST
From: gigley@itd.nrl.navy.mil ( Helen Gigley )
Subject: Position: post-doc/visiting scientists in HCI at NRL
Post-Doc / Visiting Scientist Positions
Human Computer Interaction Research
We are looking for a cognitive scientist or engineering psychologist
with a strong computer scince background to work on a project
titled "Human Machine Dialog." This project focuses on human-human
dialogs as a model for human computer communication. An important
aspect of the program is developing evaluation methods and training
guidelines. Specific interest in individual differences is also
encouraged.
If interested, please call Dr. Astrid Schmidt-Nielsen (202) 767-2682 or
send e-mail to schmidtn@itd.nrl.navy.mil for more information.
The Human computer Interaction Laboratory at the Naval Research
Laboratory provides an
interdisciplinary research environment to address problems in interface
software design. The approaches within the HCI Laboratory assume that
interface software provides the bi-directional communication of
information between humans and computers. Information can be in the
form of data, symbolic knowledge, or control specifics. Multi-modal
forms of communication are assumed. Research in the laboratory focuses
on developing software principles and methodologies useful to software
designers. Current work emphasizes dialogue as
an organizing principle for the interactions. Presently, research
spans efforts in interfaces for decision aids for avionics, novel
devices and their I/O styles, speech processing, and development of
evaluation and testing methodologies. The novel devices research
includes aspects of telepresence and virtual environments. Software
design within the research tasks provides the basis for our software
engineering approach to developing interface specifications
and requirements which are independent of the applications. The goal
is to develop principles and methods for high-performance user-computer
interaction and supporting software architectures. The Laboratory has
Post-Doc positions for computer scientists, cognitive researchers and
enigneering psychologists depending on availability of funding.
Other Post-Doc and/or Visiting Scientist enquiries should be addressed
to:
Dr. Helen M. Gigley
Head, Human Computer Interaction Laboratory
Naval Research Laboratory
CODE 5530
Washington, D.C. 20375
phone: 202-767-0718
fax: 202-404-8441
email: gigley@itd.nrl.navy.mil
Post Doc stipend $36,000-40,000.
U.S. citizenship is required. The Naval Research Laboratory is an
equal opportunity employer. Women and minorities are encouraged to
apply.
- ---- End Included Message -----
------------------------------
To: nl-kr@cs.rpi.edu
Date: Tue, 2 Mar 93 20:16:38 -0500
From: maybury@linus.mitre.org (Mark Maybury)
Subject: Position: AI at MITRE
MITRE
MITRE is a private, non-profit Federally Funded Research and
Development Center (FFRDC) formed in 1958 to serve the public
interest. MITRE shares various aspects of the goverment, industry,
and academic community -- with a mission of bringing the strengths of
these groups together to deal with complex technical problems that
have national importance for a wide range of defense, intelligence,
and civil clients. Given the importance of informational systems,
over the years MITRE established technology centers in areas such as
software, networking, and artificial intelligence. Approximately 75
AI professionals work at MITRE in Bedford, Washington, and Houston in
the entire range of AI disciplines. Given its strategic focus on
advanced technologies and non-profit status, MITRE invests tens of
millions of dollars annually in advanced research which accounts for
an excellent blend of operationally-focused and research-focused work.
Our most important resource is our people and we are currently seeking
to expand our team in the Bedford Artificial Intelligence Center in
our corporate headquarters, conveniently located in the greater Boston
area.
THE OPPORTUNITIES
1. Group Leader, Artificial Intelligence Applications
Manage and technically lead a group of artificial intelligence
researchers and practitioners. The ideal candidate would be a
recognized expert in at least one area of artifical intelligence
(e.g., language processing, knowledge based software, planning and
scheduling, object-oriented and intelligent databases, neural
networks) with proven success at developing and transitioning AI
systems. A track record of thriving in an entrepreneurial/consulting
environment is essential. You should be effective at personnel
management, team building, work program development, and
sponsor/client relations. Three to five years of experience
designing, implementing and testing AI systems is required.
2. Group Leader, Speech and Language Processing
The successful candidate will manage and technically lead a group of
researchers and practitioners in the area of speech and language
processing. Must have proven track record in team leadership, work
program development, and technical innovation. Relevant technical
skills include language processing for information retrieval and data
extraction, intelligent training systems, and spoken language
interfaces. Expertise in areas of user modelling, intelligent
multimedia interfaces and heterogeneous databases are relevant.
Excellent oral and written skills are essential. Three to five years
of experience designing, implementing and testing AI systems is
required.
Both of these positions require a US citizenship and an ability to
(moderately) travel. A background in intelligence or scientific
analysis and a record of positions of increasing responsibility is
desireable. Successful applicants will be required obtain a security
clearance.
If you are qualified for the above positions, please send your resume
to:
Mr. David Gentes
Mail Stop S-122
The MITRE Corporation
202 Burlington Road
Bedford, MA 01730
USA
and
Dr. Mark T. Maybury
Associate Director, AI Center
Mail Stop K-329
The MITRE Corporation
202 Burlington Road
Bedford, MA 01730
------------------------------
End of NL-KR Digest
*******************
