Visual reasoning with graph-based mechanisms: the good, the better and the best

Abstract

This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphism. This operation is sound and complete with respect to logical deduction. Hence, it is possible to do logical reasoning without using the language of logic but only graphical, thus visual, notions. This paper presents the main knowledge constructs of this language, elementary graphbased reasoning mechanisms, as well as the graph homomorphism, which encompasses all these elementary transformations in one global step. We put our work in context by presenting a concrete semantic annotation application example.

Information for decision-making is ubiquitous: Revisiting the reverse engineering mode in breadmaking technology

“…The above knowledge and reasoning procedures were implemented using the Cogui knowledge representation tool [16], with an extension of 2000 lines of supplemental code. Three experts have validated our approach: two researchers in food science and cereal technologies of the French national institute of agronomic research, specialists respectively of the grain-to-flour transformation process and of the breadmaking process, and one industrial expert -the Director of the French National Institute of Bread and Pastry.…”

“…The reason why this application is using SRC is the graph based representation specific to SRC (and not to the other languages). This graph based representation (implemented in the Cogui tool [15], [16]) makes the language suitable for interacting with non computing experts [16].…”

“…In Figure 8 the visual interface of Cogui is depicted: knowledge is represented as graph which is enriched dynamically by rule application. More on the visual appeal of Cogui for knowledge representation and reasoning can be found in [16].…”

“…For a complete semantic depiction of this language please check [15], [16], [17]. It is well known that F |= F (read the fact F entails the fact F ) if and only if there is a homomorphism from F to F [15].…”

Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study

“…In Section 4.2, we present a game introduced in order to collect associations specific to stereotypical types of agents. Please note that we will pay particular attention to the association rules capitalization as the logical belief base construction is not an innovative process as such and done using classical knowledge engineering methods [13].…”