Proceedings
Author | : American Association for Artificial Intelligence |
Publisher | : |
Total Pages | : 436 |
Release | : 1991 |
Genre | : Artificial intelligence |
ISBN | : |
Download Aaai 91 full books in PDF, epub, and Kindle. Read online free Aaai 91 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : American Association for Artificial Intelligence |
Publisher | : |
Total Pages | : 436 |
Release | : 1991 |
Genre | : Artificial intelligence |
ISBN | : |
Author | : Philippe Jorrand |
Publisher | : World Scientific |
Total Pages | : 418 |
Release | : 1994-08-04 |
Genre | : |
ISBN | : 9814550531 |
Author | : Jack Minker |
Publisher | : Springer Science & Business Media |
Total Pages | : 600 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 146151567X |
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 | : Fausto Giunchiglia |
Publisher | : Springer Science & Business Media |
Total Pages | : 520 |
Release | : 1998-09-02 |
Genre | : Computers |
ISBN | : 9783540649939 |
Content Description #Includes bibliographical references and index.
Author | : Qiang Yang |
Publisher | : Springer Science & Business Media |
Total Pages | : 263 |
Release | : 2012-12-06 |
Genre | : Computers |
ISBN | : 3642606180 |
"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.
Author | : Hector J. Levesque |
Publisher | : MIT Press |
Total Pages | : 316 |
Release | : 2001-02-15 |
Genre | : Computers |
ISBN | : 9780262263498 |
This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge—a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, knowledge-based systems, and knowledge representation and reasoning. Assuming some familiarity with first-order predicate logic, the book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models. The book presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. It also shows how to treat a knowledge base as an abstract data type, completely specified in an abstract way by the knowledge-level operations defined over it.
Author | : Nils J. Nilsson |
Publisher | : Elsevier |
Total Pages | : 605 |
Release | : 1998-04-17 |
Genre | : Computers |
ISBN | : 0080499457 |
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
Author | : Sergio Flesca |
Publisher | : Springer |
Total Pages | : 589 |
Release | : 2003-08-06 |
Genre | : Computers |
ISBN | : 3540457577 |
This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.
Author | : Erik Sandewall |
Publisher | : IOS Press |
Total Pages | : 272 |
Release | : 1993 |
Genre | : Computers |
ISBN | : 9789051991345 |
The Nordic countries are traditionally strong in the application of new computer technology. This work represents the state of the art in some of the artificial intelligence areas currently subject to active R&D. International researchers present 24 papers in the following areas: automated reasoning; qualitative reasoning; machine learning; neural networks; and knowledge-based systems. Both basic and applied AI research are represented.
Author | : L.N. Kanal |
Publisher | : Elsevier |
Total Pages | : 445 |
Release | : 2014-06-28 |
Genre | : Computers |
ISBN | : 1483295745 |
Parallel processing for AI problems is of great current interest because of its potential for alleviating the computational demands of AI procedures. The articles in this book consider parallel processing for problems in several areas of artificial intelligence: image processing, knowledge representation in semantic networks, production rules, mechanization of logic, constraint satisfaction, parsing of natural language, data filtering and data mining. The publication is divided into six sections. The first addresses parallel computing for processing and understanding images. The second discusses parallel processing for semantic networks, which are widely used means for representing knowledge - methods which enable efficient and flexible processing of semantic networks are expected to have high utility for building large-scale knowledge-based systems. The third section explores the automatic parallel execution of production systems, which are used extensively in building rule-based expert systems - systems containing large numbers of rules are slow to execute and can significantly benefit from automatic parallel execution. The exploitation of parallelism for the mechanization of logic is dealt with in the fourth section. While sequential control aspects pose problems for the parallelization of production systems, logic has a purely declarative interpretation which does not demand a particular evaluation strategy. In this area, therefore, very large search spaces provide significant potential for parallelism. In particular, this is true for automated theorem proving. The fifth section considers the problem of constraint satisfaction, which is a useful abstraction of a number of important problems in AI and other fields of computer science. It also discusses the technique of consistent labeling as a preprocessing step in the constraint satisfaction problem. Section VI consists of two articles, each on a different, important topic. The first discusses parallel formulation for the Tree Adjoining Grammar (TAG), which is a powerful formalism for describing natural languages. The second examines the suitability of a parallel programming paradigm called Linda, for solving problems in artificial intelligence.Each of the areas discussed in the book holds many open problems, but it is believed that parallel processing will form a key ingredient in achieving at least partial solutions. It is hoped that the contributions, sourced from experts around the world, will inspire readers to take on these challenging areas of inquiry.