Author: Daniel Hernandez
Publisher: Springer Science & Business Media
ISBN: 9783540580584
Category : Computers
Languages : en
Pages : 220
Book Description
This book develops, for the first time, a qualitative model for the representation of spatial knowledge based only on locative relations between the objects involved. The core of this book is devoted to the study of qualitative inference methods that take into account the rich structure of space. These methods can be applied to quite a number of areas characterized by uncertain or incomplete knowledge, as for example geographic information systems, robot control, computer-aided architectural design, and natural language information systems.
Qualitative Representation of Spatial Knowledge
Author: Daniel Hernandez
Publisher: Springer Science & Business Media
ISBN: 9783540580584
Category : Computers
Languages : en
Pages : 220
Book Description
This book develops, for the first time, a qualitative model for the representation of spatial knowledge based only on locative relations between the objects involved. The core of this book is devoted to the study of qualitative inference methods that take into account the rich structure of space. These methods can be applied to quite a number of areas characterized by uncertain or incomplete knowledge, as for example geographic information systems, robot control, computer-aided architectural design, and natural language information systems.
Publisher: Springer Science & Business Media
ISBN: 9783540580584
Category : Computers
Languages : en
Pages : 220
Book Description
This book develops, for the first time, a qualitative model for the representation of spatial knowledge based only on locative relations between the objects involved. The core of this book is devoted to the study of qualitative inference methods that take into account the rich structure of space. These methods can be applied to quite a number of areas characterized by uncertain or incomplete knowledge, as for example geographic information systems, robot control, computer-aided architectural design, and natural language information systems.
Representations of Commonsense Knowledge
Author: Ernest Davis
Publisher: Morgan Kaufmann
ISBN: 148322113X
Category : Computers
Languages : en
Pages : 540
Book Description
Representations of Commonsense Knowledge provides a rich language for expressing commonsense knowledge and inference techniques for carrying out commonsense knowledge. This book provides a survey of the research on commonsense knowledge. Organized into 10 chapters, this book begins with an overview of the basic ideas on artificial intelligence commonsense reasoning. This text then examines the structure of logic, which is roughly analogous to that of a programming language. Other chapters describe how rules of universal validity can be applied to facts known with absolute certainty to deduce other facts known with absolute certainty. This book discusses as well some prominent issues in plausible inference. The final chapter deals with commonsense knowledge about the interrelations and interactions among agents and discusses some issues in human and social interactions that have been studied in the artificial intelligence literature. This book is a valuable resource for students on a graduate course on knowledge representation.
Publisher: Morgan Kaufmann
ISBN: 148322113X
Category : Computers
Languages : en
Pages : 540
Book Description
Representations of Commonsense Knowledge provides a rich language for expressing commonsense knowledge and inference techniques for carrying out commonsense knowledge. This book provides a survey of the research on commonsense knowledge. Organized into 10 chapters, this book begins with an overview of the basic ideas on artificial intelligence commonsense reasoning. This text then examines the structure of logic, which is roughly analogous to that of a programming language. Other chapters describe how rules of universal validity can be applied to facts known with absolute certainty to deduce other facts known with absolute certainty. This book discusses as well some prominent issues in plausible inference. The final chapter deals with commonsense knowledge about the interrelations and interactions among agents and discusses some issues in human and social interactions that have been studied in the artificial intelligence literature. This book is a valuable resource for students on a graduate course on knowledge representation.
Index to Theses with Abstracts Accepted for Higher Degrees by the Universities of Great Britain and Ireland and the Council for National Academic Awards
Author:
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 1056
Book Description
Theses on any subject submitted by the academic libraries in the UK and Ireland.
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 1056
Book Description
Theses on any subject submitted by the academic libraries in the UK and Ireland.
Spatial Information Theory. Foundations of Geographic Information Science
Author: Daniel R. Montello
Publisher: Springer Science & Business Media
ISBN: 3540426132
Category : Computers
Languages : en
Pages : 517
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Spatial Information Theory, COSIT 3001, held in Morro Bay, CA, USA in September 2001. The 30 revised full papers presented together with three full keynote papers were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on geographical ontology and onthologies; qualitative spatio-temporal reasoning; formalizations of human spatial cognition; space, cognition, and information systems; human and machine approaches to navigation; language and space; and cognitive mapping.
Publisher: Springer Science & Business Media
ISBN: 3540426132
Category : Computers
Languages : en
Pages : 517
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Spatial Information Theory, COSIT 3001, held in Morro Bay, CA, USA in September 2001. The 30 revised full papers presented together with three full keynote papers were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on geographical ontology and onthologies; qualitative spatio-temporal reasoning; formalizations of human spatial cognition; space, cognition, and information systems; human and machine approaches to navigation; language and space; and cognitive mapping.
Representing Space in Cognition
Author: Thora Tenbrink
Publisher: Explorations in Language and S
ISBN: 0199679916
Category : Computers
Languages : en
Pages : 325
Book Description
This book considers how people talk about their environment, find their way in new surroundings, and plan routes. Leading scholars and researchers in psychology, linguistics, computer science, and geography show how empirical research can be used to inform formal approaches towards the development of intuitive assistance systems.
Publisher: Explorations in Language and S
ISBN: 0199679916
Category : Computers
Languages : en
Pages : 325
Book Description
This book considers how people talk about their environment, find their way in new surroundings, and plan routes. Leading scholars and researchers in psychology, linguistics, computer science, and geography show how empirical research can be used to inform formal approaches towards the development of intuitive assistance systems.
Associative Networks
Author: Nicholas V. Findler
Publisher: Academic Press
ISBN: 1483263010
Category : Reference
Languages : en
Pages : 481
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.
Publisher: Academic Press
ISBN: 1483263010
Category : Reference
Languages : en
Pages : 481
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.
Knowledge-Based Systems, Four-Volume Set
Author: Cornelius T. Leondes
Publisher: Elsevier
ISBN: 0080535283
Category : Computers
Languages : en
Pages : 1554
Book Description
The design of knowledge systems is finding myriad applications from corporate databases to general decision support in areas as diverse as engineering, manufacturing and other industrial processes, medicine, business, and economics. In engineering, for example, knowledge bases can be utilized for reliable electric power system operation. In medicine they support complex diagnoses, while in business they inform the process of strategic planning. Programmed securities trading and the defeat of chess champion Kasparov by IBM's Big Blue are two familiar examples of dedicated knowledge bases in combination with an expert system for decision-making.With volumes covering "Implementation," "Optimization," "Computer Techniques," and "Systems and Applications," this comprehensive set constitutes a unique reference source for students, practitioners, and researchers in computer science, engineering, and the broad range of applications areas for knowledge-based systems.
Publisher: Elsevier
ISBN: 0080535283
Category : Computers
Languages : en
Pages : 1554
Book Description
The design of knowledge systems is finding myriad applications from corporate databases to general decision support in areas as diverse as engineering, manufacturing and other industrial processes, medicine, business, and economics. In engineering, for example, knowledge bases can be utilized for reliable electric power system operation. In medicine they support complex diagnoses, while in business they inform the process of strategic planning. Programmed securities trading and the defeat of chess champion Kasparov by IBM's Big Blue are two familiar examples of dedicated knowledge bases in combination with an expert system for decision-making.With volumes covering "Implementation," "Optimization," "Computer Techniques," and "Systems and Applications," this comprehensive set constitutes a unique reference source for students, practitioners, and researchers in computer science, engineering, and the broad range of applications areas for knowledge-based systems.
Commonsense Reasoning
Author: Erik T. Mueller
Publisher: Elsevier
ISBN: 0080476619
Category : Computers
Languages : en
Pages : 431
Book Description
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. - Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. - The first full book on commonsense reasoning to use the event calculus. - Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. - Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. - Includes fully worked out proofs and circumscriptions for every example.
Publisher: Elsevier
ISBN: 0080476619
Category : Computers
Languages : en
Pages : 431
Book Description
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. - Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. - The first full book on commonsense reasoning to use the event calculus. - Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. - Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. - Includes fully worked out proofs and circumscriptions for every example.
The Information System Consultant's Handbook
Author: William S. Davis
Publisher: CRC Press
ISBN: 1351835637
Category : Computers
Languages : en
Pages : 790
Book Description
The Information System Consultant's Handbook familiarizes systems analysts, systems designers, and information systems consultants with underlying principles, specific documentation, and methodologies. Corresponding to the primary stages in the systems development life cycle, the book divides into eight sections: Principles Information Gathering and Problem Definition Project Planning and Project Management Systems Analysis Identifying Alternatives Component Design Testing and Implementation Operation and Maintenance Eighty-two chapters comprise the book, and each chapter covers a single tool, technique, set of principles, or methodology. The clear, concise narrative, supplemented with numerous illustrations and diagrams, makes the material accessible for readers - effectively outlining new and unfamiliar analysis and design topics.
Publisher: CRC Press
ISBN: 1351835637
Category : Computers
Languages : en
Pages : 790
Book Description
The Information System Consultant's Handbook familiarizes systems analysts, systems designers, and information systems consultants with underlying principles, specific documentation, and methodologies. Corresponding to the primary stages in the systems development life cycle, the book divides into eight sections: Principles Information Gathering and Problem Definition Project Planning and Project Management Systems Analysis Identifying Alternatives Component Design Testing and Implementation Operation and Maintenance Eighty-two chapters comprise the book, and each chapter covers a single tool, technique, set of principles, or methodology. The clear, concise narrative, supplemented with numerous illustrations and diagrams, makes the material accessible for readers - effectively outlining new and unfamiliar analysis and design topics.
The World Yearbook of New Generation Computing Research and Development
Author: Igor Aleksander
Publisher: Ergosyst Associates, Incorporated
ISBN:
Category : Computers
Languages : en
Pages : 838
Book Description
Publisher: Ergosyst Associates, Incorporated
ISBN:
Category : Computers
Languages : en
Pages : 838
Book Description