•  152
    Towards World Identification in Description Logics
    Logical Investigations. forthcoming.
    Logical analysis of the applicability of nominals (which are introduced by hybrid logic) in the formal descriptions of the world (within modern knowledge representation and semantics-based systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific [temporal and/or spacial] states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in descrip…Read more
  •  135
    A.N. PRIOR’S SYSTEM Q: A REVIEW (review)
    Логико-Философские Штудии 19 (3): 161-174. 2021.
    Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a fe…Read more
  •  22
    A Formal Ontology for Conception Representation in Terminological Systems
    In Mariusz Urbański, Tomasz Skura & Paweł Łupkowski (eds.), Reasoning: Logic, Cognition, and Games, . pp. 137-156. 2020.
    I have supposed that we need a formal system to represent and explain 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 conceptualization of humans' conceptions as well as of the effects of their conceptio…Read more
  •  113
    Fuzzy Networks for Modeling Shared Semantic Knowledge
    Journal of Artificial General Intelligence 14 (1): 1-14. 2023.
    Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximat…Read more
  •  88
    Logical Analysis of Symbolic Conception Representation in Terminological Systems
    Логико-Философские Штудии 20 (4): 360-370. 2022.
    Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expressions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are mani…Read more
  •  340
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbo…Read more
  •  139
    An Occurrence Description Logic
    with Hans Götzsche
    Logical Investigations 142-156. forthcoming.
    Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), whic…Read more
  •  229
    Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well kno…Read more
  •  179
    Nominal Conceptualism and Logical Modelling of Agents’ Conceptions
    Логико-Философские Штудии 1 (19): 95-100. 2021.
    In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.
  •  221
    Can Knowledge be Quantified and Qualified?
    Journal of Knowledge Structures and Systems 1 (2): 63-67. 2021.
    The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Takin…Read more
  •  14
    Logical Characterisation of Concept Transformations from Human into Machine Relying on Predicate Logic
    In ACHI 2016 : The Ninth International Conference on Advances in Computer-Human Interactions, . pp. 376-379. 2016.
    Providing more human-like concept learning in machines has always been one of the most significant goals of machine learning paradigms and of human-machine interaction techniques. This article attempts to provide a logical specification of conceptual mappings from humans’ minds into machines’ knowledge bases. We will focus on the representation of the mappings (transformations) relying on First-Order Predicate Logic. Additionally, the structure of concepts in the common ground between humans and…Read more
  •  13
    The multilevel conversational exchanges between a mentor and a learner could be seen as a radical constructivist account of their comprehensions. The process of knowledge construction could be realised to have significant importance in the context of mentor-learner interactions. The most important fundamental is that ‘the conversational exchanges between mentors and learners ask questions and give answers concerning their individual conceptions, comprehensions and reasonings’. These questions an…Read more
  • Description Logics (DLs) are a family of formal knowledge representation formalisms and the most well-known formalisms in semantics-based systems. The central focus of this research is on logical-terminological characterisation/analysis of possibilistic and probabilistic descriptions of events in DLs. Based on a logical characterisation of the concept of `being', this paper conceptualises events within DLs world descriptions. Accordingly, it deals with the concepts of `possibility of events' and…Read more
  • A Semantic Basis for Meaning Construction in Constructivist Interactions
    In 12th International Conference on Cognition and Exploratory Learning in Digital Age. pp. 369-373. 2015.
    Regarding constructivism as a learning philosophy and/or a model of knowing, a person (learner or mentor) based on her/ his preconceptions and on personal knowings could actively participate in an interaction with another person (learner or mentor) in order to construct her/his personal knowledge. In this research I will analyse 'meaning construction' within constructivism. I will focus on a semantic loop that the learner and mentor as intentional participants move through and organise their per…Read more
  • Concept Representation Analysis in the Context of Human-Machine Interactions
    In 14th International Conference on e-Society. pp. 55-61. 2016.
    This article attempts to make a conceptual and epistemological junction between human learning and machine learning. I will be concerned with specifying and analysing the structure of concepts in the common ground between a concept-based human learning theory and a concept-based machine learning paradigm. I will focus on (i) humans’ conceptual representations in the framework of constructivism (as an educational theory of learning and model of knowing) and constructionism (as a theory for concep…Read more
  • Towards Concept Understanding relying on Conceptualisation in Constructivist Learning
    In 13th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2016). pp. 292-296. 2016.
    This research works within the framework of constructivist learning (based on constructivist epistemology) and examines learning as an activity of construction, and it posits that knowledge acquisition (and learning) are transformative through self-involvement in some subject matter. Thus it leads, through this constructivism to a pedagogical theory of learning. I will mainly focus on conceptual and epistemological analysis of humans’ conceptualisations based on their own mental objects (schemat…Read more
  •  14
    This research provides a contextual description concerning an existential and structural analysis of ‘Relations’ between human beings and machines. Subsequently, it will focus on the conceptual and epistemological analysis of (i) my own semantics-based framework [for human meaning construction] and of (ii) a well-structured machine concept learning framework. Accordingly, I will, semantically and epistemologically, focus on linking those two frameworks for logical analysis of concept learning in…Read more
  •  271
    Logic and Constructivism: A Model of Terminological Knowledge
    Journal of Knowledge Structures and Systems 1 (1): 23-39. 2020.
    This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological know…Read more
  • In this research, Description Logics (DLs) will be employed for logical description, logical characterisation, logical modelling and ontological description of concept understanding in terminological systems. It’s strongly believed that using a formal descriptive logic could support us in revealing logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing com…Read more
  •  19
    This research employs Description Logics in order to focus on logical description and analysis of the phenomenon of ‘concept understanding’. The article will deal with a formal-semantic model for figuring out the underlying logical assumptions of ‘concept understanding’ in knowledge representation systems. In other words, it attempts to describe a theoretical model for concept understanding and to reflect the phenomenon of ‘concept understanding’ in terminological knowledge representation system…Read more
  •  23
    From Concepts to Predicates Within Constructivist Epistemology
    In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction, Springer. 2017.
    In this research constructivist epistemology provides a ground for conceptual analysis of concept construction, conception production, and concept learning processes. Relying on a constructivist model of knowing, this research will make an epistemological and logical linkage between concepts and predicates.
  •  17
    Towards a Formal Symbolic Occurrence Logic
    In Hans Götzsche (ed.), The Meaning of Language, Cambridge Scholars Press. 2018.
    In this research I will focus on a basis for a formal model based on an alternative kind of logic invented by Hans Götzsche: Occurrence Logic (Occ Log), which is not based on truth values and truth functionality. Also, I have taken into account tense logic developed and elaborated by A. N. Prior. In this article I will provide a conceptual and logical foundation for formal Occurrence Logic based on symbolic logic and will illustrate the most important relations between symbolic logic and Occurre…Read more
  •  5
    The central focus of this article is the epistemological assumption that knowledge could be generated based on human beings’ experiences and over their conceptions of the world. Logical characterisation of human inductive learning over their produced conceptions within terminological systems and providing a logical background for theorising over the Human Concept Learning Problem (HCLP) in terminological systems are the main contributions of this research. In order to make a linkage between ‘Log…Read more
  •  19
    Towards Contingent World Descriptions in Description Logics
    Logic and Logical Philosophy 29 (1): 115-141. 2020.
    The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ‘functional possibility’ and ‘functional necessity’ in DL world descriptions and (ii) logically and terminologically annotate DL world descriptions base…Read more