By Michel Chein
This ebook reviews a graph-based wisdom illustration and reasoning formalism stemming from conceptual graphs, with a considerable concentrate on the computational properties.
Knowledge could be symbolically represented in lots of methods, and the authors have selected categorised graphs for his or her modeling and computational features.
Key positive factors of the formalism offered might be summarized as follows:
• every kind of information (ontology, evidence, principles, constraints) are categorised graphs, which supply an intuitive and simply comprehensible capacity to symbolize knowledge,
• reasoning mechanisms are in line with graph-theoretic operations and this permits, specifically, for linking the elemental challenge to different primary difficulties in laptop technology (e.g. constraint networks, conjunctive queries in databases),
• it's logically based, i.e. it has a logical semantics and the graph inference mechanisms are sound and complete,
• there are effective reasoning algorithms, therefore knowledge-based structures might be equipped to unravel genuine difficulties.
In a nutshell, the authors have tried to respond to, the next question:
``how a long way is it attainable to head in wisdom illustration and reasoning via representing wisdom with graphs and reasoning with graph operations?''