Reasoning and Unification over Conceptual Graphs

استدلال و یکسان سازی بر روی نمودارهای مفهومی یک کاوش در استدلال و تفکیک خودکار در زمینه در حال گسترش ساختارهای مفهومی است. این کتاب نه تنها برای دانشمندان محاسباتی که بر روی نمودارهای مفهومی تحقیق می‌کنند، بلکه برای هر کسی که علاقه‌مند به کاوش در طراحی پایگاه‌های دانش هستند، طراحی شده است، به بررسی روش‌های اساسی برای نمایش روابط معنایی در پایگاه‌های دانش می‌پردازد. در حالی که این کتاب اولین درمان جامع یکسان سازی و استدلال مفهومی گراف را ارائه می دهد، این کتاب همچنین به مسائل اساسی تطبیق نمودار، استدلال خودکار، پایگاه های دانش، محدودیت ها، هستی شناسی و طراحی می پردازد. این کتاب با تعداد زیادی مثال، تصاویر، و تعاریف و بحث‌های رسمی و غیررسمی، به عنوان یک آموزش برای خواننده‌ای که تازه با نمودارهای مفهومی آشنا شده است، یا به‌عنوان کتاب مرجع برای یک محقق ارشد در هوش مصنوعی، بازنمایی دانش یا خودکار عالی است. استدلال.

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.