Theoretical aspects of reasoning about knowledge : proceedings of the fifth conference (TARK 1994) : March 13-16, 1994, Pacific Grove, California

Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science. Content: Front Matter, Page i Copyright, Page ii Preface, Page v, Ronald Fagin Knowledge, Action, and Ability in the Situation Calculus: Extended Abstract, Pages 1-4, Hector Levesque On the Logic of Iterated Belief Revision, Pages 5-23, Adnan Darwiche, Judea Pearl Backwards Forward Induction, Pages 24-43, Gian Aldo Antonelli, Cristina Bicchieri A Knowledge-Based Framework for Belief Change Part I: Foundations, Pages 44-64, Nir Friedman, Joseph Y. Halpern Information acquisition from multi-agent resources, Pages 65-79, Zhisheng Huang, Peter van Emde Boas Consistent Belief Reasoning in the Presence of Inconsistency, Pages 80-94, Jinxin Lin INFINITARY EPISTEMIC LOGIC, Pages 95-107, Aviad Heifetz An Epistemic Logic of Situations (Extended Abstract), Pages 109-121, Paul F. Syverson ACTUAL TRUTH, POSSIBLE KNOWLEDGE, Pages 122-137, Wlodek Rabinowicz, Krister Segerberg Infinitely Many Resolutions of Hempel's Paradox, Pages 138-149, Kevin B. Korb Rationality in the Centipede, Pages 150-159, Ken Binmore Revising Knowledge: A Hierarchical Approach, Pages 160-174, Stephen Morris Case-Based Decision Theory and Knowledge Representation: An Outline, Pages 175-181, Itzhak Gilboa, David Schmeidler An Axiomatic Approach to the Logical Omniscience Problem, Pages 182-196, Barton L. Lipman Autoepistemic Logic and Introspective Circumscription, Pages 197-207, Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz Knowledge as a Tool in Motion Planning under Uncertainty, Pages 208-224, Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham Common Knowledge and Update in Finite Environments. I (Extended Abstract), Pages 225-242, Ron van der Meyden An Epistemic Proof System for Parallel Processes: (extended abstract), Pages 243-254, M. van Hulst, J.-J.Ch. Meyer Algorithmic Knowledge, Pages 255-266, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Knowledge and the ordering of events in distributed systems Extended Abstract, Pages 267-283, Paul J. Krasucki, R. Ramanujam Inductive Learning, Knowledge Asymmetries and Convention, Pages 284-304, Peter Vanderschraaf Coherent Belief Revision in Games, Pages 305-320, Debra J. Holt Belief Revision in a Changing World, Pages 321-340, Robert Koons, Nicholas Asher AUTHOR INDEX, Page ibc1 Interest in the area of Theoretical Aspects of Reasoning About Knowledge has increased significantly since the first conference was held in 1986 in the Asilomar Conference Center in Pacific Grove, California. Since then, the conference has become a regular biennial event. The results of scientists in the field of reasoning about knowledge have contributed to research in a variety of areas including artificial intelligence, economics, linguistics, philosophy and theoretical computer science. This volume chronicles the fifth conference, held in 1994, which included presentations by an interdisciplinary collection of leading researchers in the field. The 23 extended abstracts published here include 21 contributed papers and 2 invited papers, and represent state-of-the-art research. This volume is a valuable reference to the active interdisciplinary field of reasoning about knowledge, suitable for researchers, students and teachers.