nl-kr-request@CS.ROCHESTER.EDU (NL-KR Moderator Brad Miller) (06/24/88)
NL-KR Digest (6/23/88 15:30:06) Volume 4 Number 61 Today's Topics: Conference on Natural Language and the Bible Proceedings? COMPUTATATIONAL LINGUISTICS/FORMAL SEMANTICS WORKSHOP IJCAI Computers & Thought and Research Excellence Awards Unisys AI seminar: The Causal Simulation of Ordinary and Intermittent Mechanical Devices COLING '88 program Submissions: NL-KR@CS.ROCHESTER.EDU Requests, policy: NL-KR-REQUEST@CS.ROCHESTER.EDU ---------------------------------------------------------------------- Date: Thu, 16 Jun 88 09:54 EDT From: Jody Gevins <gevins@a.psy.cmu.edu> Subject: Conference on Natural Language and the Bible Proceedings? I saw a posting recently about a conference on Natural Language and the Bible held in Jerusalem. If anyone has information on how to get the proceedings or any papers from this conference, it would be much appreciated. Thanks, Jody ------------------------------ Date: Fri, 17 Jun 88 11:12 EDT From: Mike Rosner <rosner@cui.unige.ch> Subject: COMPUTATATIONAL LINGUISTICS/FORMAL SEMANTICS WORKSHOP ****WORKSHOP ANNOUNCEMENT/APPLICATION FORM****** COMPUTATIONAL LINGUISTICS AND FORMAL SEMANTICS Institut Dalle Molle ISSCO, Geneva Istituto Dalle Molle IDSIA, Lugano 29th August - 2nd September 1988 Palazzo dei Congressi, LUGANO, Switzerland With the support of Fondazione Dalle Molle Citta' di Lugano European Economic Community Fonds National Suisse AIMS: to present both tutorial and current research material in these two fields. PROGRAM Tutorials: Jens Erik Fenstad, (Oslo) Representation and Interpretation Martin Kay, (Xerox) Unification and the Syntax/Semantics Interface Barbara Partee, (UMass) Current Issues in Formal Semantics Workshop Papers: Ewan Klein (Edinburgh) Context and Compositionality Kris Halvorsen, (Xerox) Algorithms for Semantic Interpretation Pat Hayes, (Xerox) Natural Language versus Mental Representations Michael Moortgat, (Leiden) Categorial Parsing and Implicational Deduction Ray Turner, (Essex) Polymorphism in Semantics Johan van Benthem, (Amsterdam) Logical Semantics and the Theory of Types Yorick Wilks, (New Mexico) Form and Content in Semantics Margaret King (Geneva) Computational Linguistics and Formal Semantics? Rod Johnson, Mike Rosner, CJ Rupp* (Lugano/*Manchester) Situation Schemata and Linguistic Representation REGISTRATION o To receive application form: rosner@cui.unige.ch or ..cernvax!unige!cui!rosner Further information: Sandra Manzi/Mike Rosner +41 22 20 93 33 ext. 2115 =================================================================== ------------------------------ Date: Mon, 20 Jun 88 08:38 EDT From: Don Walker <walker@flash.bellcore.com> Subject: IJCAI Computers & Thought and Research Excellence Awards CALL FOR NOMINATIONS FOR IJCAI AWARDS THE IJCAI AWARD FOR RESEARCH EXCELLENCE The IJCAI Award for Research Excellence is given at an International Joint Conference on Artificial Intelligence to a scientist who has carried out a program of research of consistently high quality over a period of years that has produced a number of substantial results. If the research program has been carried out collaboratively the award may be made jointly to the research team. The first recipient of this award was John McCarthy in 1985. The award carries with it a certificate and the sum of $1,000 plus travel and living expenses for the IJCAI. The researcher(s) will be invited to deliver an address on the nature and significance of the results achieved and write a paper for the conference proceedings. Primarily, however, the award carries the honour of having one's work selected by one's peers as an exemplar of sustained research in the maturing science of Artificial Intelligence. We hereby call for nominations for The IJCAI Award for Research Excellence to be made at IJCAI-89 in Detroit. The accompanying note on Selection Procedures for IJCAI Awards provides the relevant details. THE COMPUTERS AND THOUGHT AWARD The Computers and Thought Lecture is given at each International Joint Conference on Artificial Intelligence by an outstanding young scientist in the field of artificial intelligence. The Award carries with it a certificate and the sum of $1,000 plus travel and subsistence expenses for the IJCAI. The Lecture is presented one evening during the Conference, and the public is invited to attend. The Lecturer is invited to publish the Lecture in the conference proceedings. The Lectureship was established with royalties received from the book Computers and Thought, edited by Feigenbaum and Feldman; it is currently supported by income from IJCAI funds. Past recipients of this honour have been Terry Winograd (1971), Patrick Winston (1973), Chuck Rieger (1975), Douglas Lenat (1977), David Marr (1979), Gerald Sussman (1981), Tom Mitchell (1983), Hector Levesque (1985), and Johan de Kleer (1987). Nominations are invited for The Computers and Thought Award to be made at IJCAI-89 in Detroit. The note on Selection Procedures for IJCAI Awards describes the nomination procedures to be followed. SELECTION PROCEDURES FOR IJCAI AWARDS Nominations for The Computers and Thought Award and The IJCAI Award for Research Excellence are invited from everyone in the Artificial Intelligence international community. The procedures are the same for both awards. There should be a nominator and a seconder, at least one of whom should not be in the same institution as the nominee. The nominee must agree to be nominated. There are no other restrictions on nominees, nominators or seconders. The nominators should prepare a short submission of less than 2,000 words, outlining the nominee's qualifications with respect to the criteria for the particular award. The award selection committee is the union of the Program, Conference and Advisory Committees of the upcoming IJCAI and the Board of Trustees of IJCAII, with nominees excluded. Nominations should be submitted before December 1st, 1988 to the Conference Chair for IJCAI-89: Wolfgang Bibel IJCAI-89 Conference Chair Department of Computer Science University of British Columbia Vancouver, CANADA V6T 1W5 Tel. +1-604-228-6281 Net: bibel@ubc.csnet ------------------------------ Date: Thu, 23 Jun 88 13:27 EDT From: finin@PRC.Unisys.COM Subject: Unisys AI seminar: The Causal Simulation of Ordinary and Intermittent Mechanical Devices AI SEMINAR UNISYS PAOLI RESEARCH CENTER The Causal Simulation of Ordinary and Intermittent Mechanical Devices Pearl Pu University of Pennsylvania The causal simulation of physical devices is an important area in the field of commonsense reasoning of the everyday physical world. When a human expert describes the way a physical device works, for example a pendulum clock, he or she uses commonsense knowledge of physics and mathematics. To make computers to do likewise, we must first construct a knowledge representation scheme that captures commonsense knowledge, and supports causal simulation. Mechanical systems, especially those that exhibit intermittent motions, provide a good basis for the investigation of behavioral reasoning issues. Our key observation is that the spatial configuration of mechanical devices changes periodically. So far only simple links or conduits have been used to model the connection between a pair of objects in the field. We offer a solution which uses a separate representational entity, called the connection frame, to model the spatial relationships between a pair of objects and how those relationships achieve force or velocity propagation. The connection representation is assumed supplied as part of the design knowledge of the mechanism, though it could be just as readily computed by other spatial connection determination methods. In this talk, I describe a framework constructed to simulate the behaviors of regular and intermittent mechanical systems, with an emphasis on force and velocity propagation reasoning. In general, it appears that continuous motion can usually be modeled by velocity propagation while intermittent motion is best approached by force propagation. The second part of the talk, I discuss a simulation system which attempts to reason about how the physical devices work by simulating the devices qualitatively, mimicing the way people perform such a task. The simulation algorithm will be outlined. Several examples analyzed with the model include dozens of generic objects and connections, a two-gear device, a spring-driven cam mechanism, and a pendulum clock. Currently the simulation is being implemented on the Symbolics Lisp machine in Flavors, which is an object-oriented language. Some of the implementation issues will be discussed as well. 2:00 pm Wednesday, June 29 BIC Conference room Unisys Paoli Research Center 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: Thu, 23 Jun 88 09:11 EDT From: walker_donald e <walker@flash.bellcore.com> Subject: COLING '88 program 12th INTERNATIONAL CONFERENCE ON COMPUTATIONAL LINGUISTICS: COLING '88 Budapest, 22-27 August 1988 SCIENTIFIC PROGRAMME SCHEDULE MONDAY, AUGUST 22nd 9:30 OPENING SESSION - Room E ROOM A: SEMANTICS 11:00 - J.Ph.Hoepelman, A.J.M.van Hoof (FRG): The success of failure - the concept of failure in dialogue logics with some applications for NL-semantics 11:30 - P.Saint-Dizier (France): Default logic, natural language and generalized quantifiers 12:00 - D.Jurafsky (USA): Issues in the relation of grammar and meaning 14:00 - D.Horton, G.Hirst (Canada): Presuppositions as beliefs 14:30 - R.E.Mercer (Canada): Solving some persistent presupposition problems 15:30 - T.Vlk (Czechoslovakia): Topic/Focus articulation and intensional logic 16:00 - M.Merkel (Sweden): A novel analysis of temporal frame-adverbials ROOM B: FORMAL MODELS 11:00 - N.Abe (USA): Polynomially learnable subclasses of mildly context sensitive languages 11:30 - C.Beierle, U.Pletat (FRG): Feature graphs and abstract data types: a unifying approach 12:00 - M.Reape, H.Thompson (UK): Parallel intersection and serial composition of finite state transducers 14:00 - S.M.Shieber (USA): A uniform architecture for parsing and generation 14:30 - J.Wedekind (FRG): Generation as structure driven derivation 15:30 - M.Meteer, V.Shaked (USA): Strategies for effective paraphrasing 16:00 - J.Kilbury (FRG): Parsing with category cooccurrence restrictions ROOM C: UNDERSTANDING AND KNOWLEDGE REPRESENTATION 11:00 - L.Ahrenberg (Sweden): Functional constraints in knowledge-based natural language understanding 11:30 - X.Liu, T.Nishida, S.Doshita (Japan): Maintaining consistency and plausibility in integrated natural language understanding 12:00 - K.Hasida (Japan): A cognitive account of unbounded dependency 14:30 - V.Pericliev, S.Brajnov, I.Nenova (Bulgaria): Hinting by paraphrasing in an instruction system 15:30 - P.S.Jacobs (USA): Concretion: assumption-based understanding 16:00 - U.Zernik, A.Brown (USA): Default reasoning in natural language processing: a preliminary report ROOM D: MACHINE TRANSLATION 11:00 - J.Tsujii, M.Nagao (Japan): Dialogue translation vs. text translation - interpretation based approach 11:30 - R.Zajac (France): Traduction interactive: une nouvelle approche 12:00 - A.K.Melby (USA): Lexical transfer: between a source rock and a hard target 14:00 - J.L.Beaven, P.Whitelock (UK): Machine translation using isomorphic UCGs 14:30 - H.Nogami, Y.Yoshimura, S.Amano (Japan): Parsing with look-ahead in a real-time on-line translation system 15:30 - F.Nishida, S.Takamatsu (Japan): Feed-back of the corrections in post edition to the machine translation system 16:00 - K.Kakigahara, T.Aizawa (Japan): Completion of Japanese sentences by inferring function words from content words SPEECH ANALYSIS AND SYNTHESIS 17:00 - W.M.P.Daelemans (Belgium): A grapheme-to-phoneme conversion system for Dutch 17:30 - P.Trescases, M.Crocker (Canada): Linguistic contributions to text-to-speech computer programs for French 18:00 - R.Kuhn (Canada): Speech recognition and the frequency of recently used words: a modified Markov model for natural language 17:00 - 18:30 PANEL DISCUSSION in Room C: "Language Engineering: The real Bottleneck of Natural Language Processing: (moderator: M.Nagao) TUESDAY, AUGUST 23rd ROOM A: SEMANTICS 9:00 - J.Pustejovsky, P.Anick (USA): On the semantic interpretation of nominals 9:30 - L.Lesmo, P.Terenziani (Italy): Interpretation of noun phrases in intensional contexts 10:00 - E.V.Paduceva (USSR): Referential properties of generic terms denoting things and situations DISCOURSE 11:00 - M.V.LaPolla (USA): The role of old information in generating readable text 11:30 - M.H.Sarner, S.Carberry (USA): A new strategy for providing definitions in task-oriented dialogues 12:00 - A.Yamada, T.Nishida, S.Doshita (Japan): Figuring out most plausible interpretation from spatial descriptions 14:00 - E.Werner (FRG): A formal computational semantics and pragmatics of speech acts 14:30 - M.Gerlach, M.Sprenger (FRG): Semantic interpretation of pragmatic clues: connectives, modal verbs, and indirect speech acts 15:30 - K.Eberle (FRG): Partial orderings and Aktionsarten in discourse representation theory 16:00 - M.Hess (Switzerland): Crossing coreference in discourse representation theory ROOM B: FORMAL MODELS 9:00 - L.Vijay-Shanker, A.K.Joshi (USA): Feature structures based tree adjoining grammars 9:30 - R.M.Kaplan, J.T.Maxwell III (USA): An algorithm for functional uncertainty 10:00 - Ch.Boitet, Y.Zaharin (France): Representation trees and string-tree correspondences 11:00 - L.Carlson (Finland): RUG: Regular unification grammar 11:30 - J.Calder, E.Klein (UK), H.Zeevat (FRG): Unification categorial grammar, a concise, extendable grammar for natural language processing 12:00 - A.M.R.Aristar, C.F.Justus (USA): Word-order constraints in a multilingual categorial grammar 14:00 - B.V.Sukhotin (USSR): Optimization algorithms of deciphering as the elements of a linguistic theory 14:30 - R.M.Kaplan, J.T.Maxwell III (USA): Coordination in lexical functional grammar 15:30 - S.Busemann, Ch.Hauenschild (Berlin): A constructive view of GPSG or how to make it work 16:00 - W.Weisweber (Berlin): Using constraints in a constructive version of GPSG ROOM C: UNDERSTANDING AND KNOWLEDGE REPRESENTATION 9:00 - H.Shimazu, Y.Takashima, M.Tomono (USA, Japan): Understanding of stories for animation 9:30 - R.J.Kuhns (USA): A news analysis system 10:00 - D.Fass (USA): Metonymy and metaphor: what's the difference? SOFTWARE TOOLS 11:00 - B.Boguraev, J.Carroll, T.Briscoe, C.Grover (UK): Software support for practical grammar development 11:30 - H.Tomabechi, M.Tomita (USA): Application of the direct memory access paradigm to natural language interface to knowledge-based system 12:00 - M.Marino (Italy): A process-activation based parsing algorithm for the development of natural language grammars 14:00 - T.Tokunaga, M.Iwayama, H.Tanaka, T.Kamiwaki (Japan): LangLAB: a natural language analysis system 14:30 - H.Kaji (Japan): An efficient execution method for rule-based machine translation COMPUTER ASSISTED LEARNING 15:30 - M.Zock (France): Language learning as problem solving 16:00 - M.Rayner, A.Hugosson, G.Hagert (Sweden): Using a logic grammar to learn a lexicon ROOM D: PARSING 9:00 - B.Lang (France): Parsing incomplete sentences 9:30 - H.Saito, M.Tomita (USA): Parsing noisy sentences 10:00 - E.Giachin, K.C.Rullent (Italy): Robust parsing of severely corrupted spoken utterance MACHINE TRANSLATION 11:00 - P.Isabelle, M.Dymetman, E.Mackiovitch (Canada): CRITTER: a translation system for agricultural market reports 11:30 - Chen Zhaoxiong, Gao Qingshi (China): English-Chinese machine translation system IMT/EC 12:00 - I.Golan, S.Lappin, M.Rimon (Israel): An active bilingual lexicon for machine translation PARSING 14:00 - Y.Schabes, A.K.Joshi (USA): An Earley-type parser for tree adjoining grammar 14:30 - A.Yonezawa, I.Ohsawa (Japan): A new approach to parallel parsing for context-free grammar 15:30 - M.B.Kac, T.Rindflesch (USA): Coordination in reconnaissance- attack parsing 16:00 - L.Emirkanian, L.H.Bouchard (Canada): Knowledge integration in a robust and efficient morpho-syntactic analyzer for French MACHINE TRANSLATION 17:00 - Ch.DiMarco, G.Hirst (Canada): Stylistic grammars in language translation 17:30 - P.C.Rolf (Netherlands): Machine translation: the language network (versus the intermediate language) 18:00 - P.Brown, J.Cocke, S.Della Pietra, V.Della Pietra, F.Jelinek, R.Mercer, P.Roossin (USA): A statistical approach to language translation 17:00 - 18:30 PANEL DISCUSSION in Room C: "Parallel Processing in Computational Linguistics" (moderator: H.Schnelle) THURSDAY, AUGUST 25th ROOM A: SYNTAX AND MORPHEMICS 9:00 - T. van der Wouden, D.Heylen (Netherlands): Massive disambiguation of large text corpora with flexible categorial grammar 9:30 - I.Kudo, T.Morimoto, M.Chung, M.Koshino (Japan): Schema method: a framework for correcting ill-formed input based on LFG 10:00 - J.Veronis (France): Morphosyntactic correction in natural language interfaces 11:00 - L.Kataja, K.Koskenniemi (Finland): Finite-state description of Semitic morphology: a case study of ancient Akkaidan 11:30 - M.R.Sorensen (USA): Non-linear computational analysis of non-concatenative Arabic morphology 12:00 - G.Goerz, D.Paulus (FRG): A finite state approach to German verb morphology 14:00 - K.Koskenniemi, K.W.Church (USA): Complexity, two-level morphology and Finnish 14:30 - J.Bear (USA): Morphology with two-level rules and negative rule features 15:30 - J.Carson (FRG): Unification and transduction in computational phonology 16:00 - I.A.Bol'sakov (USSR): Socinitel'nyj ellipsis v russkich tekstach: problemy opisanija i vosstanovlenija ROOM B: DISCOURSE 9:00 - B.L.Webber (USA): Tense as discourse anaphora 9:30 - J.G.Carbonell, R.D.Brown (USA): Anaphora resolution: a multi-strategy approach 10:00 - E.Schuster (USA): Anaphoric reference to events and action: a representation LANGUAGE GENERATION 11:00 - L.Iordanskaja, R.Kittredge, A.Polguere (Canada): Implementating the meaning-text model for language generation 11:30 - S.Nirenburg, I.Nirenburg (USA): A framework for lexical selection in natural language generation 12:00 - J.M.Lancel, M.Otani, N.Simonin (France): Sentence parsing and generation with a semantic dictionary and a lexicon-grammar 14:00 - D.Schmauks, N.Reithinger (FRG): Generating multimodal output - conditions, advantages and problems 14:30 - M.Gasser, M.G.Dyer (USA): Sequencing in a connectionist model of language processing 15:30 - N.Ward (USA): Issues in word choice 16:00 - P.Sibun, A.K.Huettner, D.D.McDonald (USA): Directing the generation of living space descriptions ROOM C: COMPUTER ASSISTED LEARNING 9:00 - C.Schwind (France): Sensitive parsing: error analysis and explanation in an intelligent language tutoring system 9:30 - W.Menzel (GDR): Error diagnosing and selection in a training system for second language learning 10:00 - E.G.Borissova (USSR): Two-component teaching system, that understands and corrects mistakes 11:00 - U.Zernik (USA): Language Acquisition: Coping with lexical gaps 11:30 - W.Bloemberg (Netherlands): A system for creating and manipulating generalized wordclass transition matrices from large labelled text-corpora 12:00 - Y.Tateisi, Y.Ono (Japan): A computer readability formula of Japanese texts for machine scoring LEXICAL ISSUES 14:00 - R.Scha, D.Stallard (USA): Lexical ambiguity and distributivity 14:30 - J.L.Klavans (USA): COMPLEX: a computational lexicon for natural language systems 15:30 - J.Nakamura, M.Nagao (Japan): extraction of semantic information from ordinary English dictionary and its evaluation 16:00 - N.Calzolari, E.Picchi (Italy): Acquisition of semantic information from an on-line dictionary ROOM D: MACHINE TRANSLATION 9:00 - E.van Munster (Netherlands): The treatment of scope and negation in Rosetta 9:30 - P.Schmidt (FRG): A syntactic description of German in a formalism designed for a machine translation system 10:00 - C.Zelinsky-Wibbelt (FRG): Universal quantification in machine translation PARSING 11:00 - H.Nakagawa, T.Mori (Japan): A parser based on connectionist model 11:30 - R.T.Kasper (USA): An experimental parser for systemic grammars 12:00 - A.Abeille (USA): Parsing French with tree adjoining grammar: some linguistic accounts 14:00 - H.Haugeneder, M.Gehrke (FRG): Improving search strategies: an experiment in best-first parsing 14:30 - O.Stock, R.Falcone, P.Insinnamo (Italy): Island parsing and bidirectional charts 15:30 - H.Trost, W.Heinz, E.Buchberger (Austria): On the interaction of syntax and semantics in a syntactically guided caseframe parser 16:00 - G.Adriaens, M.Devos, Y.D.Willems (Belgium): The parallel expert parser (PEP): a thoroughly revised descendant of the word expert parser (WEP) MACHINE TRANSLATION 17:00 - M.Meya, J.Vidal (Spain): An integrated model for treatment of time in MT-systems 17:30 - F.van Eynde (Belgium): The analysis of tense and aspect in EUROTRA 18:00 - E.H.Steiner, J.Winter-Thielen (FRG): ON the semantics of focus phenomena in Eurotra 17:00 - 18:30 PANEL DISCUSSION in Room C "Controlled Languages and Language Control" (moderator: H.Karlgren) FRIDAY, AUGUST 26th 9:00 - 10:30 PLENARY SESSION: TRENDS AND PERSPECTIVES Speakers: A.K.Joshi, H.Karlgren, M.Kay, M.Nagao, P.Sgall, W.Wahlster ROOM A: DISCOURSE 11:00 - A.Nakhimovsky, W.Rapaport (USA): Discontinuities in narratives 11:30 - K.J.Saebo (FRG): A cooperative yes-no query system featuring discourse particles 12:00 - R.Reilly (Ireland), G.Ferrari, I.Prodanof (Italy): a Framework for a model of dialogue 14:00 - J.Gundel, N.Hedberg, S.Rundquist, R.Zacharski (USA): On the generation and interpretation of demonstrative expressions 14:30 - K.Yoshimoto (Japan): Identifying zero pronouns in Japanese dialog ROOM B: SPEECH ANALYSIS AND SYNTHESIS 11:00 - W.N.Campbell (UK): Speech-rate variation in a real-speech database 11:30 - K.J.Engelberg (FRG): Lexical functional grammar in speech recognition 12:00 - S.Matsunaga, M.Kohda (Japan): Linguistic processing using a dependency structure for speech recognition and understanding 14:00 - J.Harrington, G.Watson, M.Cooper (UK): Word-boundary identification from phoneme sequence constraints in automatic continuous speech recognition 14:30 - G.Houghton (UK): Anaphora and accent placement in a model of the production of spoken dialogue ROOM C: LEXICAL ISSUES 11:00 - Y.Wilks, D.Fass, Ch.M.Guo, J.E.McDonald, T.Plate, B.M.Slator (USA): Machine tractable dictionaries as tools and resources for natural language processing 11:30 - M.Domenig (Switzerland): Word manager: a system for the definition, access and maintenance of lexical databases 12:00 - B.Katz, B.Levin (USA): Exploiting lexical regularities in designing natural language systems 14:00 - Zhong-Xiang Yang (China): Generation of Chinese vocabulary from text by associative network 14:30 - J.H.Martin (USA): Representing regularities in the metaphoric lexicon ROOM D: MACHINE TRANSLATION 11:00 - J.A.Alonso (Spain): A model for transfer control in METAL 11:30 - M.McGee Wood (UK): Machine translation for monolinguals 12:00 - A.Bech, A.Nygaard (Denmark): The E-framework: a new comprehensive formalism for natural language processing within a stratificational transfer-based multi-lingual machine translation system PARSING 14:00 - N.Correa (USA): A binding rule for government-binding parsing 14:30 - Hsin-Hsi Chen, I-Peng Lin, Chien-Ping Wu (Taiwan): A new design of Prolog-based bottom-up parsing system with government-binding theory 15:00 - 17:00 PANEL DISCUSSION in Room C "The Relation of Lexicon and Grammar in Machine Translation" (moderator: A.Zampolli) 17:00 - CLOSING SESSION in Room C For further information, contact: COLING'88 Secretariat c/o MTESZ Congress Bureau Kossuth ter 6-8, H-1055 Budapest, Hungary Telex: 22792 MTESZ H ------------------------------ End of NL-KR Digest *******************