Logical Foundations for Cognitive Agents PDF Download

Author: Hector J. Levesque
Publisher: Springer Science & Business Media
ISBN: 3642602118
Category : Computers
Languages : en
Pages : 419

View

Book Description
It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has had a deep impact on the field of Artificial Intel ligence is a considerable understatement. Better to say that anyone thinking of do ing work in areas like deductive databases, default reasoning, diagnosis, reasoning about action, and others should realize that they are likely to end up proving corol laries to Ray's theorems. Sometimes studying related work makes us think harder about the way we approach a problem; studying Ray's work is as likely to make us want to drop our way of doing things and take up his. This is because more than a mere visionary, Ray has always been a true leader. He shows us how to proceed not by pointing from his armchair, but by blazing a trail himself, setting up camp, and waiting for the rest of us to arrive. The International Joint Conference on Ar tificial Intelligence clearly recognized this and awarded Ray its highest honor, the Research Excellence award in 1993, before it had even finished acknowledging all the founders of the field. The papers collected here sample from many of the areas where Ray has done pi oneering work. One of his earliest areas of application was databases, and this is re flected in the chapters by Bertossi et at. and the survey chapter by Minker.

Author: John L. Pollock
Publisher: Oxford University Press
ISBN: 0199838860
Category : Philosophy
Languages : en
Pages : 280

View

Book Description
John Pollock aims to construct a theory of rational decision making for real agents--not ideal agents. Real agents have limited cognitive powers, but traditional theories of rationality have applied only to idealized agents that lack such constraints. Pollock argues that theories of ideal rationality are largely irrelevant to the decision making of real agents. Thinking about Acting aims to provide a theory of "real rationality."

Author: Inderjeet Mani
Publisher: OUP Oxford
ISBN: 0191533300
Category : Language Arts & Disciplines
Languages : en
Pages : 602

View

Book Description
This reader collects and introduces important work in linguistics, computer science, artificial intelligence, and computational linguistics on the use of linguistic devices in natural languages to situate events in time: whether they are past, present, or future; whether they are real or hypothetical; when an event might have occurred, and how long it could have lasted. In focussing on the treatment and retrieval of time-based information it seeks to lay the foundation for temporally-aware natural language computer processing systems, for example those that process documents on the worldwide web to answer questions or produce summaries. The development of such systems requires the application of technical knowledge from many different disciplines. The book is the first to bring these disciplines together, by means of classic and contemporary papers in four areas: tense, aspect, and event structure; temporal reasoning; the temporal structure of natural language discourse; and temporal annotation. Clear, self-contained editorial introductions to each area provide the necessary technical background for the non-specialist, explaining the underlying connections across disciplines. A wide range of students and professionals in academia and industry will value this book as an introduction and guide to a new and vital technology. The former include researchers, students, and teachers of natural language processing, linguistics, artificial intelligence, computational linguistics, computer science, information retrieval (including the growing speciality of question-answering), library sciences, human-computer interaction, and cognitive science. Those in industry include corporate managers and researchers, software product developers, and engineers in information-intensive companies, such as on-line database and web-service providers.

Author: Stefan Kirn
Publisher: Springer Science & Business Media
ISBN: 3540320628
Category : Computers
Languages : en
Pages : 618

View

Book Description
This book gives detailed descriptions of the development of two large scale multiagent systems: Agent.Hospital and Agent.Enterprise. These two systems have been developed in close cooperation with more than 20 enterprises and hospitals. They demonstrate clearly that multiagent technology has a great potential for innovative information systems, if a high degree of flexibility of the overall systems is required, e.g. because human actors and technical systems exhibit a great degree of local autonomy, or if the work environment is highly dynamic.

Author: Krzysztof R. Apt
Publisher: Springer Science & Business Media
ISBN: 3642600859
Category : Computers
Languages : en
Pages : 457

View

Book Description
This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts in Logic Programming, and they deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the "formulas as types" approach, program semantics and analysis, and natural language processing. XXXXXXX Neuer Text Logic Programming was founded 25 years ago. This exciting book reveals both the evolution of this programming paradigm and its impressively broad scope of current research. The contributions by leading computer scientists deal with both theoretical and practical issues. They address diverse topics such as: computational molecular biology, machine learning, mobile computing, multi-agent systems, numerical computing and dynamical systems, database systems, program semantics, natural language processing, and promising future directions.

Author: Boris Galitsky
Publisher: Springer
ISBN: 3319399721
Category : Computers
Languages : en
Pages : 386

View

Book Description
This book explores and evaluates accounts and models of autistic reasoning and cognition from a computational standpoint. The author investigates the limitations and peculiarities of autistic reasoning and sets out a remediation strategy to be used by a wide range of psychologists and rehabilitation personnel and will also be appreciated by computer scientists who are interested in the practical implementation of reasoning. The author subjects the Theory of Mind (ToM) model to a formal analysis to investigate the limitations of autistic reasoning and proposes a formal model regarding mental attitudes and proposes a method to help those with autism navigate everyday living. Based on the concept of playing with computer based mental simulators, the NL_MAMS, is examined to see whether it is capable of modeling mental and emotional states of the real world to aid the emotional development of autistic children. Multiple autistic theories and strategies are also examined for possible computational cross-overs, providing researchers with a wide range of examples, tools and detailed case studies to work from. Computational Autism will be an essential read to behavioral specialists, researcher’s, developers and designers who are interested in understanding and tackling the increasing prevalence of autism within modern society today.

Author: Erik T. Mueller
Publisher: Morgan Kaufmann
ISBN: 0128016477
Category : Computers
Languages : en
Pages : 517

View

Book Description
To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning: An Event Calculus Based Approach is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions that span many areas of the commonsense world. The Second Edition features new chapters on commonsense reasoning using unstructured information including the Watson system, commonsense reasoning using answer set programming, and techniques for acquisition of commonsense knowledge including crowdsourcing. - Understand techniques for automated commonsense reasoning - Incorporate commonsense reasoning into software solutions - Acquire a broad understanding of the field of commonsense reasoning - Gain comprehensive knowledge of the human capacity for commonsense reasoning

Author: Raymond Reiter
Publisher: MIT Press
ISBN: 9780262264310
Category : Computers
Languages : en
Pages : 462

View

Book Description
Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book's Web site.

Author: Boris Galitsky
Publisher: Springer Nature
ISBN: 303061641X
Category : Computers
Languages : en
Pages : 474

View

Book Description
The second volume of this research monograph describes a number of applications of Artificial Intelligence in the field of Customer Relationship Management with the focus of solving customer problems. We design a system that tries to understand the customer complaint, his mood, and what can be done to resolve an issue with the product or service. To solve a customer problem efficiently, we maintain a dialogue with the customer so that the problem can be clarified and multiple ways to fix it can be sought. We introduce dialogue management based on discourse analysis: a systematic linguistic way to handle the thought process of the author of the content to be delivered. We analyze user sentiments and personal traits to tailor dialogue management to individual customers. We also design a number of dialogue scenarios for CRM with replies following certain patterns and propose virtual and social dialogues for various modalities of communication with a customer. After we learn to detect fake content, deception and hypocrisy, we examine the domain of customer complaints. We simulate mental states, attitudes and emotions of a complainant and try to predict his behavior. Having suggested graph-based formal representations of complaint scenarios, we machine-learn them to identify the best action the customer support organization can chose to retain the complainant as a customer.

Author: Jack Minker
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600

View

Book Description
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.