Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 15 No. 12
NL-KR Digest Sat Mar 2 13:37:26 PST 1996 Volume 15 No. 12
Today's Topics:
CFP: AIMSA'96 AI Methods, Systems, Applications, Sep 96, Sozopol
Position: Speech Products, Lernout & Hauspie, Ieper
CFP: AAAI 96 Wkshp Actions, Planning, Control, Aug 96, Portland
CFP: 8th A.I. Conf.96, Oct 96, Paris
Position: Computerlinguistik, German AI Research Center
Announcement: Multi-Agent, Unix, BETA, Rule/Fact exchange
Announcement: Reports from IFI U. of Zurich
CFP: Sixth Symp. Logic and Language, Sep 96, Budapest
Announcement: Book: Language Behaviour: Acqu. and Evol. History
* * *
Subcriptions: listserv-style administrative requests to
nl-kr-request@ai.sunnyside.com.
Submissions, policy, questions: nl-kr@ai.sunnyside.com
To speed up processing of your submission write to
listserv@ai.sunnyside.com with the message:
GET nl-kr style
Back issues:
FTP: ai.sunnyside.com:/pub/nl-kr/Vxx/Nyyy
/pub/nl-kr/Vxx/INDEX
Gopher: ai.sunnyside.com, Port 70, in directory /pub/nl-kr
Email: write to LISTSERV@AI.SUNNYSIDE.COM, omit subject, mail command:
GET nl-kr nl-kr_file_list
Web: http://ai.sunnyside.com/pub/nl-kr
Editors:
Al Whaley (al@ai.sunnyside.com) and
Chris Welty (weltyc@sigart.acm.org).
-----------------------------------------------------------------------
Date: Tue, 13 Feb 96 15:52:20 BG
From: Boicho Kokinov <KOKINOV%BGEARN@db1.cc.rochester.edu>
Subject: CFP: AIMSA'96 AI Methods, Systems, Applications, Sep 96, Sozopol
To: connectionists@cs.cmu.edu, nl-kr@cs.rochester.edu, aisb@cogs.susx.ac.uk
CALL FOR PAPERS
AIMSA'96
7th International Conference on Artificial Intelligence:
Methodology, Systems, Applications
Sozopol, Bulgaria,
September 18-20, 1996
The AIMSA conference series has provided a biennial forum for
presentation of AI research and development since 1984. The
conferences, which are held in Bulgaria, cover the full range
of AI, and are noted for their well established tradition of
international scientific exchange between Central and Eastern
Europe and the rest of the world.
AIMSA'96 is sponsored by ECCAI, European Coordinating Committee
for Artificial Intelligence.
Topics of interest
* Automated reasoning: theorem proving, reasoning about action
and change, reasoning about time and space, constraint
satisfaction, reasoning on uncertainty and with fuzzy sets,
analogy and induction, machine learning.
* Logics for AI: logics for knowledge, belief and intention,
multi-valued logics, modal and temporal logics, epistemic logics,
fuzzy logics.
* Languages, structures and algorithms for AI: logic programming,
inductive logic programming, constraint programming, multi-agent
systems, connectionist systems, genetic algorithms, parallel
processing for AI.
* Knowledge-based systems: languages and systems for representing
knowledge, object-based knowledge representation systems,
knowledge acquisition, validation of knowledge-based systems.
* Natural language processing: syntax, semantics, discourse,
speech recognition and understanding, natural language
generation, natural language front ends.
* Perception and action: computer vision, object recognition,
stereo vision, active vision, robotics systems, robot
programming, robot motion planning, mobile robotics,
behavior-based reactive robots.
* Principles of AI applications: AI for decision systems, AI in
education, AI in engineering design, AI in manufacturing control,
AI in medicine, AI in molecular biology, AI in environmental
sciences.
Format of papers
Papers should be written in English and be printed on one side of
A4 paper (21cm x 29.7cm), using high quality printers. Format
should be single-spaced, with no more than 50 lines per page, 3cm
margins and 12 point type. Minimum length is 2500 words (about 5
pages single-spaced) and maximum 5000 words (10 pages), including
figures, tables, diagrams. Electronic or fax submission will not
be considered.
Each paper should start with:
* Title of the paper (with 18 point type),
* Names and institutions of all authors,
* Postal and email address of one of the authors (to whom mail
from the program committee will be sent),
* An abstract of 100-150 words.
Selection of paper
Each paper will be reviewed by several referees. Selection
criteria include accuracy and originality of ideas, clarity and
significance of results, quality of presentation. Authors of
accepted papers will be asked to prepare final versions for the
proceedings and are expected to present their papers at the
conference.
Best paper award
The program committee will select one paper of exceptional
quality among the accepted papers. The authors will receive the
best paper award during the conference.
Submission of papers
* March 03, 1996: Deadline for submissions
* April 22, 1996: Notification of acceptance
* May 20, 1996: Deadline for final papers
Four copies of submitted papers must be sent to:
Allan Ramsay - AIMSA'96 Program Chair
Department of Language and Linguistics
UMIST
PO BOX 88, Manchester M60 1QD
United Kingdom
For further information concerning submission:
Email: allan@ccl.umist.ac.uk
Fax: (44) (0) 161 200 3099
Phone: (44) (0) 161 200 3108 (direct)
(44) (0) 161 2036 3311 (switch)
Program committee
Benedict du Boulay (UK)
Peter Braspenning (The Netherlands)
Ivan Bratko (Slovenia)
Peter Brusilovsky (Russia)
Christo Dichev (Bulgaria)
Danail Dochev (Bulgaria)
Altay Guvenir (Turkey)
Steffen Holldobler (Germany)
Philippe Jorrand (France)
Vladimir Marik (Czech Republic)
Alberto Martelli (Italy)
Pedro Meseguer (Spain)
Ewa Orlowska (Poland)
Ivan Plander (Slovakia)
Allan Ramsay (UK, programme chair)
Ronan Reilly (Ireland)
Vassil Sgurev (Bulgaria)
Mark Stickel (USA)
Dan Tufis (Romania)
Dimitar Vakarelov (Bulgaria)
Tibor Vamos (Hungary)
David Young (UK)
Organization
AIMSA'96 is organized by:
* Bulgarian Artificial Intelligence Association
* Institute for Information Technologies
* Union of Bulgarian Mathematicians
with the support of the Bulgarian Society for Cognitive Science
and of the Bulgarian Association for Pattern Recognition.
Local arrangements
For further information write to:
Christo Dichev - AIMSA'96,
Institute for Information Technologies
Bl. 29A, Acad. G. Bonchev St.
1113 SOFIA - BULGARIA
Email: cdichev@iinf.bg
Fax: +359 2 720 166
Phone: +359 2 707 586
Joint Event:
JCKBSE'96
Second Joint Conference on Knowledge-Based Software Engineering
Sozopol, Bulgaria, September 21-22, 1996
-----------------------------------------------------------------------
Date: Thu, 15 Feb 1996 10:40:37 +0100
From: Peter Sachem <peter.sachem@lhs.be>
To: nl-kr@sunnyside.com, peter.sachem@lhs.be, luc.van.tichelen@lhs.be
Subject: Position: Speech Products, Lernout & Hauspie, Ieper
LERNOUT & HAUSPIE is a young Flemish company, a pioneer in the field of
Speech Technology since 1987, which is developing applications in the
fields of PC, Multimedia, telecommunication, automotive, consumer
electronics,etc...
LERNOUT & HAUSPIE is a leader in more than one way ;first of all because
we have developed a complete technology speech coding, speech
recognition, text-to-speech), but also because we are working in several
languages and on several hardware-platforms. The company, with its
workforce of 100, located in Belgium, the U.S. and Taiwan, is a
front-runner due to its state-of-the-art technology and its explosive
growth. You have already read about us in the press :
LERNOUT & HAUSPIE has surrounded itself with strategical partners
(AT&T,Creative Labs, Philips, Unisys,...) and has now a solid
capitalbasis that can support further growth. For after years of
pioneering in R&D the commercial break-through has occurred. So, in the
Text-To-Speech division at Ieper, we urgently need extra people (M/F) to
develop further the Lernout & Hauspie technology and to integrate it into
the hardware and software environment of the customer.
Vacancies for:
2 Research Engineers for the TTS Research Department in Ieper (Ref:EDIA)
Function:
They will work in the Spoken Dialogue research team, an interdisciplinary
team of engineers, linguists, and software developers. Their task will be
to research, develop and optimise algorithms for natural language
processing. They will report to the Research Department Manager or to a
Senior Research Engineer.
Profile :
· university degree (or equivalent) in engineering, preferably with
specialisation in computer sciences
· some years of experience in research
· excellent C and C++ programming skills
· experience in following areas is considered an asset:
· artificial languages, compiler and parser technology ;
· expert systems, knowledge based systems, artificial
intelligence ;
· database technology ;
· computer linguistics, natural language processing ;
· study, design and optimisation of complex algorithms ;
· software engineering, development and debugging methods
· ability to work in an interdisciplinary team or independently
· fluent in English, good communicative skills
1 Development Engineer for the TTS Porting Department
This person will redesign, adapt and maintain the TTS software coming
from the research and development department in view of the requirements
of different hardwareLsoftware environments.
He/She will also be involved in the analysis, design and implementation
of software tools to support TTS development.
He/She will work in small porting teams and/or work independently. He/She
will report to a Senior Development Engineer or to the Porting Department
Manager.
Profile :
* engineer with specialization in computer sciences or electronics, or
equivalent
* some years of experience in software development
* good experience in some of the following areas :
- C and C++ programming languages
- DSP programming
- application software design based on one of the following
operating systems : UNIX, MS Windows, OS/2, Windows NT
- development and debugging methods for real-time systems
- speech technology (TTS)
* sense of initiative, high creativity, perseverance, thoroughness.
* ability to work in a team and independently
* knowledge in the following areas is an asset
- digital signal processing
- knowledge of real-time operating systems and multi-tasking
kernels
* fluent in English
* willingness to travel abroad for limited periods of time
* be willing to work in Ieper
-----------------------------------------------------------------------
Date: Thu, 15 Feb 96 10:56:51 MST
From: news@cs.utep.edu (USENET USERS)
To: comp-ai-nlang-know-rep@moderators.uu.net
From: chitta@cs.utep.edu (C Baral)
Subject: CFP: AAAI 96 Wkshp Actions, Planning, Control, Aug 96, Portland
Date: Thu, 15 Feb 1996 17:56:48 GMT
CFP : AAAI 96 WORKSHOP ON
Theories of action, Planning and Control: Bridging the gap.
AUG 4-5 1996
PORTLAND, OR, USA
The goal of the workshop is to bring together active researchers
in the areas of theories of actions, planning and control archi-
tectures to discuss and analyze the interrelation between these
areas, and to accelerate the interaction between them.
Specific topics of interest are:
*Identification of features in
theories of actions that make it possible to develop efficient
planning algorithms;
*Study of the relation between the inference
methods associated with logical formalizations of a particular
theory of action and planning algorithms for that theory;
*Exploration of advantages and disadvantages of generate and test
planners. (some possible advantages are easy incorporation of
domain knowledge, easy incorporation of non-standard goals such
as maintaining the value of a fluent etc.);
*Incorporation of aspects
related to control (such as: execution of actions,
knowledge producing actions, actions that may fail, etc.) into
theories of actions;
*and Other topics that relate to the interface
between these areas.
The one and half day workshop will consist of tutorials, indivi-
dual presentations and panel discussions. Participants interest-
ed in presenting their work should send 4 copies of their paper
(5000 words) or position paper (1500 words) by March 18, 1996 to
Chitta Baral
Department of Computer Science
University of Texas at El Paso
El Paso, TX 79968, USA, 915-747-6952/5030 (ph/fax).
(Email submissions in postscript to chitta@cs.utep.edu is pre-
ferred.)
Other interested participants should send a one page
description of their research interest. Further information on
this symposium and some papers related to this workshop can be
found at http://cs.utep.edu/actions/aaai96.html.
(Additional pointers welcome.)
Organizing committee:
Chitta Baral, University of Texas at El Paso
chitta@cs.utep.edu
Fahiem Bacchus, University of Waterloo
fbacchus@logos.math.uwaterloo.ca
Ray Reiter, University of Toronto
reiter@ai.toronto.edu
Paolo Traverso, IRST, Italy
leaf@irst.itc.it
Steering and Program Committee:
Michael Gelfond, University of Texas at El Paso
Michael Georgeff, Australian AI Institute, Australia
Fausto Giunchiglia, IRST and Universita' di Trento, Italy
Craig Knoblock, University of Southern California
Ben Kuipers, University of Texas at Austin
Vladimir Lifschitz, University of Texas at Austin
Fangzhen Lin, University of Toronto
Edwin Pednault, AT & T
Sam Steel, Essex University
Qiang Yang, Simon Frasier University, Canada
Summary of Important Dates
March 18, 1996 Submission Deadline
(Email Postscript files to Chitta Baral)
April 15, 1996 Notification of Acceptance
May 13, 1996 Camera-ready copy deadline
Aug 4-5, 1996 Workshop
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: NIKu-LARI <101545.3645@CompuServe.COM>
Subject: CFP: 8th A.I. Conf.96, Oct 96, Paris
Date: 19 Feb 1996 09:45:53 GMT
Dear Colleague,
Following you will find the call for papers for the Eighth International Conference (Joint Europe-USA Conference) on
ARTIFICIAL INTELLIGENCE APPLICATIONS, EXPERSY-96 to be held from 21-22 OCTOBER 1996
PARIS-MARNE LA VALLEE (France)
Please propose the abstract of your paper via E-Mail or print the reply card and fax it back to me.
Sincerely Yours,
Dr. A. NIKU-LARI
CALL FOR PAPERS AND TUTORIALS
Following the success of the Seventh EXPERSYS conference held in San
Francisco (USA), the International Scientific Committee of IITT decided to
organize EXPERSYS-96 in Paris, France. The eighth edition of the conference,
EXPERSYS-96 will bring together scientists and professionals from different
parts of the world, working both on the fundamental aspects and industrial
applications of Artificial Intelligence and Expert Systems.
The Joint International Scientific Committee invites you to submit a paper
and/or a proposal for tutorial presentation on the following or related
topics :
ENGINEERING and MANUFACTURING : Artificial Intelligence Applications in
Engineering, Architecture, Environment, Telecommunications, CAD/CAM,
Robotics and Flexible Manufacturing, Civil and Chemical Engineering,
Aeronautic and Space Industry
MANAGEMENT : Knowledge Management, Military Applications, Acquisition
Strategies and Tools, Knowledge Representation Approaches, Management of
Expert System Projects, Business and Finance, Insurance, Law, Speech
Recognition, Natural Language Processing, Cost Benefit Analysis,
Human-Computer Interface
SYSTEMS DEVELOPMENT : Distributed AI Applications, ES Shells and Development
Environments, Learning in AI, System Validation, Intelligent Software and
Hardware Development, Software Engineering, Real Time Analysis of Processes,
AI Interfaces, Knowledge-based Statistical Analysis and Modelling, Neural
Net Architectures, Neural Simulation, Co-operative Knowledge Based Systems,
Multi Agent Intelligent Systems
General Co-Chairman :
Prof. J Zarka, CNRS-Ecole Polytechnique (France)
Voice : 331-69333372. FAX: 331-69333026
E-Mail:Zarka@athena.polytechnique.fr
Co-Chairmen :
Europe: Dr.E. Marcier-Laurent, EML (France)
Voice and Fax : 331-30510631
E-Mail : eml@ens-gestion.uvsq.fr
Americas : Dr.D.L.Crabtree, Purdue University (USA)
Voice : 1-317-4949653 Fax : 1-317-4946219
E-Mail: dlcrabtr@tech.purdue.edu
Asia-Pacific : Prof.M.Narasipuram, City University of Hong Kong (Hong Kong)
Voice : 852-27888507 Fax : 852-27888694
Email : ismohan@cityu.edu.hk
IMPORTANT DEADLINES
30 April 1996 : Submission of Abstract
30 May 1996 : Notification of Acceptance of Abstract
16 July 1996 : Submission of Full Paper (Maximum 6 pages)
IMPORTANT :
Final program will be mailed two months before the conference ONLY UPON
REQUEST. Therefore, please send the REPLY CARD to IITT Office :
IITT-International, 24 rue des Mimosa, F-93460 Gournay sur Marne, Voice :
33-1-64683600 Fax : 33-1-64685480 E-mail : 101545.3645@compuserve.com
- - - - - - - - - - - - - - - -
EXPERSYS - 96 REPLY CARD
REGISTRATION AT REDUCED PRICE
To be sent to :
IITT-International, Head Office, 24 rue des Mimosa, F-93460 Gournay sur
Marne, Voice : 33-1-64683600 Fax : 33-1-64685480 E-mail :
101545.3645@compuserve.com
EXPERSYS-96
Last and First Name : _______________________________________________
Company : ________________________________________________________
Mailing Address : ___________________________________________________
_________________________________________________________________
City _____________________________ State : ___________________________
Zip _____________________________ Country : _________________________
Phone : _________________________ Fax __________________ ___________
E-Mail : ___________________________________________________________
[ ] Please send me the Program of EXPERSYS - 96.
PAPER PROPOSAL
[ ] I would like to submit a paper. Please find enclosed an abstract of 200
words.
Title of the Paper :
Names of Authors :
Date : Signature :
GENERAL INFORMATION
ABSTRACTS : Abstract of papers should not exceed 200 words. For tutorial
proposals, please add a short biography and the photograph of the proposer.
One copy of the abstract should be e-mailed, faxed or posted to the
Conference Secretary : A. Niku-Lari, IITT-International, 24 rue des Mimosas,
F-93460 Gournay sur Marne, Voice : 33-1-64683600 Fax : 33-1-64685480 E-mail
: 101545.3645@compuserve.com
A second copy should be e-mailed, faxed or posted to the General Chairman
and the third copy to the Regional Co-Chairman of the Conference.
CONFERENCE LOCATION :
VAL-MEDIA (Conference Center of BULL) situated in Paris-Marne la Vallee, near
EuroDisney
REGISTRATION FEE : Registration fee includes the conference proceedings
(soft volume), lunches and coffee refreshments.
PROCEEDINGS :
As in the past, manuscripts received on time will be edited and published in
the Technology Series of IITT before the conference. Authors registration
fee is considered as their contribution towards the publication cost
(maximum 6 pages). Payment should be sent after the acceptance of the
manuscript.
HOTEL :
A hotel reservation card will be mailed to registered delegates.
-----------------------------------------------------------------------
To: nl-kr@cs.rpi.edu, LINGUIST@TAMVM1.TAMU.EDU, siggen@cs.rpi.edu
Subject: Position: Computerlinguistik, German AI Research Center
Date: Mon, 19 Feb 1996 20:07:00 +0100
From: Stephan Busemann <busemann@dfki.uni-sb.de>
The following job advertisement at the GERMAN RESEARCH CENTER FOR ARTIFICIAL
INTELLIGENCE is in German; applicants should have a good command of German
in reading, speaking and writing.
Am Deutschen Forschungszentrum f"ur K"unstliche Intelligenz GmbH (DFKI) ist ab
sofort eine zun"achst auf ein Jahr befristete Stelle als
wissenschaftliche/r Mitarbeiter/in
im Forschungsbereich Computerlinguistik zu besetzen.
Die Stelle ist zun"achst an das Projekt COSMA gebunden, das seit April 1994
vom BMBF gef"ordert wird. COSMA entwickelt ein nat"urlichsprachliches Server-
system, das autonome Agentensysteme bei Dialogen mit menschlichen Partnern
unterst"utzt. Die aktuelle Anwendungsdom"ane betrifft Terminvereinbarungen.
Der/Die Stelleninhaber/in soll folgende Anforderungen erf"ullen:
o sehr gutes Diplom in Computerlinguistik oder Informatik
o fundierte Kenntnisse im Bereich Computerlinguistik
o Spezialisierung w"ahrend des Studiums und/oder mehrj"ahrige Berufserfahrung
in der Entwicklung komplexer nat"urlichsprachlicher Systeme
o sehr gute Programmierkenntnisse (insbesondere ist Erfahrung in CommonLisp
(und ggf. C) erw"unscht)
o Bereitschaft zur Einarbeitung in das laufende Projekt
o Teamf"ahigkeit
Bewerbungen sind in schriftlicher Form mit Lebenslauf, Pa"sbild, Publikations-
liste, Referenzen und einer Beschreibung der Forschungsinteressen bis zum
04.03.1996 an folgende Adresse zu richten:
Prof. Dr. Hans Uszkoreit
DFKI GmbH
Stuhlsatzenhausweg 3
D-66123 Saarbr"ucken
- - - - - - - - - - - - - - - --
Weitere Information: Dr. Stephan Busemann, DFKI GmbH, phone: +49 681 302-5286
email: busemann@dfki.uni-sb.de; URL: http://cl-www.dfki.uni-sb.de/
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@uunet.uu.net
From: yilsoft@aimnet.aimnet.com (Yilmaz Cengeloglu)
Subject: Announcement: Multi-Agent, Unix, BETA, Rule/Fact exchange
Date: 20 Feb 1996 14:44:23 -0800
Multi-Agent, Unix, AGENT_CLIPS (BETA), Rule/Fact exchange
---------------------------------------------------
Unix version of AGENT_CLIPS is updated.
It can be used as a multi-agent tool now.
Each agent can access NNTP, HTTP servers
and also agents can exchange rules, facts,
command among them at run time.
AGENT_CLIPS (BETA) is located at
http://users.aimnet.com/~yilsoft/yilsoft.html
There is NO update on Macintosh version.
AGENT_CLIPS Architecture on Unix and Macintosh
----------------------------------------------
------------------
| |
| | ........> CLIPS commands (rules, facts, etc)
\ /
------- -------
| Agent | | Agent |
------- -------
^ ^
| |
| | ........> HTTP, NNTP
| |
---------- ----------
| Internet | | Internet |
---------- ----------
---------------
Yilmaz Cengeloglu
73313.775@compuserve.com
yilsoft@aimnet.com
http://users.aimnet.com/~yilsoft/yilsoft.html
PO Box 381
Mountain View, CA 94042-0381, USA
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@scsing.switch.ch
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: Announcement: Reports from IFI U. of Zurich
Date: Wed, 21 Feb 1996 17:09:39 +0100
The following reports can be downloaded from
http://www.ifi.unizh.ch/techreports/OTHER.html
- - - - - - - - - - - - - - - -
Title:
Attempto Controlled English (ACE)
Authors:
Norbert E. Fuchs, Rolf Schwitter
Department of Computer Science
University of Zurich
{fuchs, schwitter}@ifi.unizh.ch
Abstract:
Attempto Controlled English (ACE) allows domain specialists to
interactively formulate requirements specifications in domain concepts.
ACE can be accurately and efficiently processed by a computer, but is
expressive enough to allow natural usage. The Attempto system translates
specification texts in ACE into discourse representation structures and
optionally into Prolog. Translated specification texts are incrementally
added to a knowledge base. This knowledge base can be queried in ACE for
verification, and it can be executed for simulation, prototyping and
validation of the specification.
To be presented at CLAW 96, First International Workshop on Controlled
Language Applications, Katholieke Universiteit Leuven, 26-27 March 1996
- - - - - - - - - - - - - - - -
Title:
Controlled English for Requirements Specifications
Authors:
Norbert E. Fuchs, Rolf Schwitter
Department of Computer Science
University of Zurich
{fuchs, schwitter}@ifi.unizh.ch
Abstract:
Controlled English - a subset of English with a restricted grammar and a
domain-specific vocabulary - allows domain specialists to interactively
formulate requirements specifications in domain concepts. Controlled
English can be accurately and efficiently processed by a computer, but is
expressive enough to allow natural usage. Controlled English has a
principled structure: declarative sentences are combined by constructors
(e.g. negation, if-then, and-lists, or-lists) to powerful phrases, while
certain forms of anaphora and ellipsis render the language concise and
natural. We have developed the Attempto system that translates complete
specification texts in Controlled English into discourse representation
structures a structured form of first-order predicate logic and
optionally into Prolog. Translated specification texts are incrementally
added to a knowledge base. This knowledge base can be used to answer
queries in Controlled English about the specification, and it can be
executed for simulation, prototyping and validation of the specification.
Tools like a paraphraser, a lexical editor, a spelling checker, and an
inference engine for query answering and execution complement Attempto.
Using Attempto we have successfully processed the non-trivial Controlled
English specification of a simple automated teller machine.
Submitted to IEEE Computer, Special Issue on Interactive Natural Language
Processing, July 1996
- - - - - - - - - - - - - - - -
Title:
Attempto - Controlled Natural Language for Requirements Specifications
Authors:
Norbert E. Fuchs, Rolf Schwitter
Department of Computer Science
University of Zurich
{fuchs, schwitter}@ifi.unizh.ch
Abstract:
Writing specifications for computer programs is not easy since one has to
take into account the disparate conceptual worlds of the application
domain and of software development. To bridge this conceptual gap we
propose controlled natural language as a declarative and
application-specific specification language. Controlled natural language
is a subset of natural language that can be accurately and efficiently
processed by a computer, but is expressive enough to allow natural usage
by non-specialists. Specifications in controlled natural language are
automatically translated into Prolog clauses, hence become formal and
executable. The translation uses a Definite Clause Grammar (DCG) enhanced
by feature structures. Inter-text references of the specification, e.g.
anaphora, are resolved with the help of Discourse Representation Theory
(DRT). The generated Prolog clauses are added to a knowledge base. We have
implemented the prototypical specification system Attempto that
successfully processes the specification of a simple automated teller
machine.
Presented at Seventh ILPS '95 Workshop on Logic Programming Environments,
Portland, Oregon, December 1995
- - - - - - - - - - - - - - - -
- - - - - - - - - - - -
Norbert E. Fuchs Telephone +41-1-257 43 13
Department of Computer Science Fax +41-1-363 00 35
University of Zurich Email fuchs@ifi.unizh.ch
CH-8057 Zurich, Switzerland WWW www.ifi.unizh.ch
- - - - - - - - - - - -
-----------------------------------------------------------------------
To: comp-ai-nlang-know-rep@NL.net
From: bon@swi.psy.uva.nl (Breanndan O Nuallain)
Subject: CFP: Sixth Symp. Logic and Language, Sep 96, Budapest
Date: 23 Feb 1996 11:18:19 GMT
Reply-To: laszlo@ccsom.uva.nl
NB. Replies and queries should be directed to the address given below,
not to the poster of this message.
_____________________________________________________________________
Sixth Symposium on Logic and Language
3-6 September 1996
Call for Papers
The Department of Logic of the University Eotvos Lorand and the
Research Institute for Linguistics of the Hungarian Academy of
Sciences organizes the sixth Symposium on Logic and Language this
fall. This series of symposia conceived in the Montagovean trend of
formal semantics, and in the course of the years it covered a variety
of topics. The aim of the symposium is to bring together researchers
from fields such as linguistics, philosophy of language, and logic.
The chosen theme for this year is co-reference and modality, i.e. the
interaction between (epistemic) modalities such as may, might,
possibly, necessarily, presumably, etc. and the broadly understood
anaphoric phenomena in natural language discourse.
_____________________________________________________________________
The list of invited speakers include
Jeroen Groenendijk, Martin Stokof, Frank Veltman, and Gennaro Chierchia
_____________________________________________________________________
Submissions:
Authors are invited to submit abstract of max. 5 pages to
L_and_L_96@osiris.elte.hu
via e- mail. Submissions in LaTeX are encouraged. We also accept
snail-mail submissions sent to the following address:
Department of Logic
University Eotvos Lorand
Budapest V. Piarista koz 1-3
Hungary
Submissions will be judged on their topicality, novelty, and clarity.
The deadline for submissions is April 15, 1966.
Authors will be notified of acceptance by May 15, 1966.
_____________________________________________________________________
The program committee
Marta Maleczki
Gabor Radai
Laszlo Kalman
Laszlo Polos
Papers will be refereed by the invited speakers too.
----------
-----------------------------------------------------------------------
From: sasi@saathi.ncst.ernet.in (Sasikumar M)
Subject: Announcement: Book: Language Behaviour: Acqu. and Evol. History
Date: Thu, 29 Feb 1996 18:39:36 GMT
Introducing a new book ......
Language Behaviour:
Acquisition and Evolutionary History
by
R Narasimhan
National Centre for Software Technology, Bombay
rn@saathi.ncst.ernet.in
The Contents page of the book follows:
1. Studying Language Behaviour Acquisition
2. Language Acquisition Without Input?
3. Language Acquisition in Exceptional Circumstances
4. Language Behaviour and Linguistics
5. The Continuity Puzzle
6. The Kanzi Project: What Does it Really Teach Us?
7. Missing Behavioural Links
8. The Continuity Puzzle Revisited
9. The Future of Language Behaviour Studies: Some Open Issues
Appendix 1 Developmental Details: Vanitha Corpus
Enquiries regarding the book, any comments/discussions, etc may please
be addressed to Prof Narasimhan at the address: rn@saathi.ncst.ernet.in
End of NL-KR Digest
*******************
