Introduction

Abstract

In Sect. 1.1, we place the book in the “Knowledge Representation and Reasoning” (KR) Artificial Intelligence (AI) domain. We first briefly outline key concepts of the KR domain, and then review KR formalism properties that we consider to be essential. The second section is devoted to an intuitive presentation of Conceptual Graphs that were initially introduced by Sowa in 1976 [Sow76] and developed in [Sow84]. In the third section, we introduce the graph-based KR formalism that is detailed in the book. This KR formalism is based on a graph theoretical vision of conceptual graphs and complies with the main principles delineated in the first section.