23 found
Order:
See also
Farshad Badie
Aalborg University
  1. Logic and Constructivism: A Model of Terminological Knowledge.Farshad Badie - 2020 - Journal of Knowledge Structures and Systems 1 (1):23-39.
    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 knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception expressions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  29
    Can Knowledge Be Quantified and Qualified?Farshad Badie - 2021 - Journal of Knowledge Structures and Systems 2 (1):63-67.
    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. Taking into account quantified and qualified informative data, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  15
    Towards Contingent World Descriptions in Description Logics.Farshad Badie - 2020 - Logic and Logical Philosophy 29 (1):115-141.
    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 based on functional contingents. The most significant contributions of this research are the logical characterisation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  20
    The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking.Farshad Badie & Luis M. Augusto - 2022 - MDPI AI 3:353–370.
    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 known (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  11
    A Formal Ontology for Conception Representation in Terminological Systems.Farshad Badie - 2020 - In Mariusz Urbański, Tomasz Skura & Paweł Łupkowski (eds.), Reasoning: Logic, Cognition, and Games. pp. 137-156.
    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 conceptions on the world.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  5
    Logical Characterisation of Concept Transformations From Human Into Machine Relying on Predicate Logic.Farshad Badie - 2016 - In ACHI 2016 : The Ninth International Conference on Advances in Computer-Human Interactions. pp. 376-379.
    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 machines will be analysed. It seems quite necessary to pay attention (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  48
    Can Knowledge Be Quantified and Qualified?Farshad Badie - 2021 - Journal of Knowledge Structures and Systems 1 (2):63-67.
    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. Taking into account quantified and qualified informative data, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  33
    Nominal Conceptualism and Logical Modelling of Agents’ Conceptions.Farshad Badie - 2021 - Логико-Философские Штудии 1 (19):95-100.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  21
    A.N. PRIOR's SYSTEM Q: A REVIEW. [REVIEW]Farshad Badie - 2021 - Логико-Философские Штудии 19 (3):161-174.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  13
    From Concepts to Predicates Within Constructivist Epistemology.Farshad Badie - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. Berlin, Germany: Springer.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  11
    A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.
    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 systems. Finally, it will design an ontology that schemes the structure of concept understanding (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Concept Representation Analysis in the Context of Human-Machine Interactions.Farshad Badie - 2016 - In 14th International Conference on e-Society. pp. 55-61.
    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 conceptualising learning) and (ii) concept representations in the (...)
     
    Export citation  
     
    Bookmark   1 citation  
  13. Towards Concept Understanding Relying on Conceptualisation in Constructivist Learning.Farshad Badie - 2016 - In 13th International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2016). pp. 292-296.
    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 (schemata). Subsequently, I will propose an analytical specification of humans’ conceptualisations and understandings over (...)
     
    Export citation  
     
    Bookmark   1 citation  
  14.  8
    A Conceptual Framework Over Contextual Analysis of Concept Learning Within Human-Machine Interplays.Farshad Badie - 2017 - In Emerging Technologies for Education. Cham, Switzerland: pp. 65-74.
    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 the context of human-machine interrelationships. It will be demonstrated that the proposed framework provides (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. A Formal Semantics for Concept Understanding Relying on Description Logics.Farshad Badie - 2017 - In Proceedings of the 9th International Conference on Agents and Artificial Intelligence. pp. 42-52.
    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 complexity of humans’ understanding has supported the formal analysis.
     
    Export citation  
     
    Bookmark  
  16. An Occurrence Description Logic.Farshad Badie & Hans Götzsche - forthcoming - Logical Investigations.
    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), which is a radical linguistic theory). From the logical point of view, OccL is (...)
     
    Export citation  
     
    Bookmark  
  17. A Semantic Basis for Meaning Construction in Constructivist Interactions.Farshad Badie - 2015 - In 12th International Conference on Cognition and Exploratory Learning in Digital Age. pp. 369-373.
    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 personal constructed conceptions in order to construct (...)
     
    Export citation  
     
    Bookmark  
  18. Logical Characterisation of Possibilistic and Probabilistic Descriptions of Events in Description Logics.Farshad Badie - forthcoming - Bulletin of the Section of Logic.
    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 `probability of events'. The main goal of this research is to investigate how possible (...)
     
    Export citation  
     
    Bookmark  
  19. On Logical Characterisation of Human Concept Learning Based on Terminological Systems.Farshad Badie - 2018 - Logic and Logical Philosophy 27:545-566.
    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 ‘Logic’ and ‘Cognition’, Description Logics (DLs) will be employed to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Towards World Identification in Description Logics.Farshad Badie - forthcoming - Logical Investigations.
    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 description logic (DL) and a nominal can be related to each other?’. Based (...)
     
    Export citation  
     
    Bookmark  
  21.  11
    Logical Foundation of Inductive Meaning Constructing in Constructivist Interactions.Farshad Badie - 2018 - In Lund Birthe & Sonja Arndt (eds.), The Creative University. Leiden, Netherlands: Brill. pp. 172-198.
  22.  11
    Towards a Formal Symbolic Occurrence Logic.Farshad Badie - 2018 - In Hans Götzsche (ed.), The Meaning of Language. Newcastle-under-Lyme, UK: Cambridge Scholars.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  4
    Towards Semantic Analysis of Mentoring-Learning Relationships Within Constructivist Interactions.Farshad Badie - 2017 - In Emerging Technologies for Education. Cham, Switzerland: pp. 107-116.
    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 and answers are the main building blocks of the ‘Relations’ between mentors and learners. In (...)
    Direct download  
     
    Export citation  
     
    Bookmark