Download or read book IJCAI 89 written by International Joint Conferences on Artificial Intelligence and published by . This book was released on 1989 with total page 892 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book IJCAI 97 written by International Joint Conferences on Artificial Intelligence and published by Morgan Kaufmann. This book was released on 1997 with total page 1720 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Artificial Intelligence in the Pacific Rim written by Hozumi Tanaka and published by IOS Press. This book was released on 1991 with total page 1024 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the last decade, AI firmly settled into our industrial society with the expert systems as the representative product. However, almost every one of the systems could cover only a single task domain. In the highly mechanized world of the 21st century, systems will become smart and user friendly enough to cover a wide range of task domains. Systems with much user friendliness must be multilingual because users in different domains usually have different languages. Language is formed in its own culture. Therefore, promotion for cross-cultural scientific interchange will be indispensable for the progress of AI.
Download or read book Intelligent Planning written by Qiang Yang and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 263 pages. Available in PDF, EPUB and Kindle. Book excerpt: "The central fact is that we are planning agents." (M. Bratman, Intentions, Plans, and Practical Reasoning, 1987, p. 2) Recent arguments to the contrary notwithstanding, it seems to be the case that people-the best exemplars of general intelligence that we have to date do a lot of planning. It is therefore not surprising that modeling the planning process has always been a central part of the Artificial Intelligence enterprise. Reasonable behavior in complex environments requires the ability to consider what actions one should take, in order to achieve (some of) what one wants and that, in a nutshell, is what AI planning systems attempt to do. Indeed, the basic description of a plan generation algorithm has remained constant for nearly three decades: given a desciption of an initial state I, a goal state G, and a set of action types, find a sequence S of instantiated actions such that when S is executed instate I, G is guaranteed as a result. Working out the details of this class of algorithms, and making the elabora tions necessary for them to be effective in real environments, have proven to be bigger tasks than one might have imagined.
Download or read book 10th International Conference on Automated Deduction written by Mark E. Stickel and published by Springer Science & Business Media. This book was released on 1990-07-17 with total page 708 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.
Download or read book Truth Maintenance Systems written by João P. Martins and published by Springer Science & Business Media. This book was released on 1991-07-24 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.
Download or read book Principles of Semantic Networks written by John F. Sowa and published by Morgan Kaufmann. This book was released on 2014-07-10 with total page 595 pages. Available in PDF, EPUB and Kindle. Book excerpt: Principles of Semantic Networks: Explorations in the Representation of Knowledge provides information pertinent to the theory and applications of semantic networks. This book deals with issues in knowledge representation, which discusses theoretical topics independent of particular implementations. Organized into three parts encompassing 19 chapters, this book begins with an overview of semantic network structure for representing knowledge as a pattern of interconnected nodes and arcs. This text then analyzes the concepts of subsumption and taxonomy and synthesizes a framework that integrates many previous approaches and goes beyond them to provide an account of abstract and partially defines concepts. Other chapters consider formal analyses, which treat the methods of reasoning with semantic networks and their computational complexity. This book discusses as well encoding linguistic knowledge. The final chapter deals with a formal approach to knowledge representation that builds on ideas originating outside the artificial intelligence literature in research on foundations for programming languages. This book is a valuable resource for mathematicians.
Download or read book Machine Learning Proceedings 1990 written by Machine Learning and published by Morgan Kaufmann. This book was released on 2014-05-23 with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt: Machine Learning Proceedings 1990
Download or read book Machine Learning written by Yves Kodratoff and published by Elsevier. This book was released on 2014-06-28 with total page 836 pages. Available in PDF, EPUB and Kindle. Book excerpt: Machine Learning: An Artificial Intelligence Approach, Volume III presents a sample of machine learning research representative of the period between 1986 and 1989. The book is organized into six parts. Part One introduces some general issues in the field of machine learning. Part Two presents some new developments in the area of empirical learning methods, such as flexible learning concepts, the Protos learning apprentice system, and the WITT system, which implements a form of conceptual clustering. Part Three gives an account of various analytical learning methods and how analytic learning can be applied to various specific problems. Part Four describes efforts to integrate different learning strategies. These include the UNIMEM system, which empirically discovers similarities among examples; and the DISCIPLE multistrategy system, which is capable of learning with imperfect background knowledge. Part Five provides an overview of research in the area of subsymbolic learning methods. Part Six presents two types of formal approaches to machine learning. The first is an improvement over Mitchell's version space method; the second technique deals with the learning problem faced by a robot in an unfamiliar, deterministic, finite-state environment.
Download or read book KI 95 Advances in Artificial Intelligence written by Ipke Wachsmuth and published by Springer Science & Business Media. This book was released on 1995-09-04 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
Download or read book Nonmonotonic Reasoning written by Gerhard Brewka and published by Cambridge University Press. This book was released on 1991-01-25 with total page 8 pages. Available in PDF, EPUB and Kindle. Book excerpt: This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the different research activities in the area and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation.
Download or read book Advanced Visual Interfaces Proceedings Of The International Workshop Avi 92 written by Levialdi Stefano and published by World Scientific. This book was released on 1992-12-23 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume brings together papers by experts in different areas of computer science, who have a common interest in the design and management of visual interfaces. Since cognitive science and metaphor analysis prove useful for understanding the basic mechanisms which allow visual interfaces to be easy to learn and use, these topics are also featured. Other areas focused on are: visual languages, visual database systems, intelligent agents for system interaction, graphical and pictorial communication tools, multimedia environments and specific technological developments.
Download or read book Artificial Intelligence Abstracts written by and published by . This book was released on 1990 with total page 658 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Readings in Qualitative Reasoning About Physical Systems written by Daniel S. Weld and published by Morgan Kaufmann. This book was released on 2013-09-17 with total page 732 pages. Available in PDF, EPUB and Kindle. Book excerpt: Readings in Qualitative Reasoning about Physical Systems describes the automated reasoning about the physical world using qualitative representations. This text is divided into nine chapters, each focusing on some aspect of qualitative physics. The first chapter deal with qualitative physics, which is concerned with representing and reasoning about the physical world. The goal of qualitative physics is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. The succeeding chapter discusses the qualitative calculus and its role in constructing an envisionment that includes behavior over both mythical time and elapsed time. These topics are followed by reviews of the mathematical aspects of qualitative reasoning, history-based simulation and temporal reasoning, as well as the intelligence in scientific computing. The final chapters are devoted to automated modeling for qualitative reasoning and causal explanations of behavior. These chapters also examine the qualitative kinematics of reasoning about shape and space. This book will prove useful to psychologists and psychiatrists.
Download or read book Machine Learning ECML 94 written by Francesco Bergadano and published by Springer Science & Business Media. This book was released on 1994-03-22 with total page 460 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the European Conference on Machine Learning 1994, which continues the tradition of earlier meetings and which is a major forum for the presentation of the latest and most significant results in machine learning. Machine learning is one of the most important subfields of artificial intelligence and computer science, as it is concerned with the automation of learning processes. This volume contains two invited papers, 19 regular papers, and 25 short papers carefully reviewed and selected from in total 88 submissions. The papers describe techniques, algorithms, implementations, and experiments in the area of machine learning.
Download or read book Recent Advances in Qualitative Physics written by Boi Faltings and published by MIT Press. This book was released on 1992 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: These twenty-eight contributions report advances in one of the most active research areas in artificial intellgence. Qualitative modeling techniques are an essential part of building second generation knowledge-based systems. This book provides a timely overview of the field while also giving some indications about applications that appear to be feasible now or in the near future. Chapters are organized into sections covering modeling and simulation, ontologies, computational issues, and qualitative analysis. Modeling a physical system in order to simulate it or solve particular problems regarding the system is an important motivation of qualitative physics, involving formal procedures and concepts. The chapters in the section on modeling address the problem of how to set up and structure qualitative models, particularly for use in simulation. Ontology, or the science of being, is the basis for all modeling. Accordingly, chapters on ontologies discuss problems fundamental for finding representational formalism and inference mechanisms appropriate for different aspects of reasoning about physical systems. Computational issues arising from attempts to turn qualitative theories into practical software are then taken up. In addition to simulation and modeling, qualitative physics can be used to solve particular problems dealing with physical systems, and the concluding chapters present techniques for tasks ranging from the analysis of behavior to conceptual design.
Download or read book Qualitative Reasoning written by Hannes Werthner and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a survey about the field of Qualitative Reasoning, it contrasts and classifies its approaches and puts them into a common framework. Qualitative Reasoning represents an approach of Artificial Intelligence to model dynamic systems, about which little information is available, and to derive statements about the potential behavior of these systems, putting emphasis on a causal explanation of the behavior. Both variables and relationships between variables are described by means of qualitative terms such as small and large or positive and negative. Since this approach also takes into consideration the way how humans reason about physical systems, it can be stated that Qualitative Reasoning participates in the creation of a cognitive theory of non-numerical process descriptions which can be mapped onto a digital computer. This approach can be used for simulation, diagnosis, design, structure identification and interpretation. Areas of application are physics, medicine, the field of ecology, process control, etc. In addition to the classification of existing methods, the book presents a new approach based on fuzzy sets. And the work relates Qualitative Reasoning with such fields of Expert Systems, System Theory and Cognitive Science.
