Author: Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 7289
Book Description
Author: Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 7289
Book Description
Principles of Knowledge Representation and Reasoning
Author: A. G. CohnPublisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 770
Book Description
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions
Author: Hazarika, Shyamanta M.Publisher: IGI Global
ISBN: 1616928700
Category : Computers
Languages : en
Pages : 460
Book Description
Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information theory encompasses spatial as well as temporal representation and reasoning. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence. This collection of research covers both theory and application-centric research and provides a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning. This revolutionary new field is increasingly becoming a core issue within mobile computing, GIS/spatial information systems, databases, computer vision as well as knowledge discovery and data mining.
Agent-Mediated Electronic Commerce VI
Author: Peyman FaratinPublisher: Springer
ISBN: 3540331662
Category : Computers
Languages : en
Pages : 225
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2006, held in New York, NY, USA in July 2004 as part of AAMAS 2004. The 15 revised full papers presented were carefully selected from 39 submissions during two rounds of reviewing and revision. The papers bring together novel work from such diverse fields as Computer Science, Operations Research, Artificial Intelligence and Distributed Systems that focus on modeling, implementation and evaluation of computational trading institution and/or agent strategies over a diverse set of goods. They are organized in topical sections on mechanism design, trading agents, and tools.
Multi-Agent Systems for Concurrent Intelligent Design and Manufacturing
Author: Weiming ShenPublisher: CRC Press
ISBN: 1482289253
Category : Technology & Engineering
Languages : en
Pages : 403
Book Description
Agent Technology, or Agent-Based Approaches, is a new paradigm for developing software applications. It has been hailed as 'the next significant breakthrough in software development', and 'the new revolution in software' after object technology or object-oriented programming. In this context, an agent is a computer system which is capable of act
Innovations in Applied Artificial Intelligence
Author: Bob OrchardPublisher: Springer
ISBN: 3540246770
Category : Computers
Languages : en
Pages : 1293
Book Description
“Intelligent systems must perform in order to be in demand. ” Intelligent systems technology is being applied steadily in solving many day-to-day problems. Each year the list of real-world deployed applications that inconspicuously host the results of research in the area grows considerably. These applications are having a significant impact in industrial operations, in financial circles, in transportation, in education, in medicine, in consumer products, in games and elsewhere. A set of selected papers presented at the seventeenth in the series of conferences on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2004), sponsored by the International Society of Applied Intelligence, is offered in this manuscript. These papers highlight novel applications of the technology and show how new research could lead to new and innovative applications. We hope that you find these papers to be educational, useful in your own research, and stimulating. In addition, we have introduced some special sessions to emphasize a few areas of artificial intelligence (AI) that are either relatively new, have received considerable attention recently or perhaps have not yet been represented well. To this end, we have included special sessions on e-learning, bioinformatics, and human-robot interaction (HRI) to complement the usual offerings in areas such as data mining, machine learning, intelligent systems, neural networks, genetic algorithms, autonomous agents, natural language processing, intelligent user interfaces, evolutionary computing, fuzzy logic, computer vision and image processing, reasoning, heuristic search, security, Internet applications, constraint satisfaction problems, design, and expert systems.
Current Topics in Artificial Intelligence
Author: Asociación Española de Inteligencia Artificial. ConferenciaPublisher: Springer Science & Business Media
ISBN: 3540459146
Category : Computers
Languages : en
Pages : 496
Book Description
This book constitutes the thoroughly referred post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005. The 48 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement from an initial total of 147 submissions. The papers span the entire spectrum of artificial intelligence from foundational and theoretical issues to advanced applications in various fields.
A Guided Tour of Artificial Intelligence Research
Author: Pierre MarquisPublisher: Springer Nature
ISBN: 3030061647
Category : Technology & Engineering
Languages : en
Pages : 808
Book Description
The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D. students, and can be of interest as well for researchers and engineers who want to know more about AI. The book is split into three volumes: - the first volume brings together twenty-three chapters dealing with the foundations of knowledge representation and the formalization of reasoning and learning (Volume 1. Knowledge representation, reasoning and learning) - the second volume offers a view of AI, in fourteen chapters, from the side of the algorithms (Volume 2. AI Algorithms) - the third volume, composed of sixteen chapters, describes the main interfaces and applications of AI (Volume 3. Interfaces and applications of AI). Implementing reasoning or decision making processes requires an appropriate representation of the pieces of information to be exploited. This first volume starts with a historical chapter sketching the slow emergence of building blocks of AI along centuries. Then the volume provides an organized overview of different logical, numerical, or graphical representation formalisms able to handle incomplete information, rules having exceptions, probabilistic and possibilistic uncertainty (and beyond), as well as taxonomies, time, space, preferences, norms, causality, and even trust and emotions among agents. Different types of reasoning, beyond classical deduction, are surveyed including nonmonotonic reasoning, belief revision, updating, information fusion, reasoning based on similarity (case-based, interpolative, or analogical), as well as reasoning about actions, reasoning about ontologies (description logics), argumentation, and negotiation or persuasion between agents. Three chapters deal with decision making, be it multiple criteria, collective, or under uncertainty. Two chapters cover statistical computational learning and reinforcement learning (other machine learning topics are covered in Volume 2). Chapters on diagnosis and supervision, validation and explanation, and knowledge base acquisition complete the volume.
Logic-Based Artificial Intelligence
Author: Jack MinkerPublisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
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.
Principles and Practice of Constraint Programming - CP 2000
Author: Rina DechterPublisher: Springer Science & Business Media
ISBN: 3540410538
Category : Computers
Languages : en
Pages : 573
Book Description
This volume constitutes the refereed proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, CP 2000, held in Singapore in September 2000. The 31 revised full papers and 13 posters presented together with three invited contributions were carefully reviewed and selected from 101 submissions. All current issues of constraint processing, ranging from theoretical and foundational issues to applications in various fields are addressed.
