nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty) (06/15/89)
NL-KR Digest (Wed Jun 14 16:06:12 1989) Volume 6 No. 28 Today's Topics: Conf. on Predication Bio-Matrix'89 Meeting Announcement CFP: IJCAI Plan Recognition Workshop IKBCS-89 in Bombay: dec 11-13 1989. AI and CPA Conference Postdoc Position in Theorem Proving at Edinburgh 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.1.10] 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. ----------------------------------------------------------------- To: nl-kr@cs.rpi.edu Date: Fri, 9 Jun 89 11:17:40 EDT >From: rapaport@cs.Buffalo.EDU (William J. Rapaport) Subject: Conf. on Predication School of Humanities, University of California at Irvine and University of California Humanities Research Institute present a conference on PROBLEMS AND CHANGES IN THE CONCEPT OF PREDICATION August 21 - August 26, 1989 338 Administration Building University of California at Irvine The purpose of this conference is to bring together scholars with a broad range of expertise on the subject of predication, extending from ancient and medieval philosophy to the philosophy of science and com- puter science, in order both to investigate the nature of the tradi- tional conception of predication and to assess various challenges to this conception. Historically, the topic originates with the ancient Greek philosophers, most importantly (though by no means exclusively) with Aristotle. Pred- ication, whether conceived as a property of statements or as a relation between certain parts of a statement, is unarguably one of the most fun- damental philosophical concepts. Since Aristotle's time, various aspects of his account of science, and the theory of predication that goes with it, have been subjected to vigorous debate, and many of his theses have, in the course of time, met with widespread rejection. Nonetheless, the Aristotelian conception and its various descendents are still the subject of intense debate. The sources of this contemporary interest are many and diverse, ranging from developments in metaphysics and literary theory to developments in recent physics. The discussion should illuminate ways in which the important philosophical concept of predication influences, and is influenced by, the manifold disciplines on which it impinges. PARTICIPANTS Frank Arntzenius, Harvard University and University of Southern California James Bogen, Pitzer College Jeffrey Bub, University of Maryland Alan Code, University of California at Berkeley Maxwell Cresswell, Victoria University, J. Michael Dunn, Indiana University Kit Fine, UCLA Malcolm Forster, University of Wisconsin Karel Lambert, University of California at Irvine Frank Lewis, University of Southern California Carl Posy, Duke University William J. Rapaport, SUNY Buffalo Erhard Scheibe, University of Heidelberg Bas van Fraassen, Princeton University The conference is free and open to the public, but advance registration is encouraged. To recieve information, please contact: Ann Holland UCI Conference Services 105 Administration Irvine, CA 92717 714-856-6963 ------------------------------ To: nl-kr@cs.rpi.edu Date: Fri, 9 Jun 89 11:08:56 -0400 >From: overt@PRC.Unisys.COM Subject: Bio-Matrix'89 Meeting Announcement CALL FOR PARTICIPATION: CONFERENCE ON THE MATRIX OF BIOLOGICAL KNOWLEDGE Aug. 18-19, 1989 White Mountain Conference Center, Waterville Valley, NH Biological systems are characterized by complex relationships among their components. It is becoming increasingly clear that further rapid advances in our understanding of these systems depends on our ability to structure, access and analyze the rapidly expanding volume of experimental data and accumulated knowledge needed to elucidate these relationships. To that end, a ``Matrix of Biological Knowledge'' (Bio-Matrix) has been proposed in which biological databases would be integrated into a cohesive whole and interfaced to a knowledge base containing a structured representation of biological knowledge. The resulting system would be used as the foundation for the analysis of a range of biological problems. The Bio-Matrix project requires an interdisciplinary approach combining expertise from both the biological and computer science communities. This meeting is designed to explore the issues and approaches towards implementing the Bio-Matrix and to foster the necessary interchange among the various computer science and biological disciplines. Topics to be addressed include: o Examples and status of current biological databases. DBs include information resources for biosequences, genetics, macromolecular structure, systematics, toxicology, etc. and the associated literature. o Approaches to database integration. These include the range from straightforward database merges to integration of multiple heterogeneous, distributed databases. o Next generation database systems. Much information of biological interest, e.g., graphics, pictures, text, and biosequences, is not well suited to current commercial database technology. Alternatives such as object-oriented databases, hypertext and multi-media databases are needed. o Automation of Knowledge Acquisition. A major stumbling block in building the Bio-Matrix is the task of entering the enormous volume of knowledge and data into the system. Methodologies to overcome this block must be developed. o Integrating Knowledge-Based/Expert Systems, Database Systems and Analysis Tools. Analysis of biological problems is knowledge and data intensive. How should systems be designed to automate this process? o Theory of Biological Knowledge Representation and Techniques for Reasoning in the Biological Domain. How do we best represent biological knowledge both for task specific applications and as part of a general theory of biological knowledge? Many key biological insights have been driven by reasoning about analogies and homologies in systems both within and between species. Methods for representing these relationships and to assist in reasoning about them are central to the Bio-Matrix concept. Similarly, models of biological systems can be viewed both as a description of the system and as a tool for reasoning about the system. As problems of increasing complexity are addressed by biologists, the need for representing and reasoning with models becomes more critical. The conference will be organized as a two day meeting following and coordinated with the 1989 MacroMolecules, Genes and Computing II Meeting to be held Aug. 13-17, 1989 at the same site. The Bio-Matrix Conference will include invited speakers, poster sessions and workshops. Invited speakers will be chosen on the basis of a short (less than 500 word) abstract describing their work. All others attending the meeting are encouraged to submit a poster. One of the primary aims of the meeting is to foster the dialog between computer scientists and biologists that is necessary for the success of the Bio-Matrix project. To that end, workshops will include both tutorials to educate biologists in the potential benefits of recent computer science research, and to educate computer scientists in the front-line problems of interest to the biologists. In the latter category, one workshop, ``Concepts in Biology for Computer Scientists'', is designed to introduce computer scientists to areas of biological research, such as the Human Genome Sequencing Projects, where use of computers will play a major role in the success of the project. Proposals for workshops and tutorials are invited at this time. Again, proposals should be less than 500 words. Proposals and abstracts should be submitted by June 15th with notification of acceptance by July 5th. Acceptance of a proposal or abstract is not a requirement for attendance, but funding for travel, room and board will be limited to those selected to present material. Cost of the meeting is moderate: There is no conference fee and room and board is approximately $130 per day. We especially encourage the participation of computer scientists who are interested in working in the domain of biology to use this opportunity to establish contacts with biologists. Submit electronically or by mail to: Dr. G. Christian Overton Unisys Paoli Research Center PO Box 517 Paoli, PA 19301 (215) 648-7533 overt@prc.unisys.com ------------------------------ To: nl-kr@cs.rpi.edu Date: Tue, 6 Jun 89 09:39:51 PDT >From: calistri@algol.crd.ge.com (randy calistri) Subject: CFP: IJCAI Plan Recognition Workshop ///////////////////////////////// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ ////////// Workshop Announcement - Call for Participation \\\\\\\\\\ \\\\\\\\\\ Second Workshop on Plan Recognition ////////// \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ ////////////////////////////////// 11th International Joint Conference on Artificial Intelligence Detroit, Michigan, Monday August 21, 1989 Plan recognition problems remain at the center of a great deal of AI related research. This workshop will bring together researchers and practitioners who are interested in sharing their work on problems associated with inferring a goal-based explanation of the behavior of one or more agents. Closely related problems include inferring an author's plans from text, and inferring a programmer's intentions from code. Problems of this sort often seem to lie at the heart of intelligence; people can apparently select just the right explanatory principles from a large store of knowledge. These problems have encouraged interest in nontraditional control structures such a marker passing, parallelism, and connectionism. To date no decisive solutions have been obtained. FORMAT: This is intended to be a forum for the presentation and discussion of current ideas and approaches. The format will consist of individual presentations followed by adequate time for interaction with peers. To maximize interaction, participation will be limited to about 30-35 attendees, with no more than 10-12 presentations. PARTICIPATION: Those interested in attending should submit a one-page description of their research interests and current work to one of the organizing committee by June 23. Those interested in making a presentation should submit an extended abstract (3-5 pages) of their intended topic. Electronic submissions are encourage. Notification of acceptance or rejection will be given by July 14. Any materials to be reproduced and distributed at the workshop must be submitted by August 11. ORGANIZING COMMITTEE: John Josephson The Ohio State University LAIR, CIS Dept. 228 CAE Bldg., 2036 Neil Ave. Columbus, Ohio 43210-2177 (614) 292-0208 Netmail:jj@cis.ohio-state.edu Jeff Maier Adaptive Software Inc. 4900 Frederick Pike Dayton, Ohio 45414 (513) 275-9000 Randy Calistri GE Corporate R&D K1-5C8, PO Box 8 Schenectady, NY 12301 (518) 387-7839 Netmail: calistri@phecda.crd.ge.com ______________________________________________________________________ ------------------------------ To: nl-kr@cs.rpi.edu Date: Tue, 6 Jun 89 16:03:54 +0200 >From: stdizier@godel.irisa.fr (Patrick Saint Dizier) Subject: IKBCS-89 in Bombay: dec 11-13 1989. IKBCS 89 International Conference on Knowledge Based Computer Systems, Dec 11-13, Bombay, India. Organised by the national center for software technology, Bombay Original papers are invited on the following topics: - Advances in Expert systems, - AI applications, - AI and engineering, - Intelligent tutoring systems, - Knowledge representation, - learning, - Logic Programming, - Natural Language Understanding, - Reasoning, - Speech, - Vision. Send a single spaced paper, 10 pages long maximun to: S Ramani, IKBCS-89, National Center for Software Technology, Gulmohar Cross Road no 9 Bombay 400 049 India by August 15. Notification of acceptance/rejection: October 1st, Final paper due November 1st. Advisory Committee: K Apt (The Netherland), Arvind (USA), M. Boden (UK), A. Joshi (USA), R. Kowalski (UK), CJP Lucena (Brasil), P. Saint-Dizier (France), A. Togashi (Japan). ------------------------------ To: nl-kr@cs.rpi.edu >From: Steven Zenith <ames!hplabs!zenith@inmos-c> Date: Tue, 13 Jun 89 11:16:00 BST Subject: AI and CPA Conference International conference ARTIFICIAL INTELLIGENCE AND COMMUNICATING PROCESS ARCHITECTURE 17th/18th of July 1989, at Imperial College, London UK. Keynote speaker Prof. Iann Barron Invited speakers Prof. Igor Aleksander Neural Computing Architectures. Prof. Colin Besant Programming of Robots. Prof. David Gelernter Information Management in Linda. Dr. Atsuhiro Goto The Parallel Inference Machine. Prof. Tosiyasu Kunii Primitive Image Understanding. Dr. Rajiv Trehan Parallel AI Systems. Prof. Alan Robinson Functional and Relational reasoning. Prof. Les Valiant] Bulk-synchronous Parallel Computing. * Parallel Processing and AI * Parallel Processing and Artificial Intelligence are two key themes which have risen to the fore of technology in the past decade. This international conference brings together the two communities. Communicating Process Architecture is one of the most successful models for exploiting the potential power of parallel processing machines. Artificial Intelligence is perhaps the most challenging applications for such machines. This conference explores the interaction between these two technologies. The carefully selected programme of invited talks and submitted papers brings together the very best researchers currently working in the field. * Topics include * Robotics Neural Networks Image Understanding Speech Recognition Implementation of Logic Programming Languages Information management The Japanese Fifth Generation Project Transputers and Occam * Submitted papers * Fault Tolerant Transputer Network for Image Processing -- S Pfleger etal. Multi-Transputer Implementation of CS-Prolog -- Peter Kacsuk and I Futo Transputer Common-Lisp: A Parallel Symbolic Language on Transputers -- Bruno Pages Fast Robot Kinematic Modelling via Transputer Networks -- A.Y.Zomaya and A.S.Morris Transputer-based Behavioral Module for Multi-Sensory Robot Control -- Zhang Ying PUSSYCAT: A Parallel Simulation System for Cellular Automata on Transputers -- Eddy Pauwels Self-organising Systems and their Transputer Implementation -- D.A.Linkens and S.B.Hasnain The Suitability of Transputer Networks for Various Classes of Algorithms -- M.Korsloot etal. * Proceedings * The edited proceedings includes invited and submitted papers and is published in a new book series on Communicating Process Architecture published by John Wiley and Sons. Organising committee, programme editors and conference chairmen: Dr. Mike Reeve Imperial College, London, UK. Steven Ericsson Zenith INMOS Limited, Bristol, UK. * Conference dinner * The conference dinner will be held at London Zoo, with before dinner sherry in the Aquarium. Coaches will transport delegates. * Accommodation * Accommodation is available on the Campus of Imperial College. Campus accommodation is available for Sunday and/or Monday night. Hotel accommodation can be arranged separately by writing to the conference secretary. * Car parking * Available at a number of local NCP sites. * Payment * Cheques or bankers drafts in pounds sterling should be made payable to: OUG AI Conferences Full name___________________________________________ Institute/Company___________________________________ Address_____________________________________________ ____________________________________________________ ____________________________________________________ ____________________________________________________ Country_____________________________________________ email :_____________________________________________ Non-residential 200 pounds sterling [] Residential (1 night) 225 pounds sterling [] Residential (2 nights) 250 pounds sterling [] Conference dinner 42 pounds sterling [] Total Payable________________________ Some student subsidy is available. 50% subsidy for UK students, 25% subsidy for overseas students. Accomodation for students is at 15 pounds, but the conference dinner is full fee. Special dietary requirements: Vegan [] Vegetarian [] Other (Please specify) Date____________ Signed_______________________________ Dated_____________________ * Registration * Registration should be received by June 16th. Late registration will incur a 20 pound surcharge. All enquiries should be addressed to the conference secretary: The Conference Secretary, OUG AI Conferences, INMOS Limited, 1000 Aztec West, Almondsbury, Bristol BS12 4SQ, UNITED KINGDOM. Tel. 0454 616616 x503 email: zenith@inmos.co.uk occam user group * artificial intelligence * special interest group 1st technical meeting of the OUG AISIG This conference is underwritten by INMOS Limited, to whom the organising committee wish to extend their thanks. ------------------------------ To: nl-kr@cs.rpi.edu Date: Tue, 6 Jun 89 16:27:37 BST >From: Alan Bundy <bundy%aipna.edinburgh.ac.uk@NSFnet-Relay.AC.UK> Subject: Postdoc Position in Theorem Proving at Edinburgh Department of Artificial Intelligence University of Edinburgh RESEARCH FELLOW (Mathematical Reasoning) Applications are invited for an SERC supported post, tenable from 1st November 1989, or on a mutually agreed date. Appointment will be to September 30th 1991, initially, but with a possibility of renewal. The research is to develop proof plans, a technique for guiding the search for a proof in automatic theorem proving. The main application is to the automatic synthesis, verification and transformation of logic programs using constructive logic. The project is led by Professor Alan Bundy and Dr Alan Smaill. Candidates should possess a PhD or have equivalent research or industrial experience. Knowledge of logic is essential and knowledge of artificial intelligence, formal methods in software engineering or logic programming would be an advantage. Salary is on the AR1A scale in the range 9,865-15,720 pounds p.a., according to age, qualifications and experience. Applicants should send a CV and the names of two referees to: Prof. Alan Bundy. Department of Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN. as soon as possible. The closing date for applications is 17th July 1989. Further details may be obtained from Prof. Bundy (at the above address or email to bundy@uk.ac.edinburgh or bundy@rutgers.edu) quoting reference number 5678/E. ------------------------------ End of NL-KR Digest *******************