Metareasoning

Metareasoning
Author: Michael T. Cox
Publisher: MIT Press
Total Pages: 349
Release: 2011
Genre: Computers
ISBN: 0262014807

Experts report on the latest artificial intelligence research concerning reasoning about reasoning itself.

Metareasoning for Robots

Metareasoning for Robots
Author: Jeffrey W. Herrmann
Publisher: Springer Nature
Total Pages: 102
Release: 2023-05-12
Genre: Technology & Engineering
ISBN: 3031322371

This book is a state of the art resource that robotics researchers and engineers can use to make their robots and autonomous vehicles smarter. Readers will be able to describe metareasoning, select an appropriate metareasoning approach, and synthesize metareasoning policies. Metareasoning for Robots adopts a systems engineering perspective in which metareasoning is an approach that can improve the overall robot or autonomous system, not just one component or subsystem. This book introduces key concepts, discusses design options for metareasoning approaches and policies, and presents approaches for testing and evaluation of metareasoning policies. After considering the conceptual design phase, it discusses how to implement metareasoning in the robot’s software architecture and how to synthesize metareasoning policies. Every chapter has references to valuable works on robotics and metareasoning, and the book uses examples from the author’s own research and from other research groups to illustrate these ideas. In addition, this book provides links to books and papers for readers who wish to investigate these topics further.

Intelligent Autonomous Systems 12

Intelligent Autonomous Systems 12
Author: Sukhan Lee
Publisher: Springer Science & Business Media
Total Pages: 875
Release: 2012-10-18
Genre: Computers
ISBN: 364233931X

Intelligent autonomous systems are emerged as a key enabler for the creation of a new paradigm of services to humankind, as seen by the recent advancement of autonomous cars licensed for driving in our streets, of unmanned aerial and underwater vehicles carrying out hazardous tasks on-site, and of space robots engaged in scientific as well as operational missions, to list only a few. This book aims at serving the researchers and practitioners in related fields with a timely dissemination of the recent progress on intelligent autonomous systems, based on a collection of papers presented at the 12th International Conference on Intelligent Autonomous Systems, held in Jeju, Korea, June 26-29, 2012. With the theme of “Intelligence and Autonomy for the Service to Humankind, the conference has covered such diverse areas as autonomous ground, aerial, and underwater vehicles, intelligent transportation systems, personal/domestic service robots, professional service robots for surgery/rehabilitation, rescue/security and space applications, and intelligent autonomous systems for manufacturing and healthcare. This volume 2 includes contributions devoted to Service Robotics and Human-Robot Interaction and Autonomous Multi-Agent Systems and Life Engineering.

Computational Intelligence, II

Computational Intelligence, II
Author: G. Mauri
Publisher: Elsevier
Total Pages: 246
Release: 1990-06-01
Genre: Computers
ISBN: 044459728X

The focus of this volume is ``Heterogeneous Knowledge and Problem Solving Integration'', i.e. the combined use of different knowledge representation and problem solving paradigms.This is a central topic for the design and implementation of problem solving systems, since, from a pragmatic and engineering standpoint, the solution of a large class of problems cannot take place within one single representation language or problem solving paradigm. Heterogeneous systems represent not only a pragmatic answer, but also a theoretical alternative to the homogeneous paradigms.

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives

Language, Culture, Computation: Computing for the Humanities, Law, and Narratives
Author: Nachum Dershowitz
Publisher: Springer
Total Pages: 765
Release: 2014-12-04
Genre: Computers
ISBN: 3642453244

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This second part of the three-volume set covers a range of topics related to the application of information technology in humanities, law, and narratives. The papers are grouped in topical sections on: humanities computing; narratives and their formal representation; history of ideas: the numerate disciplines; law, computer law, and legal computing.

Intelligence, Mind, and Reasoning

