Author: A. G. Cohn
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 856
Book Description
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
ECAI 94 Proceedings
Author: A. G. Cohn
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 856
Book Description
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 856
Book Description
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
Decision Making Process
Author: Denis Bouyssou
Publisher: John Wiley & Sons
ISBN: 1118619528
Category : Business & Economics
Languages : en
Pages : 671
Book Description
This book provides an overview of the main methods and results in the formal study of the human decision-making process, as defined in a relatively wide sense. A key aim of the approach contained here is to try to break down barriers between various disciplines encompassed by this field, including psychology, economics and computer science. All these approaches have contributed to progress in this very important and much-studied topic in the past, but none have proved sufficient so far to define a complete understanding of the highly complex processes and outcomes. This book provides the reader with state-of-the-art coverage of the field, essentially forming a roadmap to the field of decision analysis. The first part of the book is devoted to basic concepts and techniques for representing and solving decision problems, ranging from operational research to artificial intelligence. Later chapters provide an extensive overview of the decision-making process under conditions of risk and uncertainty. Finally, there are chapters covering various approaches to multi-criteria decision-making. Each chapter is written by experts in the topic concerned, and contains an extensive bibliography for further reading and reference.
Publisher: John Wiley & Sons
ISBN: 1118619528
Category : Business & Economics
Languages : en
Pages : 671
Book Description
This book provides an overview of the main methods and results in the formal study of the human decision-making process, as defined in a relatively wide sense. A key aim of the approach contained here is to try to break down barriers between various disciplines encompassed by this field, including psychology, economics and computer science. All these approaches have contributed to progress in this very important and much-studied topic in the past, but none have proved sufficient so far to define a complete understanding of the highly complex processes and outcomes. This book provides the reader with state-of-the-art coverage of the field, essentially forming a roadmap to the field of decision analysis. The first part of the book is devoted to basic concepts and techniques for representing and solving decision problems, ranging from operational research to artificial intelligence. Later chapters provide an extensive overview of the decision-making process under conditions of risk and uncertainty. Finally, there are chapters covering various approaches to multi-criteria decision-making. Each chapter is written by experts in the topic concerned, and contains an extensive bibliography for further reading and reference.
Over-Constrained Systems
Author: Michael Jampel
Publisher: Springer Science & Business Media
ISBN: 9783540614791
Category : Computers
Languages : en
Pages : 58
Book Description
This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.
Publisher: Springer Science & Business Media
ISBN: 9783540614791
Category : Computers
Languages : en
Pages : 58
Book Description
This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.
Intelligent Agents
Author: Michael J. Wooldridge
Publisher: Springer Science & Business Media
ISBN: 9783540588559
Category : Computers
Languages : en
Pages : 1144
Book Description
This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is currently considerable interest, from both the AI and the mainstream CS communities, in conceptualizing and building complex computer systems as collections of intelligent agents. This book is devoted to theoretical and practical aspects of architectural and language-related design and implementation issues of software agents. Particularly interesting is the comprehensive survey by the volume editors, which outlines the key issues and indicates, via a comprehensive bibliography, topics for further reading. In addition, a glossary of key terms in this emerging field and a comprehensive subject index is included.
Publisher: Springer Science & Business Media
ISBN: 9783540588559
Category : Computers
Languages : en
Pages : 1144
Book Description
This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is currently considerable interest, from both the AI and the mainstream CS communities, in conceptualizing and building complex computer systems as collections of intelligent agents. This book is devoted to theoretical and practical aspects of architectural and language-related design and implementation issues of software agents. Particularly interesting is the comprehensive survey by the volume editors, which outlines the key issues and indicates, via a comprehensive bibliography, topics for further reading. In addition, a glossary of key terms in this emerging field and a comprehensive subject index is included.
Advances in Formal Design Methods for CAD
Author: Asko Riitahuhta
Publisher: Springer
ISBN: 0387349251
Category : Computers
Languages : en
Pages : 296
Book Description
Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
Publisher: Springer
ISBN: 0387349251
Category : Computers
Languages : en
Pages : 296
Book Description
Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design.
Towards Very Large Knowledge Bases
Author: N. J. I. Mars
Publisher: IOS Press
ISBN: 9789051992175
Category : Computers
Languages : en
Pages : 318
Book Description
In the early days of artificial intelligence it was widely believed that powerful computers would, in the future, enable mankind to solve many real-world problems through the use of very general inference procedures and very little domain-specific knowledge. With the benefit of hindsight, this view can now be called quite naive. The field of expert systems, which developed during the early 1970s, embraced the paradigm that Knowledge is Power - even very fast computers require very large amounts of very specific knowledge to solve non-trivial problems. Thus, the field of large knowledge bases has emerged.
Publisher: IOS Press
ISBN: 9789051992175
Category : Computers
Languages : en
Pages : 318
Book Description
In the early days of artificial intelligence it was widely believed that powerful computers would, in the future, enable mankind to solve many real-world problems through the use of very general inference procedures and very little domain-specific knowledge. With the benefit of hindsight, this view can now be called quite naive. The field of expert systems, which developed during the early 1970s, embraced the paradigm that Knowledge is Power - even very fast computers require very large amounts of very specific knowledge to solve non-trivial problems. Thus, the field of large knowledge bases has emerged.
A Future for Knowledge Acquisition
Author: Luc Steels
Publisher: Springer Science & Business Media
ISBN: 9783540584872
Category : Computers
Languages : en
Pages : 438
Book Description
In the last few years rapid advances have been made in reproductive medicine, making it necessary for those involved to regularly update their knowledge. The purpose of this book is to describe the state of the art in this field, making it possible for the reader to gain an orientation among all the diagnostic and therapeutic potentials of modern reproductive medicine in order to advise patients fully. Chapters from the fields of gynecology, and reproductive medicine in a specific sense provide knowledge about these subjects. Authors of international standing have contributed chapters on their specialties. These chapters together form a book describing the state of the art in the diagnosis and therapy of sterility in gynecology and andrology.
Publisher: Springer Science & Business Media
ISBN: 9783540584872
Category : Computers
Languages : en
Pages : 438
Book Description
In the last few years rapid advances have been made in reproductive medicine, making it necessary for those involved to regularly update their knowledge. The purpose of this book is to describe the state of the art in this field, making it possible for the reader to gain an orientation among all the diagnostic and therapeutic potentials of modern reproductive medicine in order to advise patients fully. Chapters from the fields of gynecology, and reproductive medicine in a specific sense provide knowledge about these subjects. Authors of international standing have contributed chapters on their specialties. These chapters together form a book describing the state of the art in the diagnosis and therapy of sterility in gynecology and andrology.
A Guided Tour of Artificial Intelligence Research
Author: Pierre Marquis
Publisher: 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.
Publisher: 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.
Constraint Networks
Author: Christophe Lecoutre
Publisher: John Wiley & Sons
ISBN: 1118617916
Category : Computers
Languages : en
Pages : 461
Book Description
A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem to be solved or the type of constraints involved, making it an extremely user-friendly resource for those involved in this field.
Publisher: John Wiley & Sons
ISBN: 1118617916
Category : Computers
Languages : en
Pages : 461
Book Description
A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem to be solved or the type of constraints involved, making it an extremely user-friendly resource for those involved in this field.
Sat2000
Author: Ian Gent
Publisher:
ISBN: 9784274903632
Category : Computer algorithms
Languages : en
Pages : 568
Book Description
Publisher:
ISBN: 9784274903632
Category : Computer algorithms
Languages : en
Pages : 568
Book Description