Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!cs.rpi.edu!nl-kr-request From: nl-kr-request@cs.rpi.edu (NL-KR Moderator Chris Welty) Newsgroups: comp.ai.nlang-know-rep Subject: Volume 6 No. 18 of NL-KR Digest Message-ID: <8904071906.AA11402@fs3.cs.rpi.edu> Date: 7 Apr 89 19:06:59 GMT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: nl-kr@cs.rpi.edu (NL-KR Digest) Organization: The Internet Lines: 516 Approved: nl-kr@cs.rpi.edu NL-KR Digest (Fri Apr 7 11:38:31 1989) Volume 6 No. 19 Today's Topics: KR'89 Conference Information Call for participation. Workshop at IJCAI-89 on Connectionist AI? 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 >From: rjb@allegra.att.com (Ron Brachman) Date: Fri, 7 Apr 89 10:53:50 EDT Subject: KR'89 Conference Information [[ Hope to meet many of you at this one -CW ]] KR'89: THE FIRST INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING Monday, May 15, 1989 - Thursday, May 18, 1989 Royal York Hotel Toronto, Ontario, CANADA PLEASE NOTE: Conference brochures (with registration material) were mailed out several weeks ago to AAAI members, those who submitted papers to KR'89, and those who helped out with the conference. Apparently, not all of the brochures reached their final destinations. If you did not receive a brochure, or would like information about registration and accommodations, please contact Ray Reiter, at (416) 978-6324 or reiter@ai.toronto.edu. Registration material can be sent to you electronically. PLEASE REGISTER EARLY, AS SPACE IS LIMITED. Reduced fees for early registrants are available until April 14. Also please note that some of the paper titles and authors have changed since the brochure was printed. The titles and authors specified below are correct. KR'89 CONFERENCE SCHEDULE ======================================================================== SUNDAY, MAY 14 -- EVENING 7:00 Opening Reception Ballroom ======================================================================== ======================================================================== MONDAY, MAY 15 -- MORNING - -------------- Ontario Room: Nonmonotonic Reasoning I --------------- 9:00 A Simple Solution to the Yale Shooting Problem Andrew B. Baker -- Stanford University 9:35 Did Newton Solve the "Extended Prediction Problem"? Manny Rayner -- Swedish Institute of Computer Science 10:10 == break == 10:30 Defaults and Probabilities; Extensions and Coherence Eric Neufeld -- University of New Brunswick 11:05 Default Reasoning, Minimality and Coherence Hector Geffner -- University of California at Los Angeles 11:40 Impediments to Universal Preference-Based Default Theories Jon Doyle -- Massachusetts Institute of Technology Michael P. Wellman -- AFWAL/TXI, Wright-Patterson AFB - -------------- Ballroom: Taxonomic Representations; Natural Language-Oriented Representations ---------- 9:00 Terminological Knowledge Representation Systems Supporting N-Ary Terms James G. Schmolze -- Tufts University 9:35 Subsumption in KL-ONE is Undecidable Manfred Schmidt-Schauss -- Universitat Kaiserslautern 10:10 == break == 10:30 Taxonomic Syntax for First Order Inference David McAllester -- MIT Artificial Intelligence Laboratory Bob Givan -- MIT Artificial Intelligence Laboratory Tanveer Fatima -- MIT Artificial Intelligence Laboratory 11:05 Ontological Assumptions in Knowledge Representation Graeme Hirst -- University of Toronto 11:40 An Episodic Knowledge Representation for Narrative Texts Lenhart K. Schubert -- University of Rochester Chung Hee Hwang -- University of Rochester ======================================================================== 12:15 - 2:00 LUNCH ======================================================================== MONDAY, MAY 15 -- AFTERNOON - -------------- Ontario Room: Metareasoning; Belief Revision -------- 2:00 Principles of Metareasoning Stuart Russell -- University of California at Berkeley Eric Wefald -- University of California at Berkeley 2:35 Tractable Decision-Analytic Control Oren Etzioni -- Carnegie-Mellon University 3:10 == break == 3:30 Belief, Metaphorically Speaking John A. Barnden -- New Mexico State University 4:05 A Knowledge Level Analysis of Belief Revision Bernhard Nebel -- IBM Deutschland GmbH 4:40 Formal Theories of Belief Revision Anand S. Rao -- The Australian AI Institute Norman Y. Foo -- University of Sydney - -------------- Ballroom: Symposium on Temporal Reasoning -------------- Temporal Reasoning in AI, Philosophy, and Theoretical Computer Science Organized and Moderated by Yoav Shoham, Stanford University 2:00 Johan van Benthem, Universiteit van Amsterdam 2:45 Panel Discussion 3:10 == break == 3:30 Amir Pnueli, Weizmann Institute 4:15 Panel Discussion 4:40 Audience Participation ======================================================================== ======================================================================== TUESDAY, MAY 16 -- MORNING - -------------- Ontario Room: Deductive Reasoning -------------------- 9:00 A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning Alan M. Frisch -- University of Illinois 9:35 On the Appearance of Sortal Literals: A Non Substitutional Framework for Hybrid Reasoning A. G. Cohn -- University of Warwick 10:10 == break == 10:30 Syntactic Equality in Knowledge Representation and Reasoning Edward P. Stabler, Jr. -- University of Western Ontario 11:05 Plausible World Assumption Eliezer L. Lozinskii -- The Hebrew University 11:40 Skeptical Reasoning and Disjunctive Programs Arcot Rajasekar -- University of Maryland Jorge Lobo -- University of Maryland Jack Minker -- University of Maryland - -------------- Ballroom: Case-Based, Analogical, and Inductive Reasoning ------------------------- 9:00 A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation Yoshiteru Ishida -- Kyoto University 9:35 Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions Phyllis Koton -- The MITRE Corporation Melissa P. Chase -- The MITRE Corporation 10:10 == break == 10:30 Induction as Nonmonotonic Reasoning Nicolas Helft -- ICOT 11:05 Analogical Reasoning, Defeasible Reasoning, and the Reference Class R. P. Loui -- Washington University 11:40 Analogy as a Constrained Partial Correspondence Over Conceptual Graphs Debbie Leishman -- University of Calgary ======================================================================== 12:15 - 2:00 LUNCH ======================================================================== TUESDAY, MAY 16 -- AFTERNOON - -------------- Ontario Room: Commonsense Theories ------------------- 2:00 Combining Logic and Differential Equations for Describing Real-World Systems Erik Sandewall -- Linkoping University 2:35 Solutions to a Paradox of Perception with Limited Acuity Ernest Davis -- Courant Institute 3:10 == break == 3:30 Cardinalities and Well Orderings in a Common-Sense Set Theory Wlodek Zadrozny -- IBM T. J. Watson Research Center 4:05 Modelling Topological and Metrical Properties in Physical Processes D. A. Randell -- University of Warwick A. G. Cohn -- University of Warwick - -------------- Ballroom: Symposium on Nonmonotonic Reasoning --------- Nonmonotonic Reasoning Organized and Moderated by David Etherington, AT&T Bell Laboratories 2:00 Probabilistic Semantics for Nonmonotonic Reasoning: A Survey Judea Pearl -- University of California at Los Angeles 3:00 == break == 3:30 Report on the Munich Nonmonotonic Reasoning Workshop David Poole -- University of British Columbia 4:00 Invited Panel: Critical Issues in Nonomonotonic Reasoning Moderator: David Etherington, AT&T Bell Laboratories Panellists: Ken Forbus, University of Illinois Matthew Ginsberg, Stanford University David Israel, SRI International/CSLI Vladimir Lifschitz, Stanford University ======================================================================== TUESDAY, MAY 16 -- EVENING 7:00 Conference Banquet Ontario Place ======================================================================== ======================================================================== WEDNESDAY, MAY 17 -- MORNING - -------------- Ontario Room: Constraints; Time --------------------- 9:00 Parallel Solutions to Constraint Satisfaction Problems Simon Kasif -- The Johns Hopkins University 9:35 Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation Francesca Rossi -- MCC Ugo Montanari -- Universita di Pisa 10:10 == break == 10:30 Temporal Constraint Networks Rina Dechter -- University of California at Los Angeles Itay Meiri -- University of California at Los Angeles Judea Pearl -- University of California at Los Angeles 11:05 Localizing Temporal Constraint Propagation Johannes A. G. M. Koomen -- University of Rochester 11:40 A Non-Reified Temporal Logic Fahiem Bacchus -- University of Waterloo Josh Tenenberg -- University of Rochester Johannes A. Koomen -- University of Rochester - -------------- Ballroom: Default Reasoning; Tractable Reasoning ----- 9:00 What the Lottery Paradox Tells Us About Default Reasoning David Poole -- University of British Columbia 9:35 Hard Problems for Simple Default Logics Henry A. Kautz -- AT&T Bell Laboratories Bart Selman -- University of Toronto 10:10 == break == 10:30 Some Results Concerning the Computational Complexity of Abduction Tom Bylander -- The Ohio State University Dean Allemang -- The Ohio State University Michael C. Tanner -- The Ohio State University John R. Josephson -- The Ohio State University 11:05 Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning Alex Borgida -- Rutgers University David W. Etherington -- AT&T Bell Laboratories 11:40 Towards a Theory of Access-Limited Logic for Knowledge Representation J. M. Crawford -- The University of Texas at Austin Benjamin Kuipers -- The University of Texas at Austin ======================================================================== WEDNESDAY, MAY 17 -- AFTERNOON ***** FREE AFTERNOON ***** ======================================================================== ======================================================================== THURSDAY, MAY 18 -- MORNING - -------------- Ontario Room: Nonmonotonic Reasoning II -------------- 9:00 What Does a Conditional Knowledge Base Entail? Daniel Lehmann -- Hebrew University 9:35 Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming Teodor C. Przymusinski -- University of Texas at El Paso 10:10 == break == 10:30 Argument Systems: A Uniform Basis for Nonmonotonic Reasoning Fangzhen Lin -- Stanford University Yoav Shoham -- Stanford University 11:05 Between Circumscription and Autoepistemic Logic Vladimir Lifschitz -- Stanford University 11:40 Relating Autoepistemic and Default Logics Wiktor Marek -- University of Kentucky Miroslaw Truszczynski -- University of Kentucky - -------------- Ballroom: Planning and Reasoning about Action -------- 9:00 Synthesizing Information-Tracking Automata from Environment Descriptions Stanley J. Rosenschein -- Teleos Research 9:35 Situated Control Rules Mark Drummond -- NASA Ames Research Center 10:10 == break == 10:30 ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus Edwin P. D. Pednault -- AT&T Bell Laboratories 11:05 Inheritance in Automated Planning Josh Tenenberg -- University of Rochester 11:40 Making Situation Calculus Indexical Devika Subramanian -- Stanford University John Woodfill -- Stanford University ======================================================================== 12:15 - 2:00 LUNCH ======================================================================== THURSDAY, MAY 18 -- AFTERNOON - -------------- Ballroom: Plenary Symposium ---------------------------- Against Representation: The Opposition Speaks Organized and Moderated by David Kirsh, MIT Speaker: Geoffrey Hinton, University of Toronto "Connectionist Symbol Processing" Respondent: Danny Bobrow, Xerox PARC Speaker: Stan Rosenschein, Teleos Research "No Representation Without Information" Respondent: Drew McDermott, Yale University Speaker: John Perry, Stanford University/CSLI "Intelligence is Attunement to Incremental Information" Respondent: Robert Moore, SRI International ======================================================================== ------------------------------ To: nl-kr@cs.rpi.edu Date: Fri, 7 Apr 89 09:06 EST >From: Lokendra Shastri Subject: Call for participation. Workshop at IJCAI-89 on Connectionist AI? Moderator - This workshop should be of interest to persons interested in NL. This may not be apparent from the title, hence the clarification. - --------------------------------------------------------------------------- IJCAI-89 WORKSHOP CALL FOR PARTICIPATION CONNECTIONIST AI? Motivation and Agenda The focus of the workshop is to define critical issues that comprise the problem of systematic rule governed processes and connectionist architectures. The outcome of the workshop is to elaborate what the problem is and to motivate cross-talk between the connectionist and AI research communities. Numerous claims and counter claims have been made about the nature of connectionist models and how they relate to rule governed behavior. We feel that some researchers tend to oversimplify connectionism and underestimate what it has to offer. At the same time some others make very strong claims about connectionism and tend to underestimate the complexity of the AI problem and ignore insights obtained over years of research in AI and cognitive science. We also feel that some underlying problems in the discussions have never been raised. Through this workshop we hope to gain a better understanding of specific issues related to the integration of rules with connectionist processing approaches and to be able to more clearly specify critical problems that need to be addressed if a reconciliation between the approaches is warranted. Specific issues to be discussed Introductory Discussions - (Session I) 1. There are a number of variations on connectionism such as parallel distributed processing, localist or structured connectionist models, neural nets. What are the core aspects of connectionist models? 2. What is a rule? Aspects of rules to be addressed include - structure and representation of rules and control of rule-based processes. Reconciling rules with connectionism -- the alternatives? (Session II) 1. Is there a clash between rules and connectionist architectures? It is often asserted that connectionist models are "non-symbolic" or "sub-symbolic", and hence, fundamentally different from traditional AI approaches. Examine this claim? 2. Should connectionist architectures compute rules? If so, what kind of rules? If not, how does one reconcile the approach with rules as characteristics of performance? Can connectionism contribute to AI? (Session III) 1. It is claimed that connectionism just provides an interesting implementation paradigm. What is meant by "an implementation paradigm"? Can an implementation paradigm offer crucial insights into problems? 2. Evaluate the contributions made by recent work in Connectionism to central problems in AI such as representation, reasoning, and learning. Format Our aim is to gather around 25 experts from within mainstream AI as well as connectionism to discuss the above issues in depth. The workshop will consist of three 3-hour discussion sessions spread over one and a half days There will not be any presentations but only moderated discussions. Participation Participation in the workshop is by invitation only and is limited to 25 persons. Anyone who has published on issues directly related to the workshop may apply. Please submit one two page abstract outlining your position on one or more topics to be discussed and a list of your recent publications on any of these topics. The abstract should be in 12 point font (the size of this text) and double spaced. (References may extend beyond the two page limit.) Send three copies of your submission by APRIL 17, 1989 to: Lokendra Shastri Computer and Information Science University of Pennsylvania, Philadelphia, PA 19104. Organizers: Helen Gigley Lokendra Shastri Army Audiology and Speech Center Computer and Information Science Dept Walter Reed Army Medical Center University of Pennsylvania Washington, D.C. 20012 Philadelphia, PA l9l04 hgigley@note.nsf.gov shastri@cis.upenn.edu Alan Prince Psychology Department Brandeis University Waltham, MA 02254 prince@brandeis.bitnet ------------------------------ End of NL-KR Digest *******************