On Logical Characterisation of Human Concept Learning based on Terminological Systems

Badie, Farshad

doi:10.12775/llp.2017.020

Cited by 3 publications

(3 citation statements)

References 16 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Description logic (DL) is widely considered as an adequate medium to represent semantic knowledge (e.g., Badie, 2018), including the terminological knowledge of individual cognitive agents (e.g., Badie, 2017Badie, , 2020aBadie, , 2020bBadie, , 2021Badie, , 2022. Instead of the propositions of predicate logic (PL), DL's largest complete expressions are descriptions.…”

Section: Description Logic and Knowledge Basesmentioning

confidence: 99%

Fuzzy Networks for Modeling Shared Semantic Knowledge

Badie

Augusto²

2023

Journal of Artificial General Intelligence

Self Cite

View full text Add to dashboard Cite

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 approximations. We see fuzzy description logic as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.”

show abstract

Section: Description Logic and Knowledge Basesmentioning

confidence: 99%

Fuzzy Networks for Modeling Shared Semantic Knowledge

Badie

Augusto²

2023

Journal of Artificial General Intelligence

Self Cite

View full text Add to dashboard Cite

show abstract

“…Simply applying DL to account for normal and abnormal categorization and association processes in semantic memory would, however, result in a trivial model of FTD. Our main tool will be Conception Language (CL), a DL-based language conceived precisely for modeling terminological knowledge and cognitive agents' associated conceptions of the world [8][9][10][11]. By assuming that concepts are distinct mental phenomena/entities that are construed by agents in a particular state of awareness, a possible interpretation is that concepts can be identified with the contents in, for example, linguistic expressions (which are basically in the form of words), formal expressions (which are basically in the form of symbols and special characters), and/or numerical expressions (which are in the form of numbers) by becoming manifested in the form of conceptions.…”

Section: Conception Languagementioning

confidence: 99%

“…Here, we adopt them as such. Additionally, we eliminate the criticism above by equipping semantic networks with a formal semantics via description logic (DL), which is known to model adequately terminological knowledge (see [7][8][9][10][11][12]), and we consider them in the framework of semantic or terminological memory, thus providing an account of the mental representation of meaning. Semantic networks and frame-based systems (based on which knowledge may be divided into interrelated sub-structural frames, in order to be represented; see [13,14]) are at the very foundations of DL (see [15,16]).…”

Section: Introductionmentioning

confidence: 99%

The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking

Badie¹,

Augusto²

2022

Self Cite

View full text Add to dashboard Cite

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 for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model.

show abstract

Towards World Identification in Description Logics

Badie¹

2023

Self Cite

View full text Add to dashboard Cite

The logical analysis of the usability of nominals, that are introduced by Hybrid Logic, informal descriptions of the world (within modern knowledge representation systems and semantic systems) is very important because nominals, as second sorts of propositional symbols, can support logical identification of the described world at specific states. This paper will focus on answering the philosophical-logical question of ‘how a fundamental world description in the description logic (DL) and a nominal can be related to each other?’. Based on my assumption that nominals can support more adequate identification of the world in DL, this paper will deal with the concept of ‘world identification’. Accordingly, based on a logical-terminological analysis of nominals, it will analyse hybridised fundamental world descriptions. Relying on the outcomes, this research will reach the idea that we can have a hybrid description logic with the analysed concepts.

show abstract

On Logical Characterisation of Human Concept Learning based on Terminological Systems

Cited by 3 publications

References 16 publications

Fuzzy Networks for Modeling Shared Semantic Knowledge

Fuzzy Networks for Modeling Shared Semantic Knowledge

The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking

Towards World Identification in Description Logics

Contact Info

Product

Resources

About