Download or read book Representation and Processing of Spatial Expressions written by Patrick Olivier and published by Psychology Press. This book was released on 1998 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt: Coping with spatial expressions in a plausible manner is a crucial problem in a number of research fields, specifically cognitive science, artificial intelligence, psychology, and linguistics. This volume contains a set of theoretical analyses as well as accounts of applications which deal with the problems of representing and processing spatial expressions. These include dialogue understanding using mental images; interfaces to CAD and multi-media systems, such as natural language querying of photographic databases; speech-driven design and assembly; machine translation systems; spatial queries for Geographic Information Systems; and systems which generate spatial descriptions on the basis of maps, cognitive maps, or other spatial representations, such as intelligent vehicle navigation systems. Though there have been many different approaches to the representation and processing of spatial expressions, most existing computational characterizations have so far been restricted to particularly narrow problem domains, usually specific spatial contexts determined by overall system goals. To date, artificial intelligence research in this field has rarely taken advantage of language and spatial cognition studies carried out by the cognitive science community. One of the fundamental aims of this book is to bring together research from both disciplines in the belief that artificial intelligence has much to gain from an appreciation of cognitive theories.
Download or read book Social Modeling for Requirements Engineering written by Eric S. K. Yu and published by MIT Press. This book was released on 2011 with total page 747 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes a modeling approach (called the i* framework) that conceives of software-based information systems as being situated in environments in which social actors relate to each other in terms of goals to be achieved, tasks to be performed, and resources to be furnished.
Download or read book Development of Knowledge Based Systems for Engineering written by Carlo Tasso and published by Springer. This book was released on 2014-05-04 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: The goal of the volume is twofold: to help engineers to understand the design and development process and the specific techniques utilized for constructing expert systems in engineering and, secondly, to introduce computer specialists to significant applications of knowledge-based techniques in engineering. Among the authors are world famous experts of engineering and knowledge-based systems development.
Download or read book Algorithmic Learning Theory written by Arun K. Sharma and published by Springer Science & Business Media. This book was released on 1996-10-09 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th International Workshop on Algorithmic Learning Theory, ALT '96, held in Sydney, Australia, in October 1996. The 16 revised full papers presented were selected from 41 submissions; also included are eight short papers as well as four full length invited contributions by Ross Quinlan, Takeshi Shinohara, Leslie Valiant, and Paul Vitanyi, and an introduction by the volume editors. The book covers all areas related to algorithmic learning theory, ranging from theoretical foundations of machine learning to applications in several areas.
Download or read book Advances in Artificial Intelligence written by Canadian Society for Computational Studies of Intelligence. Conference and published by Springer Science & Business Media. This book was released on 2004-05-06 with total page 595 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, held in London, Ontario, Canada in May 2004. The 29 revised full papers and 22 revised short papers were carefully reviewed and selected from 105 submissions. These papers are presented together with the extended abstracts of 14 contributions to the graduate students' track. The full papers are organized in topical sections on agents, natural language processing, learning, constraint satisfaction and search, knowledge representation and reasoning, uncertainty, and neural networks.
Download or read book Handbook of Satisfiability written by Armin Biere and published by IOS Press. This book was released on 2009 with total page 980 pages. Available in PDF, EPUB and Kindle. Book excerpt: A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Download or read book Visual Navigation written by Yiannis Aloimonos and published by Psychology Press. This book was released on 2013-05-13 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: All biological systems with vision move about their environments and successfully perform many tasks. The same capabilities are needed in the world of robots. To that end, recent results in empirical fields that study insects and primates, as well as in theoretical and applied disciplines that design robots, have uncovered a number of the principles of navigation. To offer a unifying approach to the situation, this book brings together ideas from zoology, psychology, neurobiology, mathematics, geometry, computer science, and engineering. It contains theoretical developments that will be essential in future research on the topic -- especially new representations of space with less complexity than Euclidean representations possess. These representations allow biological and artificial systems to compute from images in order to successfully deal with their environments. In this book, the barriers between different disciplines have been smoothed and the workings of vision systems of biological organisms are made clear in computational terms to computer scientists and engineers. At the same time, fundamental principles arising from computational considerations are made clear both to empirical scientists and engineers. Empiricists can generate a number of hypotheses that they could then study through various experiments. Engineers can gain insight for designing robotic systems that perceive aspects of their environment. For the first time, readers will find: * the insect vision system presented in a way that can be understood by computational scientists working in computer vision and engineering; * three complete, working robotic navigation systems presented with all the issues related to their design analyzed in detail; * the beginning of a computational theory of direct perception, as advocated by Gibson, presented in detail with applications for a variety of problems; and * the idea that vision systems could compute space representations different from perfect metric descriptions -- and be used in robotic tasks -- advanced for both artificial and biological systems.
Download or read book Handbook of Knowledge Representation written by Frank van Harmelen and published by Elsevier. This book was released on 2008-01-08 with total page 1035 pages. Available in PDF, EPUB and Kindle. Book excerpt: Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily
Download or read book Principles and Practice of Constraint Programming CP98 written by Michael Maher and published by Springer Science & Business Media. This book was released on 1998-10-09 with total page 495 pages. Available in PDF, EPUB and Kindle. Book excerpt: Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP’98), held in Pisa, Italy, 26{30 - tober, 1998. It is the fourth in this series of conferences, following conferences in Cassis (France), Cambridge (USA), and Schloss Hagenberg (Austria). We received 115 high quality submissions. In addition, 7 abstracts submissions were not followed by a full paper, hence were not counted as submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members. We thank the referees and the program committee for the time and e ort spent in reviewing the papers. The program committee invited three speakers: { Joxan Ja ar { Peter Jeavons { Patrick Prosser Their papers are in this volume.
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 Sat2000 written by Ian Gent and published by . This book was released on 2000 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book KI 2005 Advances in Artificial Intelligence written by Ulrich Furbach and published by Springer Science & Business Media. This book was released on 2005-08-30 with total page 420 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, held in Koblenz, Germany, in September 2005 - co-located with the 3rd German Conference on Multiagent System Technologies (MATES 2005). The 29 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 113 submissions. The papers are organized in topical sections on knowledge representation and reasoning, machine learning, diagnosis, neural networks, planning, robotics, and cognitive modeling, philosopy, natural language.
Download or read book Artificial Intelligence Methodology Systems and Applications written by Fausto Giunchiglia and published by Springer Science & Business Media. This book was released on 1998-09-02 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: Content Description #Includes bibliographical references and index.
Download or read book Advances in Knowledge Acquisition written by Nigel Shadbolt and published by Springer Science & Business Media. This book was released on 1996-04-26 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the 9th European Knowledge Acquisition Workshop, EKAW '96, held in Nottingham, UK, in May 1996. The 23 revised full papers included address the most relevant theoretical and applicational aspects of knowledge acquisition with a certain emphasis on the acquisition of knowledge for the modelling or automation of complex problem-solving behaviour. The volume is organized in sections on theoretical and general issues, eliciting knowledge from textual or other sources, data-mining, group elicitation, and planning.
Download or read book Principles and Practice of Constraint Programming CP 2003 written by Francesca Rossi and published by Springer Science & Business Media. This book was released on 2003-09-24 with total page 1024 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP 2003, held in Kinsale, Ireland in September/October 2003. The 48 revised full papers and 34 revised short papers presented together with 4 invited papers and 40 abstracts of contributions to the CP 2003 doctoral program were carefully reviewed and selected from 181 submissions. A wealth of recent results in computing with constraints is addressed ranging from foundational and methodological issues to solving real-world problems in a variety of application fields.
Download or read book Recent Advances in Constraints written by Francisco Azevedo and published by Springer. This book was released on 2007-08-19 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.
Download or read book Spatial and Temporal Reasoning written by O. Stock and published by Springer Science & Business Media. This book was released on 2007-07-27 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: Qualitative reasoning about space and time - a reasoning at the human level - promises to become a fundamental aspect of future systems that will accompany us in daily activity. The aim of Spatial and Temporal Reasoning is to give a picture of current research in this area focusing on both representational and computational issues. The picture emphasizes some major lines of development in this multifaceted, constantly growing area. The material in the book also shows some common ground and a novel combination of spatial and temporal aspects of qualitative reasoning. Part I presents the overall scene. The chapter by Laure Vieu is on the state of the art in spatial representation and reasoning, and that by Alfonso Gerevini gives a similar survey on research in temporal reasoning. The specific contributions to these areas are then grouped in the two main parts. In Part II, Roberto Casati and Achille Varzi examine the ontological status of spatial entities; Anthony Cohn, Brandon Bennett, John Gooday, and Nicholas Gotts present a detailed theory of reasoning with qualitative relations about regions; Andrew Frank discusses the spatial needs of geographical information systems; and Annette Herskovits focuses on the linguistic expression of spatial relations. In Part III, James Allen and George Ferguson describe an interval temporal logic for the representation of actions and events; Drew McDermott presents an efficient way of predicting the outcome of plan execution; and Erik Sandewall introduces a semantics based on transitions for assessing theories of action and change. In Part IV, Antony Galton's chapter stands clearly between the two areas of space and time and outlines the main coordinates of an integrated approach.
