Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to understand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that accounts for the amount of information that is actually available to a certain agent in the task of classification. We develop a ...

This paper describes a graphical semantic representation based on bottom-up ‘continuation’ dependencies which has the important property that its vertices define a usable set of discourse referents in working memory even in contexts involving conjunction in the scope of quantifiers. An evaluation on an existing quantifier scope disambiguation task shows that non-local continuation dependencies ...

semantic function to the concrete semantics, which are embodied onto the 1 changes of status of a finite set of variables constituting the semantic environment 2 of computing. 3 The theoretical foundations of deductive semantics are based on process alge4 bra and Boolean partial differentials [62, 63]. Based on the mathematical models 5 and architectural properties of a program at different com...

In this work, on the basis of a complex cognitive-linguistic research methods, methods verbalizing diagnoses in Latin and Russian, used veterinary practice, are described, their typology is given, taking into account compositional semantics features linguistic representation. The conceptual categorical analysis clinical terms formal-structural nomination context didactics medicine presented.

The notion of a human value system can be quantified as a cognitive map, the dimensions of which capture the semantics of concepts and the associated values. This can be done, if one knows (i) how to define the dimensions of the map, and (ii) how to allocate concepts in those dimensions. Regarding the first question, experimental studies with linguistic material using psychometrics have reveale...

The Cognitive Theory of True Conditions (CTTC) is a proposal to design the implementation of cognitive abilities and to describe the modeltheoretic semantics of symbolic cognitive architectures. The CTTC is formulated mathematically using the multi-optional many-sorted past present future(MMPPF) structures. This article discussed how decision-making processes are described in the CTTC.

Diachronic semantics has long been the stepchild of Spanish (and Romance) historical linguistics. Although many studies have examined (often in searching detail) the semantic evolution of individual lexical items, Hispanists have ignored broader patterns of semantic change and the relevant theoretical and methodological issues posed by this phenomenon. Working within the framework of cognitive ...

The cognitive theory of true conditions (CTTC) is a proposal to describe the model-theoretic semantics of symbolic cognitive architectures and design the implementation of cognitive abilities. The CTTC is formulated mathematically using the multi-optional many-sorted past present future(MMPPF) structures. This article defines mathematically the MMPPF structures and the formal languages proposed...