nl-kr-request@CS.RPI.EDU (NL-KR Moderator Chris Welty) (05/09/91)
NL-KR Digest (Wed May 8 14:34:41 1991) Volume 8 No. 22 Today's Topics: EUROVAV 91 Philosophy & Computing CFP PDK'91 -- PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS CILS Calendar 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.10.18] 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 Date: Wed, 24 Apr 1991 16:50:18 +0100 >From: Enric Plaza <plaza@ceab.es> Subject: EUROVAV 91 EUROVAV 91 : EUROPEAN WORKSHOP ON THE VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS 22-24 July 1991 Jesus College Cambridge England Tel: +44-223-66343 Fax: +44-223-322315 Sponsored by Logica in association with the Commission of the European Communities and the Department of Trade and Industry Workshop Objectives As the number of knowledge-based systems being deployed continues to grow there is an increasing need to provide mechanisms and techniques to evaluate the extent to which completed systems satisfy their original objectives. This is important not only to the users of such systems, but also provides invaluable feedback to developers about the effectiveness of their knowledge- based systems technology. Verification and Validation of knowledge-based systems is of key importance in this process and will be a major contributing factor in the deployment of knowledge-based systems in a wide range of application areas. The objective of this workshop is to bring together researchers who share an interest in the validation of knowledge based systems and related fields in order to define the state-of-the-art and future research needs. To encourage active discussion and exchange of ideas the workshop will be kept small; the number of participants planned is around 40. The workshop will consist of a number of presentations and provide ample opportunity for technical discussions. Programme The programme will consider three important themes: Theoretical foundations - There are evolving theories which seek to generalize elements of KBS development and V&V. For example, defining generic tasks (eg knowledge acquisition and representation), their associated problems, and the methods used to accomplish them. Can such theories help the developer to structure KBS verification and validation by delineating the kinds of task and information that are required to build confidence in a system's overall effectiveness? This theme will explore work being done to establish a well-founded approach to KBS verification and validation. Tools and techniques - The process of verifying and validating a KBS can be greatly assisted by providing an environment in which the various participants in a KBS development have ready access to knowledge representation schemes used to express knowledge statements and the inferences which can be operated on them, in a form which is easy to understand. This theme will explore the sorts of verification and validation tools currently being developed and assess their effectiveness. Industry requirements - If KBS are to be successfully used to solve real-world problems, then industry must have confidence in the technology and its application. For example, medical instrument companies need to establish for themselves and their customers that a knowledge-based drug administration system is sufficiently competent to be used by hospital staff. This theme will explore what industry requirements are and how these requirements are being met by current research. One theme will be considered each day of the workshop. In the morning a series of short presentations will be given by selected workshop participants on their work; the list of papers to be presented is currently being reviewed by the workshop committee and will be finalized in May. The issues and questions raised by these presentations will be discussed by small groups of participants during the afternoon.The findings of each group will be presented to all workshop participants during a plenary session at the end of each day. In addition to the core workshop activities, Professor Luc Steels (University of Brussels) will give the workshop's keynote speech on Monday 22 July, Dr Brian Oakley (Logica) will be the guest speaker at the workshop banquet on Tuesday 23 July, and Dr Enric Plaza (CEAB) will give the closing speech on Wednesday 24 July. Registration (inclusive of UK VAT) Attendance Requirements Each participant will be expected to submit a one page description of their interests in the workshop. Registration Fees The workshop will be held in the historic surroundings of Jesus College, Cambridge. Full accommodation is available in the college if required. Workshop attendance, including lunches and 325 pounds banquet (no accommodation included) Workshop attendance with full accommodation 450 pounds for 21 to 23 July inclusive and attendance of banquet Additional accommodation for the night 75 pounds of 24 July (optional) - -------------------------------------------------------------- EUROVAV-91 Registration Form Please print or type. Name Organisation Address Telephone Please indicate your level of participation (Delete as appropriate) I intend to submit/have already submitted a full paper I enclose a one page description of my interests in KBS Verification and Validation Please indicate attendance package required (Delete as appropriate) Workshop attendance, including lunches 325 pounds and banquet, but excluding accommodation Workshop attendance with full 450 pounds accommodation and attendance of banquet Additional accommodation for the night 75 pounds of 24 July (optional) Total Enclosed Payment should be made in pounds sterling with your registration form. Cheques/bankers drafts should be made payable to Logica Cambridge Limited. Completed registration forms should be returned to the workshop secretariat at the address shown below. - -------------------------------------------------------------- Workshop Co-chairmen Peter Jenkins Enric Plaza Logica Cambridge Ltd CEAB Betjeman House Cami de Sta. Barbara 104 Hills Road E-17300, Blanes Cambridge CB2 1LQ Spain UK Programme Committee Marc Ayel, Universite de Savoie, France Sandro Bologna, ENEA, Italy Jesus Cardenosa, Universidad Politechnica de Madrid, Spain Jack Foisseau, CERT, France Heri Nonfjall, CRI, Denmark L F Pau, DEC Europe, France Sylvie Petitjean, Cognitech, France Kevin Poulter, Logica Cambridge Limited, UK Nigel Shadbolt, University of Nottingham, UK Ingeborg Solvberg, Sintef, Norway Secretariat (Enquiries, registration etc.) Anna Disley Logica Cambridge Limited Betjeman House 104 Hills Road Cambridge CB2 1LQ UK (Technical queries etc.) Kevin Poulter Logica Cambridge Limited Betjeman House 104 Hills Road Cambridge CB2 1LQ UK Tel: +44 223 66343 Fax: +44 223 322315 ------------------------------ To: nl-kr@cs.rpi.edu Date: Mon, 29 Apr 91 16:01:22 -0400 (EDT) >From: Leslie Burkholder <lb0q+@andrew.cmu.edu> Subject: Philosophy & Computing CFP Philosophy & Computing The journal is devoted to the use of computers and computational ideas in both research and teaching in philosophy, applications of ideas from philosophy in computing, and philosophical questions about the foundations and impact of computers and computational ideas. Examples of the first include the development of computer programs for the discovery of scientific theories (philosophy of science), work on automated proof construction (logic), work on case-based reasoning (ethical theory), material on the use of text-analysis software (history of philosophy), and the description and evaluation of innovative computer-assited instructional materials. Examples of the second include the application of speech act theory to computer programming languages or the application of work on metaphor and analogy to natural language understanding. Examples of the last include topics in computer ethics, work on the nature of knowledge and expert systems, and discussions of the possibility of artificial life. Philosophy & Computing is the official journal of CAP. For information about CAP contact: Robert Cavalier, CDEC Carnegie Mellon University, Pittsburgh PA 15213-3890 USA; rc2z@andrew.cmu.edu; rc2z@andrew.bitnet. Editor Leslie Burkholder, Center for Design of Educational Computing, Carnegie Mellon University Editorial Board Carl Bereiter, Centre for Applied Cognitive Science, Ontario Inst for Studies in Education T. W. Bynum, Research Center on Computing and Society, Southern Connecticut State University Preston Covey, CDEC and Dept of Philosophy, Carnegie Mellon University Andre Fuhrmann, Zentrum Philosophie & Wissenschaftstheorie, Universitet Konstanz Peter Gardenfors, Cognitive Science, University of Lund Peter Gibbins, Faculty of Mathematics, The Open University Rod Girle, Automated Reasoning Project, Australian National University Laurence Goldstein, Dept of Philosophy, University of Hong Kong John Haugeland, Dept of Philosophy, University of Pittsburgh Peter Millican, Dept of Philosophy, University of Leeds James Moor, Dept of Philosophy, Dartmouth College J F Pelletier, Luce Professor, Dept of Computer Science, University of Rochester John L Pollock, Dept of Philosophy, University of Arizona William J. Rapaport, Dept of Computer Science and Center for Cognitive Science, State University of New York at Buffalo Stephen Read, Dept of Logic & Metaphysics, The University of St Andrews Nicholas Rescher, Dept of Philosophy, University of Pittsburgh Scott Roberts, The Annenberg/CPB Project John Self, Dept of Computing, University of Lancaster Roger C Schank, The Institute for the Learning Sciences, Northwestern University Wilfried Sieg, Dept of Philosophy, Carnegie Mellon University Herbert Simon, Dept of Psychology, Carnegie Mellon University Richard Spencer-Smith, AI Group, Middlesex Polytechnic Paul Thagard, Cognitive Science Laboratory, Princeton University Syun Tutiya, Dept of Philosophy, Chiba University Subscription Enquiries Ablex Publishing Corporation, 355 Chestnut Street, Norwood NJ 07648, USA Advertising Enquiries and Other Business Correspondence Ablex Publishing Corporation, 355 Chestnut Street, Norwood NJ 07648, USA Information for Authors The journal invites submissions on all topics within its scope. Submissions should generally be in English. They should be addressed to an audience of non-specialists. They may take the form of research or tutorial or literature review articles, descriptions of innovative software or its use and evaluation, and reviews of software and printed materials. Submissions may be made in either electronic or printed form. All submissions should include an abstract. Electronic submissions may be sent to the editor on disk or through email. Submissions on disk should be either for MS-DOS or Macintosh. Printed submissions should be double-spaced and include on a separate page the title, author's name, and address. Submissions which include more than a few special symbols or figures (for example, screen dumps) or more than a few instances of special layout should be made in printed rather than electronic form. All proposals, enquiries, and submissions should be sent to the editor: Leslie Burkholder, CDEC Carnegie Mellon University, Pittsburgh PA 15213-3890; leslie.burkholder@andrew.cmu.edu; leslie.burkholder@andrew.bitnet. Authors of accepted submissions will be encouraged to submit electronic copies of their submissions in addition to a final printed copy. One of these electronic copies should be a stripped ASCII file of the text of the article or review, with figures and tables in separate files. The other should be a marked-up file (for example, a Microsoft Word file). Notes should be endnotes rather than footnotes. References should follow the American Psychological Association style guide; in particular, references should be in the form "(<author surnames>, <date>, <pages>)" and placed wherever possible in the text rather than a separate endnote. Complete citations should be included in a bibliography. ------------------------------ To: nl-kr@cs.rpi.edu >From: workshop organizers <pdk@uklirb.informatik.uni-kl.de> Newsgroups: comp.ai.nlang-know-rep Subject: PDK'91 -- PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS Date: 29 Apr 91 14:16:59 GMT Reply-To: workshop organizers <pdk@informatik.uni-kl.de> PDK '91 PRELIMINARY PROGRAM and CALL FOR SYSTEM DEMONSTRATIONS International Workshop on PROCESSING DECLARATIVE KNOWLEDGE -- Representation and Implementation Methods -- July 1-3, 1991 Kaiserslautern, Germany The high description level of declarative representation formalisms facilitates readability, maintenance, and parallelization of knowledge bases; their orientation toward logic enables clear semantics. However, the processing of large declarative knowledge bases is becoming efficient only with the use of modern implementation techniques. For instance, the increased gap to von Neumann machines may be bridged by (global) static analysis and (multi-stage) transformation/compilation of the representation formalisms. The workshop addresses researchers and developers with interests ranging from logic programming to expert-system shells. Critics of declarative-knowledge processing (e.g. having procedural, object- oriented, or connectionist points of view) are also welcome. [a full description of PDK`91 appears in NL-KR V08N14 - CW ] C A L L F O R S Y S T E M D E M O N S T R A T I O N S Implemented knowledge-processing systems can be demonstrated during the entire workshop. Applications for system demonstrations consisting of a system mini-description of 1-3 pages as well as a specification of the hardware/software required should arrive by 3 June 1991. Our computing environment includes SUNs 4/390 with Ivory Boards, a KCM, and Macintoshs IIfx. 3 June 1991 is also the deadline to apply for the exhibition of products and books related to the scope of PDK'91. Location: The workshop will take place at the University of Kaiserslautern, Building 57. Kaiserslautern is located in the southwest of Germany with good car and train connections to the airports of Frankfurt (150 km), Stuttgart (150 km), Saarbruecken (70 km), and Paris (450 km). Miscellanea: You are invited to arrive on Sunday 30 June 1991: there will be an informal get together in the evening. The banquet on Monday, 1 July 1991, is included in the registration fee; tickets for accompanying persons are available at the registration desk during the workshop. Lunch is available in the university cafeteria or off the campus. The hike through the adjacent Palatinate Forest will give extra space for informal conversations. ------------------------------ To: nl-kr@cs.rpi.edu Subject: CILS Calendar X-Mailer: MH 6.6 #5[UCI] Date: Mon, 22 Apr 91 19:09:02 -0500 >From: colleen@tira.uchicago.edu _________________ T H E C I L S C A L E N D A R ________________ The Center for Information and Language Studies Joseph Regenstein Library, University of Chicago, Chicago, IL 60637 Subscription requests to: cils@tira.uchicago.edu ____________________________________________________________________ Vol. 1, No. 24 April 22, 1991 ~*~ Upcoming events: 4/24 11:00 JRL S-118 Lecture David P. Corina, Salk Institute 4/29 14:30 Ry 277 Lecture Glenn Reid, RightBrain Software 5/6 14:30 Ry 277 Lecture David Lewis, CILS 5/6 16:00 Wb 130 Workshop Stephen Schiffer, CUNY - ------------------------------ WEDNESDAY, APRIL 24 11:00 a.m. Guest Lecture JRL S-118 David P. Corina (corina@crl.ucsd.edu) Salk Institute and University of California, San Diego "Psycholinguistic and Connectionist Investigations of Syllable Structure: Implications for Language Representation" Abstract The characterization of representations which underlie our knowledge and use of language has been a major concern of linguistic and psychological theories of language. However, the existence of specific representational categories are often assumed by the very theories which attempt to describe them. This leaves open the very important question of how language representations are instantiated. The present paper discusses this problem in relation to the representation of syllable structure. First, psycholinguistic data is presented which shows that the syllable serves as a useful guide in language recognition. This data provides support for the view that syllable structure is represented in the mental lexicon. Second, a series of Connectionist simulations are discussed which investigate the development of syllable structure. In one simulation a large natural language data base is used to show that in principle, representations of syllable structure may be derived from the regularities present in a language. A second simulation demonstrates how extracted representations may be used to guide a morpho- phonological process of syllable based reduplication. These results have important implications for theories of the mental lexicon and linguistic phonological representation. ___________ MONDAY, APRIL 29 2:30 p.m. Glenn Reid, RightBrain Software Ry 277 (glenn%heaven.uucp@next.com) "The PostScript Distillery" Abstract in April 22 calendar. __________ MONDAY, MAY 6 2:30 p.m. David D. Lewis (lewis@tira.uchicago.edu) Ry 277 Center for Information and Language Studies Text Classification: Statistical and Linguistic Issues Computer text classification systems include systems for the retrieval of documents in response to user queries, and systems for categorizing documents with respect to a set of meaningful categories. The recent resurgence of interest in information retrieval has been accompanied by a new emphasis on the use of natural language processing in text classification. In this talk we discuss two experiments on using syntactic analysis of natural language text to improve text retrieval performance. The importance of considering both linguistic and statistical concerns will be stressed in both cases. In the first study, syntactic parsing is used to extract indexing phrases from queries and documents. These phrases have better semantic properties than individual words, but inferior statistical properties. Feature clustering is then used to produce features which are superior on both semantic and statistical grounds, and which result in improved performance in a statistical retrieval system. The difficulty of comparing feature sets using conventional information retrieval test collections will be briefly discussed, as will an experiment which is in progress to evaluate this feature formation method on a text categorization task. In the second study, which is joint work with Bruce Croft (Univ. of Mass. at Amherst) and Howard Turtle (West Publishing), syntactic parsing of natural language queries is used in deciding how to structure a Bayesian inference net for document retrieval. This automatic analysis of natural language queries produced retrieval performance comparable to that obtained using hand structured queries, and is a promising approach to effective use of dependence models in text retrieval. ***** 4:00 p.m. Workshop Wb 130 The Pragmatics of Language Stephen Schiffer, CUNY Graduate Center "On Belief Ascription" For more information, please contact Jerrold Sadock, Department of Linguistics (2-8524, sadock@sapir) or Josef Stern, Department of Philosophy (2-8594, j06s@midway). - ----------- End of CILS Calendar ------------------------------ End of NL-KR Digest *******************