Author: Huaming Li
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description

Author: Mauro Vallati
Publisher: Springer Nature
ISBN: 3030385612
Category : Computers
Languages : en
Pages : 277

Get Book Here

Book Description
This book presents a comprehensive review for Knowledge Engineering tools and techniques that can be used in Artificial Intelligence Planning and Scheduling. KE tools can be used to aid in the acquisition of knowledge and in the construction of domain models, which this book will illustrate. AI planning engines require a domain model which captures knowledge about how a particular domain works - e.g. the objects it contains and the available actions that can be used. However, encoding a planning domain model is not a straightforward task - a domain expert may be needed for their insight into the domain but this information must then be encoded in a suitable representation language. The development of such domain models is both time-consuming and error-prone. Due to these challenges, researchers have developed a number of automated tools and techniques to aid in the capture and representation of knowledge. This book targets researchers and professionals working in knowledge engineering, artificial intelligence and software engineering. Advanced-level students studying AI will also be interested in this book.

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

Get Book Here

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.

Author: William F. Lawless
Publisher: Springer Nature
ISBN: 3030772837
Category : Computers
Languages : en
Pages : 566

Get Book Here

Book Description
This book provides a broad overview of the benefits from a Systems Engineering design philosophy in architecting complex systems composed of artificial intelligence (AI), machine learning (ML) and humans situated in chaotic environments. The major topics include emergence, verification and validation of systems using AI/ML and human systems integration to develop robust and effective human-machine teams—where the machines may have varying degrees of autonomy due to the sophistication of their embedded AI/ML. The chapters not only describe what has been learned, but also raise questions that must be answered to further advance the general Science of Autonomy. The science of how humans and machines operate as a team requires insights from, among others, disciplines such as the social sciences, national and international jurisprudence, ethics and policy, and sociology and psychology. The social sciences inform how context is constructed, how trust is affected when humans and machines depend upon each other and how human-machine teams need a shared language of explanation. National and international jurisprudence determine legal responsibilities of non-trivial human-machine failures, ethical standards shape global policy, and sociology provides a basis for understanding team norms across cultures. Insights from psychology may help us to understand the negative impact on humans if AI/ML based machines begin to outperform their human teammates and consequently diminish their value or importance. This book invites professionals and the curious alike to witness a new frontier open as the Science of Autonomy emerges.

Author: William F. Lawless
Publisher: Springer Nature
ISBN: 3030893855
Category : Computers
Languages : en
Pages : 291

Get Book Here

Book Description
Many current AI and machine learning algorithms and data and information fusion processes attempt in software to estimate situations in our complex world of nested feedback loops. Such algorithms and processes must gracefully and efficiently adapt to technical challenges such as data quality induced by these loops, and interdependencies that vary in complexity, space, and time. To realize effective and efficient designs of computational systems, a Systems Engineering perspective may provide a framework for identifying the interrelationships and patterns of change between components rather than static snapshots. We must study cascading interdependencies through this perspective to understand their behavior and to successfully adopt complex system-of-systems in society. This book derives in part from the presentations given at the AAAI 2021 Spring Symposium session on Leveraging Systems Engineering to Realize Synergistic AI / Machine Learning Capabilities. Its 16 chapters offer an emphasis on pragmatic aspects and address topics in systems engineering; AI, machine learning, and reasoning; data and information fusion; intelligent systems; autonomous systems; interdependence and teamwork; human-computer interaction; trust; and resilience.

Author: Oliviero Stock
Publisher: Springer
ISBN: 3540379029
Category : Computers
Languages : en
Pages : 352

Get Book Here

Book Description
The present book is a festschrift in honor of Luigia Carlucci Aiello. The 18 articles included are written by former students, friends, and international colleagues, who have cooperated with Luigia Carlucci Aiello, scientifically or in AI boards or committees. The contributions by reputed researchers span a wide range of AI topics and reflect the breadth and depth of Aiello's own work.

Author: Bonnie Lynn Webber
Publisher: Morgan Kaufmann
ISBN: 1483214400
Category : Computers
Languages : en
Pages : 558

Get Book Here

