A Categorical Formalism for Conceptual Graphs

Crăciunean Daniel C. ()
Additional contact information
Crăciunean Daniel C.: Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of Sibiu, Romania

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences, 2024, vol. 14, issue 1, 45-53

Abstract: In this paper, we propose a formalism for knowledge manipulation, based on conceptual graphs, which is supported by category theory, and which can be the basis for the development of knowledge-based systems. The model we propose is an extension of the model based on conceptual graphs. In this model, the application of an inference rule between logical formulas represented by two conceptual graphs is reduced to the identification of an arrow in a category. To this end, we introduce several new notions such as: the category of conceptual graphs, the category of classes of conceptual graphs, the conceptual category of a model and the conceptual category of inference of a model.

Keywords: conceptual graphs; coreference relation; category theory; subsumption functor; category of conceptual graphs; conceptual category (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.2478/ijasitels-2024-0014 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:vrs:ijsiel:v:14:y:2024:i:1:p:45-53:n:1014

DOI: 10.2478/ijasitels-2024-0014

Access Statistics for this article

International Journal of Advanced Statistics and IT&C for Economics and Life Sciences is currently edited by Daniel Volovici

More articles in International Journal of Advanced Statistics and IT&C for Economics and Life Sciences from Sciendo
Bibliographic data for series maintained by Peter Golla ().