This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…
This text offers a simple model of reasoning about reason as a framework for its discussions. Following this framework, the contributors consider meta-level control of computational activities, introspective monitoring, distributed meta-reasoning, and, putting all these aspects of meta- reasoning together.OCLC-licensed vendor bibliographic record.
The authors argue that a new theoretical foundation for artificial intelligence can be constructed in which rationality is a property of "programs" within a finite architecture, and their behavior over time in the task environment, rather than a property of individual decisions.Like Mooki, the hero of Spike Lee's film "Do the Right Thing," artificially intelligent systems have a hard time knowi…
Synthetic biology, which aims to design and build organisms that serve human needs, has potential applications that range from producing biofuels to programming human behaviour. The emergence of this new form of biotechnology, however, raises a variety of ethical questions - first and foremost, whether synthetic biology is intrinsically troubling in moral terms. Is it an egregious example of sc…
"This book offers a comprehensive guide to the theory and practice of analyzing electrical brain signals. It explains the conceptual, mathematical, and implementational (via Matlab programming) aspects of time-, time-frequency- and synchronization-based analyses of magnetoencephalography (MEG), electroencephalography (EEG), and local field potential (LFP) recordings from humans and nonhuman ani…
"A Bradford book."More than sixty contributions in From Animals to Animats2 by researchers in ethology, ecology, cybernetics, artificial intelligence, robotics, and related fields investigate behaviors and the underlying mechanisms that allow animals and, potentially, robots to adapt and survive in uncertain environments. Jean-Arcady Meyer is Director of Research, CNRS, Paris. Herbert L. Roitbl…
"A Bradford book."The Animals to Animats Conference brings together researchers from ethology, psychology, ecology, artificial intelligence, artificial life, robotics, engineering, and related fields to further understanding of the behaviors and underlying mechanisms that allow natural and synthetic agents (animats) to adapt and survive in uncertain environments. The work presented focuses on w…
"A Bradford book."The Animals to Animats Conference brings together researchers from ethology, psychology, ecology, artificial intelligence, artificial life, robotics, engineering, and related fields to further understanding of the behaviors and underlying mechanisms that allow natural and synthetic agents (animats) to adapt and survive in uncertain environments. The work presented focuses on w…
"A Bradford book."OCLC-licensed vendor bibliographic record.
The Simulation of Adaptive Behavior Conference brings together researchers from ethology, psychology, ecology, artificial intelligence, artificial life, robotics, computer science, engineering, and related fields to further understanding of the behaviors and underlying mechanisms that allow adaptation and survival in uncertain environments. The work presented focuses on robotic and computationa…