Book Description
Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of problems of reasoning about actions, a problem similarity approach to devising heuristics, and optimal search strategies for speech understanding control. Discussions focus on comparison with existing speech understanding systems, empirical comparisons of the different strategies, analysis of distance function approximation, problem similarity, problems of reasoning about action, search for solution in the reduction system, and relationship between the initial search space and the higher level search space. The book then examines consistency in networks of relations, non-resolution theorem proving, using rewriting rules for connection graphs to prove theorems, and closed world data bases. The manuscript tackles a truth maintenance system, elements of a plan-based theory of speech acts, and reasoning about knowledge and action. Topics include problems in reasoning about knowledge, integration knowledge and action, models of plans, compositional adequacy, truth maintenance mechanisms, dialectical arguments, and assumptions and the problem of control. The selection is a valuable reference for researchers wanting to explore the field of artificial intelligence.

Author: Pedro Antonio González-Calero
Publisher: Springer Science & Business Media
ISBN: 1441981888
Category : Technology & Engineering
Languages : en
Pages : 210

Get Book Here

Book Description
The book presents some of the most relevant results from academia in the area of Artificial Intelligence for games. It emphasizes well theoretically supported work supported by developed prototypes, which should lead into integration of academic AI techniques into current electronic entertainment games. The book elaborates on the main results produced in Academia within the last 10 years regarding all aspects of Artificial Intelligence for games, including pathfinding, decision making, and learning. A general theme of the book is the coverage of techniques for facilitating the construction of flexible not prescripted AI for agents in games. Regarding pathfinding, the book includes new techniques for implementing real-time search methods that improve the results obtained through AI, as well as techniques for learning pathfinding behavior by observing actual players. Regarding decision making, the book describes new techniques for authoring tools that facilitate the construction by game designers (typically nonprogrammers) of behavior controlling software, by reusing patterns or actual cases of past behavior. Additionally, the book will cover a number of approaches proposed for extending the essentially pre-scripted nature of current commercial videogames AI into a more interactive form of narrative, where the story emerges from the interaction with the player. Some of those approaches rely on a layered architecture for the character AI, including beliefs, intentions and emotions, taking ideas from research on agent systems. The book also includes chapters on techniques for automatically or semiautomatically learning complex behavior from recorded traces of human or automatic players using different combinations of reinforcement learning, case-based reasoning, neural networks and genetic algorithms.

Author: Ram D. Sriram
Publisher: Springer Science & Business Media
ISBN: 1447106318
Category : Technology & Engineering
Languages : en
Pages : 843

Get Book Here

Book Description
When men of knowledge impart this knowledge, I do not mean they will convince your reason. I mean they will awaken in you the faith that it is so. - Sri Krishna, Bhagavadgita BACKGROUND The use of computers has led to significant productivity increases in the en gineering industry. Most ofthe computer-aided engineering applications were . restricted to algorithmic computations, such as finite element programs and circuit analysis programs. However, a number ofproblems encountered in en gineering are not amenable to purely algorithmic solutions. These problems are often ill-structured; the term ill-structured problems is used here to de note problems that do not have a clearly defined algorithmic solution. An experienced engineer deals with these ill-structured problems using his/her judgment and experience. The knowledge-based systems (KBS) technology, which emerged out of research in artificial intelligence (AI), offers a method ologyto solve these ill-structuredengineering problems. The emergenceofthe KBS technology can be viewed as the knowledge revolution: other important events that led to increased productivity are the industrial revolution (17th century); the invention of the transistor and associated developments (first half of the 20th century); and the world-wide web (towards the end of the 20th century). Kurzweil, in a lecture at M. LT on December 3, 1987, linked the progress of automation to two industrial revolutions: the first industrial PREFACE xxxii revolution leveraged our physical capabilities, whereas the second industrial revolution - the knowledge revolution - is expected leverage oUr mental ca pabilities.

Author: Michael R. Genesereth
Publisher: Morgan Kaufmann
ISBN: 0128015543
Category : Computers
Languages : en
Pages : 427

Get Book Here

Book Description
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic. The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system. The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture. End-of-chapter bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.