Proceedings of the ... International Joint Conference on Artificial Intelligence PDF Download

Author: Nicholas V. Findler
Publisher: Academic Press
ISBN: 1483263010
Category : Reference
Languages : en
Pages : 481

View

Book Description
Associative Networks: Representation and Use of Knowledge by Computers is a collection of papers that deals with knowledge base of programs exhibiting some operational aspects of understanding. One paper reviews network formalism that utilizes unobstructed semantics, independent of the domain to which it is applied, that is also capable of handling significant epistemological relationships of concept structuring, attribute/value inheritance, multiple descriptions. Another paper explains network notations that encode taxonomic information; general statements involving quantification; information about processes and procedures; the delineation of local contexts, as well as the relationships between syntactic units and their interpretations. One paper shows that networks can be designed to be intuitively and formally interpretable. Network formalisms are computer-oriented logics which become distinctly significant when access paths from concepts to propositions are built into them. One feature of a topical network organization is its potential for learning. If one topic is too large, it could be broken down where groupings of propositions under the split topics are then based on "co-usage" statistics. As an example, one paper cites the University of Maryland artificial intelligence (AI) group which investigates the control and interaction of a meaning-based parser. The group also analyzes the inferences and predictions from a number of levels based on mundane inferences of actions and causes that can be used in AI. The collection can be useful for computer engineers, computer programmers, mathematicians, and researchers who are working on artificial intelligence.

Author: M.L. Brodie
Publisher: Springer Science & Business Media
ISBN: 1461251966
Category : Computers
Languages : en
Pages : 508

View

Book Description
The growing demand for systems of ever-increasing complexity and precision has stimulated the need for higher level concepts, tools, and techniques in every area of Computer Science. Some of these areas, in particular Artificial Intelligence, Databases, and Programming Lan guages, are attempting to meet this demand by defining a new, more abstract level of system description. We call this new level conceptual in recognition of its basic conceptual nature. In Artificial Intelligence, the problem of designing an expert system is seen primarily as a problem of building a knowledge base that repre sents knowledge about an enterprise. Consequently, Knowledge Repre sentation is viewed as a central issue in Artificial Intelligence research. Database design methodologies developed during the last five years are almost unanimous in offering semantic data models in terms of which the designer directly and naturally models an enterprise before proceed ing to a detailed logical and physical database design. In Programming Languages, different forms of abstraction which allow implementation independent specifications of data, functions, and control have been a major research theme for a decade. To emphasize the common goals of these three research efforts, we call this new activity conceptual modelling.

Author: I. Aleksander
Publisher: Springer Science & Business Media
ISBN: 1461598613
Category : Language Arts & Disciplines
Languages : en
Pages : 100

View

Book Description

Author: S.G. Tzafestas
Publisher: Springer Science & Business Media
ISBN: 9401125600
Category : Technology & Engineering
Languages : en
Pages : 672

View

