With the rise of large language models (LLMs) and their impressive capabilities, a crucial question emerges: can these models truly...
Read More
The Importance of Knowledge Representation and Automated Reasoning In the realm of artificial intelligence (AI), knowledge representation and automated reasoning...
Read More
What are DLs? (Part 3: Borhan’s course in DL)
23 August, 2022
In artificial intelligence (AI), DLs are used to describe and reason about the relevant concepts of an application domain (known...
Read More
What are DLs? (Part 2: Description Logic’s extensions)
23 August, 2022
There are wide varieties of DLs and there is an informal naming convention, roughly describing the operators allowed. The expressivity...
Read More
What are DLs? (Part1: A Brief Introduction)
23 August, 2022
Description logics (DL) are a useful family of formal knowledge representation languages. DLs are fragments of binary first-order classical logic...
Read More
Reasoning about actions
16 June, 2022
Two factors lead us to integrate descriptionLogics and actionFormalisms, and reasoning in dynamic Ontologies and knowledge and action bases (KAB): “The demand to represent and...
Read More
Concerning #rational_sciences, judicial and legal sciences have the most complex #reasonings problems. Basically, based on historical data, the origin of the logic...
Read More
Lexical Relationships between Words
4 May, 2022
There are 8 types of Lexical Relationships between Words. Each of them is #Homophony. The Homophonic words have the same...
Read More
Machine reasoning
27 March, 2022
Machine reasoning is a significant category of explainable AI technologies; something that could revolutionize the history of computer devices and...
Read More
Automation of Legal Reasoning and decision based on ontology
24 March, 2022
Legal professionals, such as judges and lawyers, dedicate a significant amount of their time to finding, reading, analyzing, and synthesizing information in order to make...
Read More
Ontology is known as the branch of philosophy concerned with the study of the nature of being. The ontology discussed...
Read More
Machine Reasoning
22 March, 2022
Reasoning is one of the most important parts of human cognitive activities. All analyses are based on reasoning such as...
Read More
Knowledge graphs
22 March, 2022
The missing link between people and computers, or better, between knowledge and data are Knowledge graphs. We know how to...
Read More