Academia.eduAcademia.edu

Knowledge Representation and Reasoning

description6,514 papers
group62,139 followers
lightbulbAbout this topic
Knowledge Representation and Reasoning (KRR) is an interdisciplinary field in artificial intelligence and computer science that focuses on how to formally represent information about the world in a structured way, enabling machines to reason about that information, draw conclusions, and make decisions based on logical inference.
lightbulbAbout this topic
Knowledge Representation and Reasoning (KRR) is an interdisciplinary field in artificial intelligence and computer science that focuses on how to formally represent information about the world in a structured way, enabling machines to reason about that information, draw conclusions, and make decisions based on logical inference.

Key research themes

1. How can advanced knowledge and reasoning toolkits be designed to support integration, querying, and conversational interaction with structured and semi-structured data in cognitive applications?

This research theme focuses on building general-purpose, web-service-based toolkits that facilitate structured knowledge representation from heterogeneous natural language, structured, and semi-structured data sources. It is motivated by the challenges in creating reusable cognitive application frameworks that provide sophisticated reasoning, ontology management, and natural language support, thereby reducing manual effort and supporting interactive query answering and conversational systems.

Key finding: Introduces a Knowledge and Reasoning Toolkit (KRT) implemented as web services enabling cognitive applications to integrate heterogeneous data, perform alignment and quality assessment with reasoning support, and facilitate... Read more
Key finding: Provides architectural maps and conceptual primitives relevant for agentic cognitive systems that require continuous symbolic continuity and context-awareness, supporting persistent memory and recursive self-reflection; this... Read more

2. How does the choice and structure of knowledge representations impact knowledge acquisition, problem-solving performance, and reasoning in human and artificial systems?

This theme examines the cognitive and educational implications of different knowledge representation schemes—ranging from hypertext networks to frames, logic-based and functional languages—on how knowledge is acquired, organized, and applied in problem solving. It encompasses both the theoretical foundations and empirical evidence on how representations shape reasoning, learning, and the development of sophisticated conceptual schemas.

Key finding: Empirically demonstrates that hypertext knowledge representation, by enabling associative, non-linear navigation and explicit semantic relationships, facilitates learners' acquisition of complex, integrated knowledge schemata... Read more
Key finding: Highlights the educational value of knowledge representations as tools that constrain and support learners' reasoning by making semantic relationships explicit; argues for active construction of representations to promote... Read more
Key finding: Proposes a conceptual spaces theory that unifies multiple forms of concept-based reasoning including similarity, typicality, inductive reasoning, generic statements, category-based induction, and analogy; substantiates how... Read more
Key finding: Surveys major knowledge representation formalisms (production rules, logic programming, frames, object-oriented approaches) critically analyzing their strengths and limitations in capturing complex, nuanced domain knowledge;... Read more

3. What logical and epistemic frameworks facilitate formal reasoning about knowledge, belief, and the completion and validation of knowledge bases in artificial intelligence?

This theme involves the study of formal epistemic logic, description logics, and functionalist accounts of reasoning norms to underpin reasoning about knowledge and belief, the normative status of reasoning, and methodologies for completing and ensuring the completeness of knowledge bases. Interdisciplinary connections with AI safety and cognitive architectures emerge by grounding reasoning in formal semantics and epistemic norms.

Key finding: Provides foundational concepts in epistemic logic formalizing knowledge and belief for multi-agent systems; introduces formal languages, semantics, and proof systems to specify and verify epistemic protocols, such as deriving... Read more
Key finding: Presents an approach combining Description Logic knowledge bases with Formal Concept Analysis to interactively extend terminological and assertional knowledge through expert queries, guaranteeing minimal expert intervention... Read more
Key finding: Develops a normative functionalist framework unifying practical and theoretical reasoning under the epistemic norm of knowledge generation; defends that reasoning is governed by generating knowledge of the conclusion, thereby... Read more
Key finding: Proposes Krypton, a knowledge representation system that disentangles definitional and factual information by combining frame-based and logic-based languages with a functional view focused on actionable queries and... Read more

All papers in Knowledge Representation and Reasoning

Healthcare data fragmentation and lack of interoperability remain critical challenges in Nigeria, limiting efficient data exchange and evidence-based clinical decision-making. This study proposes a context-aware ontology-based health data... more
This article examines the representation of women in post-revolutionary Iranian cinema through close analyses of Jafar Panahi’s The Circle (2000), The Mirror (1997), and Offside (2006). Moving beyond interpretations that frame Iranian... more
Semantic technologies and ontologies play an increasing role in scientific workflow systems and knowledge infrastructures. While ontologies are mostly used for the semantic annotation of metadata, semantic technologies enable searching... more
Over the last 30 years, research methods have shifted from manual, library-based approaches to methods supported by digital tools. Current Large Language Models (LLMs), such as ChatGPT, are no longer relegated to literature search and... more
Modern transportation systems are primarily modeled through geometry, timing optimization, throughput analysis, collision avoidance, and route efficiency. These approaches successfully describe many mechanical properties of transportation... more
clude knowledge organization and representation in digital environments, use of semantic web technologies, information retrieval, and foundational issues. Marcondes, Carlos Henrique. Knowledge Organization and Representation in Digital... more
The problem addressed in this work is the persistent separation between parametric memory, encoded within model weights, and non-parametric memory retrieved through external databases or retrieval systems in modern Retrieval-Augmented... more
This article demonstrates that algebra operates exclusively on rational numbers — and that the widespread belief among mainstream mathematics academics that algebra employs irrational numbers, real numbers, or transcendental constants... more
This synthetic essay re-presents "Philosophy and Thinking Today" through the lens of the Fourth Industrial Revolution (4IR) and the cognitive hazards of growing formalization. It integrates Dr. Neville Buch's original framework-featuring... more
Fuzzy reasoning, case-based reasoning (CBR) and experience-based reasoning (EBR) or natural reasoning have been seriously studied for years. However, these studies essentially can be considered as a 1-dimensional approach, because their... more
Resumen: Explicar las causas, los efectos y los sentidos del derecho, reconociendo su parte deóntica e ideológica, implica conceptualizarlo como lenguaje y como un instrumento de comunicación, cuyos fines no se encuentran en el propio... more
Standardized testing systems increasingly shape access to higher education across the world, yet they are often discussed primarily in terms of fairness, efficiency, or technical validity. This short analytical piece argues that such... more
This study investigated whether the Reasoning Ways Scale is a valid and reliable teacher measurement tool. The Reasoning Ways Scale was developed by Yalın Uçar et al. (2023). The data of this scale was obtained from 378 pre-service... more
Representation of activity knowledge is important to any application which must reason about activities, such as new product management, factory scheduling, robot control, vehicle control, software engineering and air traffic control....