Book Description
This book contains a selection of papers presented at the "European Robotics and Intelligent Systems Conference" (EURISCON '91) held in Corfu. Greece (June 23-28. 1991). It is devoted to the analysis. design and applications of technological systems with built-in intelligence achieved through appropriate blending of mathematical, symbolic. sensing. computer processing. and feedback control concepts. methods and software / hardware tools. System intelligence includes human-like capabilities such as learning. observation. perception. interpretation. reasoning. planning. decision making. and action. Integrated intelligent decision and control systems obey Saridis' prinCiple of Increasing Precision with Decreasing Intelligence (IPDI). and have a hierarchical structure with three basic levels. namely Organization. Coordination. and Execution Levels. As we proceed from the organization to the execution level. the precision about the jobs to be completed increases and accordingly the intelligence reqUired for these jobs decreases. As an example. it is mentioned here that in an intelligent robotic system the organization tasks can be realized using a neural net. the coordination tasks by a Petri net. and the execution tasks by local sensors and actuators. The field of intelligent systems is a new interdisciplinary field with continuously increasing interest and expansion. It is actually the outcome of the synergetic interaction and cooperation of classical fields such as system theory. control theory. artificial intelligence. operational research. information theory. electronics. communications. and others.

Author: Johan F.A.K. van Benthem
Publisher: Elsevier
ISBN: 0444537279
Category : Mathematics
Languages : en
Pages : 1169

View

Book Description
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. - Completely revised and updated - includes over 25% new material - Discusses the interface between logic and language - Many of the authors are creators or active developers of the theories

Author: Amy Neustein
Publisher: Springer Science & Business Media
ISBN: 1461469341
Category : Technology & Engineering
Languages : en
Pages : 317

View

Book Description
Editors Amy Neustein and Judith A. Markowitz have recruited a talented group of contributors to introduce the next generation of natural language technologies to resolve some of the most vexing natural-language problems that compromise the performance of speech systems today. This fourteen-chapter anthology consists of contributions from industry scientists and from academicians working at major universities in North America and Europe. They include researchers who have played a central role in DARPA-funded programs and developers who craft real-world solutions for corporations. This anthology is aimed at speech engineers, system developers, computer scientists, AI researchers, and others interested in utilizing natural-language technology in both spoken and text-based applications.

Author: Wolfgang Bibel
Publisher: Springer Science & Business Media
ISBN: 9401704376
Category : Computers
Languages : en
Pages : 340

View

Book Description
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.

Author: Steven Minton
Publisher: Springer Science & Business Media
ISBN: 1461317037
Category : Computers
Languages : en
Pages : 217

View

Book Description
The ability to learn from experience is a fundamental requirement for intelligence. One of the most basic characteristics of human intelligence is that people can learn from problem solving, so that they become more adept at solving problems in a given domain as they gain experience. This book investigates how computers may be programmed so that they too can learn from experience. Specifically, the aim is to take a very general, but inefficient, problem solving system and train it on a set of problems from a given domain, so that it can transform itself into a specialized, efficient problem solver for that domain. on a knowledge-intensive Recently there has been considerable progress made learning approach, explanation-based learning (EBL), that brings us closer to this possibility. As demonstrated in this book, EBL can be used to analyze a problem solving episode in order to acquire control knowledge. Control knowledge guides the problem solver's search by indicating the best alternatives to pursue at each choice point. An EBL system can produce domain specific control knowledge by explaining why the choices made during a problem solving episode were, or were not, appropriate.

Author: Liangcai Cao
Publisher: Frontiers Media SA
ISBN: 2832506178
Category : Science
Languages : en
Pages : 147

View

Book Description

Author: Robert Porzel
Publisher: Springer Science & Business Media
ISBN: 3642173969
Category : Mathematics
Languages : en
Pages : 189

View

Book Description
Recent advances in the fields of knowledge representation, reasoning and human-computer interaction have paved the way for a novel approach to treating and handling context. The field of research presented in this book addresses the problem of contextual computing in artificial intelligence based on the state of the art in knowledge representation and human-computer interaction. The author puts forward a knowledge-based approach for employing high-level context in order to solve some persistent and challenging problems in the chosen showcase domain of natural language understanding. Specifically, the problems addressed concern the handling of noise due to speech recognition errors, semantic ambiguities, and the notorious problem of underspecification. Consequently the book examines the individual contributions of contextual composing for different types of context. Therefore, contextual information stemming from the domain at hand, prior discourse, and the specific user and real world situation are considered and integrated in a formal model that is applied and evaluated employing different multimodal mobile dialog systems. This book is intended to meet the needs of readers from at least three fields – AI and computer science; computational linguistics; and natural language processing – as well as some computationally oriented linguists, making it a valuable resource for scientists, researchers, lecturers, language processing practitioners and professionals as well as postgraduates and some undergraduates in the aforementioned fields. “The book addresses a problem of great and increasing technical and practical importance – the role of context in natural language processing (NLP). It considers the role of context in three important tasks: Automatic Speech Recognition, Semantic Interpretation, and Pragmatic Interpretation. Overall, the book represents a novel and insightful investigation into the potential of contextual information processing in NLP.” Jerome A Feldman, Professor of Electrical Engineering and Computer Science, UC Berkeley, USA http://dm.tzi.de/research/contextual-computing/