Reasoning and Unification over Conceptual Graphs
Buch in deiner Nähe kaufen
Beschreibung
Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning.
Autor*in
Dan Corbett
Themen in »Reasoning and Unification over Conceptual Graphs«
algorithms artificial intelligence automated reasoning constraint satisfaction constraint satisfaction problem intelligence knowledge knowledge base knowledge representation logic logic programming ontology programming proving
Stimmen zu »Reasoning and Unification over Conceptual Graphs«
From the reviews:
"Reasoning and Unification over Conceptual Graphs addresses two main issues: The first one is application of numerical constraints to the values of concepts in a Conceptual Graph, and the second is unification of Conceptual Graphs in general, and constrained ones in particular. … If you are a researcher in the Conceptual Graph community … this book will be of interest to you. Researchers who are looking into the unification problem in other knowledge representation domains may also benefit from it." (Gilad Mishne, Journal of Logic, Language and Information, Vol. 14, 2005)
()