The language can represent the chance that facts hold and events occur at various times. It can represent the chance that actions and other events affect the future. The model of action distinguishes between action feasibility, executability, and effects. Using this distinction, a notion of expected utility for acts that may not be feasible is defined. This notion is used to reason about the chance that trying a plan will achieve a given goal. An algorithm for the problem of building construction planning is developed and the logic is used to prove the algorithm correct."
"This monograph integrates AI and decision-theoretic approaches to the representation of planning problems by developing a first-order logic of time, chance, and action for representing and reasoning about plans. The semantics of the logic incorporates intuitive properties of time, chance, and action central to the planning problem. The logical language integrates both modal and probabilistic constructs and allows quantification over time points, probability values, and domain individuals. The language can represent the chance that facts hold and events occur at various times and that actions and other events affect the future. An algorithm for the problem of building construction planning is developed and the logic is used to prove the algorithm correct."--PUBLISHER'S WEBSITE.
Defense planning faces significant uncertainties. This report applies robust decision making (RDM) to the air-delivered munitions mix challenge. RDM is quantitative, decision support methodology designed to inform decisions under conditions of deep uncertainty and complexity. This proof-of-concept demonstration suggests that RDM could help defense planners make plans more robust to a wide range of hard-to-predict futures.
Written by some of the founders of complexity theory and complexity theories of cities (CTC), this Handbook expertly guides the reader through over forty years of intertwined developments: the emergence of general theories of complex self-organized systems and the consequent emergence of CTC.
Uncertainty in Artificial Intelligence contains the proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence held at the Catholic University of America in Washington, DC, on July 9-11, 1993. The papers focus on methods of reasoning and decision making under uncertainty as applied to problems in artificial intelligence (AI) and cover topics ranging from knowledge acquisition and automated model construction to learning, planning, temporal reasoning, and machine vision. Comprised of 66 chapters, this book begins with a discussion on causality in Bayesian belief networks before turning to a decision theoretic account of conditional ought statements that rectifies glaring deficiencies in classical deontic logic and forms a sound basis for qualitative decision theory. Subsequent chapters explore trade-offs in constructing and evaluating temporal influence diagrams; normative engineering risk management systems; additive belief-network models; and sensitivity analysis for probability assessments in Bayesian networks. Automated model construction and learning as well as algorithms for inference and decision making are also considered. This monograph will be of interest to both students and practitioners in the fields of AI and computer science.
Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence. Key Features: - Broad range: foundations; techniques and applications - Leading researchers around the world have written the chapters - Covers many vital applications - Source book for Artificial Intelligence, temporal reasoning - Approaches provide foundation for many future software systems · Broad range: foundations; techniques and applications · Leading researchers around the world have written the chapters · Covers many vital applications · Source book for Artificial Intelligence, temporal reasoning · Approaches provide foundation for many future software systems
This book presents the outcomes of the 12th International Workshop on the Algorithmic Foundations of Robotics (WAFR 2016). WAFR is a prestigious, single-track, biennial international meeting devoted to recent advances in algorithmic problems in robotics. Robot algorithms are an important building block of robotic systems and are used to process inputs from users and sensors, perceive and build models of the environment, plan low-level motions and high-level tasks, control robotic actuators, and coordinate actions across multiple systems. However, developing and analyzing these algorithms raises complex challenges, both theoretical and practical. Advances in the algorithmic foundations of robotics have applications to manufacturing, medicine, distributed robotics, human–robot interaction, intelligent prosthetics, computer animation, computational biology, and many other areas. The 2016 edition of WAFR went back to its roots and was held in San Francisco, California – the city where the very first WAFR was held in 1994. Organized by Pieter Abbeel, Kostas Bekris, Ken Goldberg, and Lauren Miller, WAFR 2016 featured keynote talks by John Canny on “A Guided Tour of Computer Vision, Robotics, Algebra, and HCI,” Erik Demaine on “Replicators, Transformers, and Robot Swarms: Science Fiction through Geometric Algorithms,” Dan Halperin on “From Piano Movers to Piano Printers: Computing and Using Minkowski Sums,” and by Lydia Kavraki on “20 Years of Sampling Robot Motion.” Furthermore, it included an Open Problems Session organized by Ron Alterovitz, Florian Pokorny, and Jur van den Berg. There were 58 paper presentations during the three-day event. The organizers would like to thank the authors for their work and contributions, the reviewers for ensuring the high quality of the meeting, the WAFR Steering Committee led by Nancy Amato as well as WAFR’s fiscal sponsor, the International Federation of Robotics Research (IFRR), led by Oussama Khatib and Henrik Christensen. WAFR 2016 was an enjoyable and memorable event.
