Download or read book Proceedings of the Eleventh National Conference on Artificial Intelligence written by American Association for Artificial Intelligence and published by . This book was released on 1993 with total page 908 pages. Available in PDF, EPUB and Kindle. Book excerpt: AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence.Topics include: The principles underlying cognition, perception, and action in humans' and machines. The design, application, and evaluation of AI algorithms and intelligent systems. The analysis of tasks and domains in which intelligent systems perform.
Download or read book AAAI 92 written by and published by . This book was released on 1992 with total page 904 pages. Available in PDF, EPUB and Kindle. Book excerpt: AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence.The focus of the AAAI-92 conference is on the re integration of AI as a diverse but coherent whole. Accordingly the traditional list of community-based content areas has been replaced by a more neutral set of taxonomies that span the field. For example, a paper proposing a new epistemology for representing the physical world based on an analysis of human brain structure would be described as "representation, physical world, biological." The papers collected here represent significant research contributions to such areas as the principles underlying cognition, perception, and action in man and machine; the design, application, and evaluation of AI algorithms and systems; and the analysis of domains in which AI systems perform.
Download or read book Artificial Intelligence in Real Time Control 1992 written by M.G. Rodd and published by Elsevier. This book was released on 2014-06-28 with total page 549 pages. Available in PDF, EPUB and Kindle. Book excerpt: The symposium had two main aims, to investigate the state-of-the-art in the application of artificial intelligence techniques in real-time control, and to bring together control system specialists, artificial intelligence specialists and end-users. Many professional engineers working in industry feel that the gap between theory and practice in applying control and systems theory is widening, despite efforts to develop control algorithms. Papers presented at the meeting ranged from the theoretical aspects to the practical applications of artificial intelligence in real-time control. Themes were: the methodology of artificial intelligence techniques in control engineering; the application of artificial intelligence techniques in different areas of control; and hardware and software requirements. This symposium showed that there exist alternative possibilities for control based on artificial intelligence techniques.
Download or read book AAAI 92 written by and published by . This book was released on 1992 with total page 873 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Principles of Knowledge Representation and Reasoning written by Bernhard Nebel and published by Morgan Kaufmann Publishers. This book was released on 1992 with total page 834 pages. Available in PDF, EPUB and Kindle. Book excerpt: Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu
Download or read book Advances in Artificial Intelligence written by Yang Xiang and published by Springer. This book was released on 2003-08-03 with total page 656 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, held in Halifax, Canada in June 2003. The 30 revised full papers and 24 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on knowledge representation, search, constraint satisfaction, machine learning and data mining, AI and Web applications, reasoning under uncertainty, agents and multi-agent systems, AI and bioinformatics, and AI and e-commerce.
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 Advances in Artificial Intelligence SBIA 2004 written by Ana L. C. Bazzan and published by Springer Science & Business Media. This book was released on 2004-09-20 with total page 563 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Artificial Intelligence, SBIA 2004, held in Sao Luis, Maranhao, Brazil in September/October 2004. The 54 revised full papers presented were carefully reviewed and selected from 208 submissions from 21 countries. The papers are organized in topical sections on logics, planning, and theoretical methods; search, reasoning, and uncertainty; knowledge representation and ontologies; natural language processing; machine learning, knowledge discovery and data mining; evolutionary computing, artificial life, and hybrid systems; robotics and compiler vision; and autonomous agents and multi-agent systems.
Download or read book Artificial Intelligence written by Nils J. Nilsson and published by Elsevier. This book was released on 1998-04-17 with total page 605 pages. Available in PDF, EPUB and Kindle. Book excerpt: Intelligent agents are employed as the central characters in this new introductory text. Beginning with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to illustrate the most important and lasting ideas in AI. Neural networks, genetic programming, computer vision, heuristic search, knowledge representation and reasoning, Bayes networks, planning, and language understanding are each revealed through the growing capabilities of these agents. The book provides a refreshing and motivating new synthesis of the field by one of AI's master expositors and leading researchers. Artificial Intelligence: A New Synthesis takes the reader on a complete tour of this intriguing new world of AI. An evolutionary approach provides a unifying theme Thorough coverage of important AI ideas, old and new Frequent use of examples and illustrative diagrams Extensive coverage of machine learning methods throughout the text Citations to over 500 references Comprehensive index
Download or read book Progress in Artificial Intelligence written by Ernesto Costa and published by Springer Science & Business Media. This book was released on 1997-09-19 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997. The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving.
Download or read book PRICAI 2002 Trends in Artificial Intelligence written by Mitsuru Ishizuka and published by Springer Science & Business Media. This book was released on 2002-08-07 with total page 643 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002, held in Tokyo, Japan in August 2002. The 57 revised full papers presented together with 5 invited contributions and 26 posters were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on logic and AI foundations, representation and reasoning of actions, constraint satisfaction, foundations of agents, foundations of learning, reinforcement learning, knowledge acquisition and management, data mining and knowledge discovery, neural network learning, learning for robots, multi-agent applications, document analysis, Web intelligence, bioinformatics, intelligent learning environments, face recognition, and multimedia and emotion.
Download or read book Autonomous Agents written by George Bekey and published by Springer Science & Business Media. This book was released on 1998-03-31 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt: An agent is a system capable of perceiving the environment, reasoning with the percepts and then acting upon the world. Agents can be purely software systems, in which case their percepts and output `actions' are encoded binary strings. However, agents can also be realized in hardware, and then they are robots. The Artificial Intelligence community frequently views robots as embodied intelligent agents. The First International Conference on Autonomous Agents was held in Santa Monica, California, in February 1997. This conference brought together researchers from around the world with interests in agents, whether implemented purely in software or in hardware. The conference featured such topics as intelligent software agents, agents in virtual environments, agents in the entertainment industry, and robotic agents. Papers on robotic agents were selected for this volume. Autonomous Agents will be of interest to researchers and students in the area of artificial intelligence and robotics.
Download or read book State Space Search written by Weixiong Zhang and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 215 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is particularly concerned with heuristic state-space search for combinatorial optimization. Its two central themes are the average-case complexity of state-space search algorithms and the applications of the results notably to branch-and-bound techniques. Primarily written for researchers in computer science, the author presupposes a basic familiarity with complexity theory, and it is assumed that the reader is familiar with the basic concepts of random variables and recursive functions. Two successful applications are presented in depth: one is a set of state-space transformation methods which can be used to find approximate solutions quickly, and the second is forward estimation for constructing more informative evaluation functions.
Download or read book Artificial Intelligence Today written by Michael J. Wooldridge and published by Springer. This book was released on 2007-03-06 with total page 489 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence is one of the most fascinating and unusual areas of academic study to have emerged this century. For some, AI is a true scientific discipline, that has made important and fundamental contributions to the use of computation for our understanding of nature and phenomena of the human mind; for others, AI is the black art of computer science. Artificial Intelligence Today provides a showcase for the field of AI as it stands today. The editors invited contributions both from traditional subfields of AI, such as theorem proving, as well as from subfields that have emerged more recently, such as agents, AI and the Internet, or synthetic actors. The papers themselves are a mixture of more specialized research papers and authorative survey papers. The secondary purpose of this book is to celebrate Springer-Verlag's Lecture Notes in Artificial Intelligence series.
Download or read book Satisfiability Problem Theory and Applications written by Dingzhu Du and published by American Mathematical Soc.. This book was released on 1997 with total page 743 pages. Available in PDF, EPUB and Kindle. Book excerpt: The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the sat problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algorithmic study. Major topics covered in the book include practical and industial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.
Download or read book Progress in Artificial Intelligence written by Carlos Pinto-Ferreira and published by Springer Science & Business Media. This book was released on 1995-09-22 with total page 508 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.
Download or read book Feature Extraction Construction and Selection written by Huan Liu and published by Springer Science & Business Media. This book was released on 1998-08-31 with total page 438 pages. Available in PDF, EPUB and Kindle. Book excerpt: There is broad interest in feature extraction, construction, and selection among practitioners from statistics, pattern recognition, and data mining to machine learning. Data preprocessing is an essential step in the knowledge discovery process for real-world applications. This book compiles contributions from many leading and active researchers in this growing field and paints a picture of the state-of-art techniques that can boost the capabilities of many existing data mining tools. The objective of this collection is to increase the awareness of the data mining community about the research of feature extraction, construction and selection, which are currently conducted mainly in isolation. This book is part of our endeavor to produce a contemporary overview of modern solutions, to create synergy among these seemingly different branches, and to pave the way for developing meta-systems and novel approaches. Even with today's advanced computer technologies, discovering knowledge from data can still be fiendishly hard due to the characteristics of the computer generated data. Feature extraction, construction and selection are a set of techniques that transform and simplify data so as to make data mining tasks easier. Feature construction and selection can be viewed as two sides of the representation problem.