Reasoning and Unification over Conceptual Graphs

By: Dan Corbett

Write A Review

Hardcover | 31 January 2003

At a Glance

Hardcover
168 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Industry Reviews

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)

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Combinatorics & Graph Theory Computing & I.T.Computer Science Artificial Intelligence Philosophy Epistemology & The Theory of Knowledge Mathematical Foundation Mathematical Logic Databases Data Capture & Analysis

Computer Programming & Software Development Software Engineering

Other Editions and Formats

Paperback

Published: 17th September 2012

View Product

Conceptual Structures	p. 1
Introduction	p. 1
Overview	p. 4
Conceptual Graphs: What They Are and How They Work	p. 5
Previous Work in Constraints and Unification over Conceptual Graphs	p. 13
Summary	p. 26
Unification, Knowledge Structures and Constraints	p. 31
Introduction	p. 31
Unification	p. 31
Feature Structures	p. 35
Logic Programming, Constraint Logic Programming, and Constraint Satisfaction Problems	p. 38
Unification and Constraints	p. 41
Knowledge Structures, Partialness and Unification	p. 44
Summary	p. 48
An Algorithm for the Unification of Conceptual Graphs with Constraints	p. 51
Introduction	p. 51
Interval constraints	p. 52
Projection and constraints using intervals	p. 52
Unification over constraints	p. 59
Unification Algorithm	p. 60
Summary	p. 64
Results, Demonstrations and Comparisons	p. 71
Introduction	p. 71
Design	p. 72
Experiments: Simple Structures	p. 76
Experiments: Difficult Structures and Unification Failures	p. 85
Comparisons to Other Systems	p. 95
Summary	p. 114
Placing the Unification Model in Context	p. 119
Introduction	p. 119
A Framework of Unification Methods	p. 119
A Toolbox for Knowledge Conjunction on Conceptual Graphs	p. 123
Extending the Model	p. 127
Summary	p. 130
Conclusions and Future Work	p. 133
Conclusions	p. 133
Future Directions	p. 134
References	p. 141
Index	p. 151
Table of Contents provided by Ingram. All Rights Reserved.

Reasoning and Unification over Conceptual Graphs

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Tech Coup

How to Save Democracy from Silicon Valley

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

Python All-in-One For Dummies

3rd Edition

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Empire of AI

Inside the reckless race for total domination

5G and Beyond Wireless Networks

Technology, Network Deployments, and Materials for Antenna Design

Advances in Digital Marketing in the Era of Artificial Intelligence

Case Studies and Data Analysis for Business Problem Solving

Advances on Mathematical Modeling and Optimization with Its Applications

Emerging Technologies

Array and Wearable Antennas

Design, Optimization, and Applications

Artificial Intelligence for Cyber Defense and Smart Policing

Artificial Intelligence of Things (AIoT)

New Standards, Technologies and Communication Systems

Autonomous Driving Network

Network Architecture in the Era of Autonomy

Bayesian Machine Learning in Geotechnical Site Characterization

Challenges in Geotechnical and Rock Engineering

Bioinformatics for Oral Cancer

Current Insights and Advances

Blockchain and Digital Twin Enabled IoT Networks

Privacy and Security Perspectives

Blockchain and Machine Learning for IoT Security

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

CATIA v5

Advanced Parametric and Hybrid 3D Design

This product is categorised by