One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a graph is canonical if it is "meaningful", the original theory is somewhat unclear about what that actually means, in particular how canonicity is related to logic. This paper argues that canonicity should be kept a first-class notion of Conceptual Structures Theory, provides a detailed analysis of work done so far, and proposes new definitions of the conformity relation and the canonical formation rules that allow a clear separation between canonicity and truth.
机构:
Vrije Univ, Sch Business & Econ, Amsterdam, Netherlands
Univ Johannesburg, Dept Math & Appl Math, Johannesburg, South AfricaUniv Witwatersrand, Sch Math, Johannesburg, South Africa
机构:
Sichuan Univ, Coll Literature & Journalism, Chengdu, Sichuan, Peoples R ChinaSichuan Univ, Coll Literature & Journalism, Chengdu, Sichuan, Peoples R China
Wang Yiping
Gu Jiali
论文数: 0引用数: 0
h-index: 0
机构:
Sichuan Univ, Coll Literature & Journalism, Chengdu, Sichuan, Peoples R ChinaSichuan Univ, Coll Literature & Journalism, Chengdu, Sichuan, Peoples R China