Descripción del título
Graph-based Knowledge Repre...
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties. Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modeling and computational qualities. Key features of the formalism presented can be summarized as follows: \2022 all kinds of knowledge (ontology, facts, rules, constraints) are labeled graphs, which provide an intuitive and easily understandable means to represent knowledge, \2022 reasoning mechanisms are based on graph-theoretic operations and this allows, in particular, for linking the basic problem to other fundamental problems in computer science (e.g. constraint networks, conjunctive queries in databases), \2022 it is logically founded, i.e. it has a logical semantics and the graph inference mechanisms are sound and complete, \2022 there are efficient reasoning algorithms, thus knowledge-based systems can be built to solve real problems. In a nutshell, the authors have attempted to answer, the following question: ``how far is it possible to go in knowledge representation and reasoning by representing knowledge with graphs and reasoning with graph operations?''
Monografía
monografia Rebiun08478420 https://catalogo.rebiun.org/rebiun/record/Rebiun08478420 cr nn 008mamaa 100301s2009 xxk| s |||| 0|eng d 9781848002869 978-1-84800-286-9 10.1007/978-1-84800-286-9 doi UPVA 996891171403706 UAM 991007755699704211 UNH bicssc UND bicssc COM030000 bisacsh 025.04 23 Chein, Michel. author Graph-based Knowledge Representation Recurso electrónico-En línea] :] Computational Foundations of Conceptual Graphs by Michel Chein, Marie-Laure Mugnier London Springer London 2009 London London Springer London XIV, 428 p. online resource XIV, 428 p. Advanced Information and Knowledge Processing Computer Science (Springer-11645) Foundations: Basic and Simple Conceptual Graphs -- Basic Conceptual Graphs -- Simple Conceptual Graphs -- Formal Semantics of SGs -- BG Homomorphism and Equivalent Notions -- Computational Aspects of Basic Conceptual Graphs -- Basic Algorithms for BG Homomorphism -- Tractable Cases -- Other Specialization/Generalization Operations -- Extensions -- Nested Conceptual Graphs -- Rules -- The BG Family: Facts, Rules and Constraints -- Conceptual Graphs with Negation -- An Application of Nested Typed Graphs: Semantic Annotation Bases Accesible sólo para usuarios de la UPV Recurso a texto completo This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties. Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modeling and computational qualities. Key features of the formalism presented can be summarized as follows: \2022 all kinds of knowledge (ontology, facts, rules, constraints) are labeled graphs, which provide an intuitive and easily understandable means to represent knowledge, \2022 reasoning mechanisms are based on graph-theoretic operations and this allows, in particular, for linking the basic problem to other fundamental problems in computer science (e.g. constraint networks, conjunctive queries in databases), \2022 it is logically founded, i.e. it has a logical semantics and the graph inference mechanisms are sound and complete, \2022 there are efficient reasoning algorithms, thus knowledge-based systems can be built to solve real problems. In a nutshell, the authors have attempted to answer, the following question: ``how far is it possible to go in knowledge representation and reasoning by representing knowledge with graphs and reasoning with graph operations?'' Reproducción electrónica Forma de acceso: Web Computer science Data mining Information storage and retrieval systems Artificial intelligence Computer Science Information Storage and Retrieval Data Mining and Knowledge Discovery Artificial Intelligence (incl. Robotics) Mugnier, Marie-Laure. author SpringerLink (Servicio en línea) Springer eBooks Springer eBooks Printed edition 9781848002852 Advanced Information and Knowledge Processing