Book Description
Experts report on the latest artificial intelligence research concerning reasoning about reasoning itself.
Author : Michael T. Cox
Publisher : MIT Press
Page : 349 pages
File Size : 46,89 MB
Release : 2011
Category : Computers
ISBN : 0262014807
Experts report on the latest artificial intelligence research concerning reasoning about reasoning itself.
Author : Jeffrey W. Herrmann
Publisher : Springer Nature
Page : 102 pages
File Size : 12,85 MB
Release : 2023-05-12
Category : 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.
Author : Pierre Larochelle
Publisher : Springer Nature
Page : 245 pages
File Size : 23,80 MB
Release :
Category :
ISBN : 3031606183
Author : Nachum Dershowitz
Publisher : Springer
Page : 765 pages
File Size : 25,41 MB
Release : 2014-12-04
Category : 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.
Author : A. Demetriou
Publisher : Elsevier
Page : 251 pages
File Size : 22,64 MB
Release : 1994-03-17
Category : 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.
Author :
Publisher : Elsevier
Page : 525 pages
File Size : 26,7 MB
Release : 2003-05-29
Category : 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
Author : Renée Elio
Publisher : Oxford University Press, USA
Page : 294 pages
File Size : 49,77 MB
Release : 2002
Category : 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.
Author : Sukhan Lee
Publisher : Springer Science & Business Media
Page : 875 pages
File Size : 37,29 MB
Release : 2012-10-17
Category : Technology & Engineering
ISBN : 3642339328
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.
Author : Charles Rattray
Publisher : Springer
Page : 578 pages
File Size : 11,75 MB
Release : 2004-11-11
Category : Computers
ISBN : 354027815X
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.
Author : G. Mauri
Publisher : Elsevier
Page : 246 pages
File Size : 17,20 MB
Release : 1990-06-01
Category : 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.