Intelligence, Mind, and Reasoning
Author: A. Demetriou
Publisher: Elsevier
Total Pages: 251
Release: 1994-03-17
Genre: Psychology
ISBN: 008086760X

This volume aims to contribute to the integration of three traditions that have remained separate in psychology. Specifically, the developmental, the psychometric, and the cognitive tradition. In order to achieve this aim, the text deals with these three aspects of human knowing that have been the focus of one or more of the three traditions for many years. Answers are provided to questions such as the following: What is common to intelligence, mind, and reasoning? What is specific to each of these three aspects of human knowing? How does each of them affect the functioning and development of the other?The chapters are organized into two parts. Part I focuses on intelligence and mind and has reasoning at the background. The papers in this part present new theories and methods that systematically attempt to bridge psychometric theories of intelligence with theories of cognitive development or information processing theories. Part II focuses on mind and reasoning and has intelligence at the background. The papers in this part develop models of reasoning and attempt to show how reasoning interacts with mind and intelligence. Two discussion chapters are also included. These highlight the convergences and the divergences of the various traditions as represented in the book.

Agenda Relevance: A Study in Formal Pragmatics

Agenda Relevance: A Study in Formal Pragmatics
Author:
Publisher: Elsevier
Total Pages: 525
Release: 2003-05-29
Genre: Computers
ISBN: 008052687X

Agenda Relevance is the first volume in the authors' omnibus investigation ofthe logic of practical reasoning, under the collective title, A Practical Logicof Cognitive Systems. In this highly original approach, practical reasoning isidentified as reasoning performed with comparatively few cognitive assets,including resources such as information, time and computational capacity. Unlikewhat is proposed in optimization models of human cognition, a practical reasonerlacks perfect information, boundless time and unconstrained access tocomputational complexity. The practical reasoner is therefore obliged to be acognitive economizer and to achieve his cognitive ends with considerableefficiency. Accordingly, the practical reasoner avails himself of variousscarce-resource compensation strategies. He also possesses neurocognitivetraits that abet him in his reasoning tasks. Prominent among these is thepractical agent's striking (though not perfect) adeptness at evading irrelevantinformation and staying on task. On the approach taken here, irrelevancies areimpediments to the attainment of cognitive ends. Thus, in its most basic sense,relevant information is cognitively helpful information. Information can then besaid to be relevant for a practical reasoner to the extent that it advances orcloses some cognitive agenda of his. The book explores this idea with aconceptual detail and nuance not seen the standard semantic, probabilistic andpragmatic approaches to relevance; but wherever possible, the authors seek tointegrate alternative conceptions rather than reject them outright. A furtherattraction of the agenda-relevance approach is the extent to which its principalconceptual findings lend themselves to technically sophisticated re-expressionin formal models that marshal the resources of time and action logics andlabel led deductive systems. Agenda Relevance is necessary reading for researchers in logic, beliefdynamics, computer science, AI, psychology and neuroscience, linguistics,argumentation theory, and legal reasoning and forensic science, and will repaystudy by graduate students and senior undergraduates in these same fields.Key features:• relevance • action and agendas • practical reasoning • belief dynamics • non-classical logics • labelled deductive systems

Common Sense, Reasoning, & Rationality

Common Sense, Reasoning, & Rationality
Author: Renée Elio
Publisher: Oxford University Press, USA
Total Pages: 294
Release: 2002
Genre: Common sense
ISBN: 0195147677

While common sense and rationality often have been viewed as two distinct features in a unitifed cognitive map, this this volume offers novel, even paradoxical views of the relationship. Touching on various disciplines, it considers what constitutes human rationality, behavior, and intelligence.

Logic Program Synthesis and Transformation - Meta-Programming in Logic

Logic Program Synthesis and Transformation - Meta-Programming in Logic
Author: Laurent Fribourg
Publisher: Springer Science & Business Media
Total Pages: 468
Release: 1994-11-30
Genre: Computers
ISBN: 9783540587927

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.