Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains the contributions of the Special Issue entitled "Agents and Robots for Reliable Engineered Autonomy". The Special Issue was based on the successful first edition of the "Workshop on Agents and Robots for reliable Engineered Autonomy" (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). The aim was to bring together researchers from autonomous agents, as well as software engineering and robotics communities, as combining knowledge from these three research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems.

Technology: general issues --- belief-desire-intention (BDI) --- jason --- robot operating system (ROS) --- robotic agents --- collective autonomy --- self-organisation --- aggregate computing --- multi-agent systems --- coordination --- robotics --- software engineering --- verification and validation --- human–agent interaction --- Rules of the Road --- Autonomous Vehicles --- agents --- model checking --- self-driving vehicle --- formal verification --- rational agent --- decision-making --- ROS --- n/a --- human-agent interaction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains the contributions of the Special Issue entitled "Agents and Robots for Reliable Engineered Autonomy". The Special Issue was based on the successful first edition of the "Workshop on Agents and Robots for reliable Engineered Autonomy" (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). The aim was to bring together researchers from autonomous agents, as well as software engineering and robotics communities, as combining knowledge from these three research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems.

Technology: general issues --- belief-desire-intention (BDI) --- jason --- robot operating system (ROS) --- robotic agents --- collective autonomy --- self-organisation --- aggregate computing --- multi-agent systems --- coordination --- robotics --- software engineering --- verification and validation --- human-agent interaction --- Rules of the Road --- Autonomous Vehicles --- agents --- model checking --- self-driving vehicle --- formal verification --- rational agent --- decision-making --- ROS

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

At the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. 'What Makes Us Smart' makes sense of this paradox by arguing that our cognitive errors are not haphazard. Rather, they are the inevitable consequences of a brain optimized for efficient inference and decision making within the constraints of time, energy, and memory - in other words, data and resource limitations. Framing human intelligence in terms of these constraints, Samuel Gershman shows how a deeper computational logic underpins the 'stupid' errors of human cognition.

Cognition --- Cognitive psychology. --- Age factors. --- Psychology, Cognitive --- Cognitive science --- Psychology --- Age factors in cognition --- Ability, Influence of age on --- Cognition. --- Intellect. --- Human intelligence --- Intelligence --- Mind --- Ability --- Thought and thinking --- Accuracy and precision. --- Action potential. --- Ad hoc hypothesis. --- Ad hominem. --- Adaptive bias. --- Almost surely. --- Alternative hypothesis. --- Altruism. --- Ambiguity. --- Analogy. --- Anecdote. --- Approximation. --- Attractiveness. --- Bayes' theorem. --- Bayesian inference. --- Bayesian probability. --- Bayesian. --- Behavior. --- Circular reasoning. --- Cognitive flexibility. --- Cognitive style. --- Commitment device. --- Confidence. --- Confirmation bias. --- Conspiracy theory. --- Controllability. --- Counterintuitive. --- Credibility. --- Decision-making. --- Effectiveness. --- Efficacy. --- Efficiency. --- Efficient coding hypothesis. --- Efficient frontier. --- Estimation. --- Expected value. --- Explanation. --- Fair coin. --- Fair market value. --- Gimmick. --- Guessing. --- Heuristic. --- Hot Hand. --- Human intelligence. --- Hypothesis. --- Illusion of control. --- Inductive bias. --- Inference. --- Intelligent design. --- Learnability. --- Lightness (philosophy). --- Likelihood function. --- Logical extreme. --- Logical reasoning. --- Moral hazard. --- Motivated reasoning. --- Mutual exclusivity. --- Natural approach. --- Normative. --- Observation. --- Observational learning. --- Of Miracles. --- Opportunity cost. --- Optimism bias. --- Optimism. --- Our Choice. --- Pairwise comparison. --- Perfect rationality. --- Physical attractiveness. --- Point estimation. --- Politeness. --- Positive feedback. --- Predictability. --- Prediction. --- Predictive coding. --- Predictive power. --- Principle of rationality. --- Prior probability. --- Probability. --- Prosocial behavior. --- Quantity. --- Rational agent. --- Rational choice theory. --- Rationality. --- Reason. --- Reinforcement learning. --- Result. --- Self-control. --- Sophistication. --- Spontaneous recovery. --- Strong inference. --- Suggestion. --- Theory. --- Thought. --- Truth value. --- Uncertainty. --- Utility. --- Value of information. --- With high probability. --- PSYCHOLOGY / Cognitive Psychology & Cognition --- COMPUTERS / Logic Design