I have supposed that we need a formal system to represent and explicate humans’ conceptions of the world. According to this research, such a formal system is representable based on a Conception Language (CL) that is a terminological knowledge representation formalism. In this research, I will offer a formal ontology for conception representation in terminological systems. Such a CL-based ontology will specify the conceptualisation of humans’ conceptions as well as of the effects of their conceptions on the world.
|Titel||Reasoning: Logic, Cognition, and Games|
|Status||Udgivet - jan. 2020|
|Navn||Studies in Logic and Practical Reasoning|