Knowledge Representation and Knowledge Engineering

Image Credentials: Image Title: Knowledge Representation and Knowledge Engineering  Source: (Gemini) Date: September 2025. Attribution: Created using AI-generated imagery (Gemini), this does not depict a real-world scene.

Knowledge representation and knowledge engineering are core areas of research in artificial intelligence (AI) that enable systems to reason about the world, answer questions intelligently, and make logical deductions based on real-world facts. By encoding information in formalized structures, AI programs can simulate human-like understanding and apply it to practical applications.

Applications

Formal knowledge representations are widely used in a variety of domains, including:

• Content-based indexing and retrieval, where documents or media are classified and retrieved according to semantic meaning rather than keywords.

• Scene interpretation allows AI systems to understand and describe visual inputs such as images or videos.

• Clinical decision support, where medical AI systems provide diagnostic and treatment suggestions to healthcare professionals.

• Knowledge discovery, such as mining large databases for actionable insights and patterns.

These applications illustrate how structured representations of knowledge make AI useful in both theoretical and real-world contexts.

Knowledge Bases and Ontologies

A knowledge base is a structured body of knowledge expressed in a form that can be processed by an AI program. Within a specific domain, an ontology defines the set of objects, relations, categories, and properties that the system can reason about.

Effective knowledge bases must represent a wide range of concepts, including:

• Objects, properties, categories, and relations between objects.

• Situations, events, states, and the passage of time.

• Causes and effects of actions or events.

• Meta-knowledge, or knowledge about knowledge (such as what one individual knows about another’s knowledge).

• Default reasoning, which reflects assumptions humans make (e.g., that birds can fly) unless contradicted, even when facts change over time.

This broad scope demonstrates the complexity of formalizing knowledge in a way that machines can use effectively.

Challenges

Two of the most difficult problems in knowledge representation are:

1. Commonsense knowledge – Humans rely on an immense and diverse set of atomic facts about the world. Capturing even a fraction of this in AI systems poses a major challenge.

2. Sub-symbolic knowledge – Much of human knowledge is not explicitly verbalized or easily reducible to symbolic facts or statements. Instead, it is implicit, experiential, or intuitive, making it harder to encode for computational use.

Another key difficulty is knowledge acquisition, or the process of gathering and formalizing knowledge so that it can be applied by AI systems. This step is often resource-intensive and requires interdisciplinary expertise.

References

• Kahneman, D., & Tversky, A. (1974). Judgment under Uncertainty: Heuristics and Biases. Cambridge University Press.

• Brachman, R. J., & Levesque, H. J. (2004). Knowledge Representation and Reasoning. Morgan Kaufmann.

• Salton, G., & McGill, M. J. (1986). Introduction to Modern Information Retrieval. McGraw-Hill.

• Marr, D. (1982). Vision: A Computational Investigation into the Human Representation and Processing of Visual Information. MIT Press.

• Shortliffe, E. H. (1976). Computer-Based Medical Consultations: MYCIN. Elsevier.

• Fayyad, U., Piatetsky-Shapiro, G., & Smyth, P. (1996). “From Data Mining to Knowledge Discovery in Databases.” AI Magazine, 17(3).

• Russell, S., & Norvig, P. (2020). Artificial Intelligence: A Modern Approach (4th ed.). Pearson.

• Gruber, T. R. (1993). “A Translation Approach to Portable Ontology Specifications.” Knowledge Acquisition, 5(2).

• Sowa, J. F. (2000). Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole.

• Allen, J. F. (1984). “Towards a General Theory of Action and Time.” Artificial Intelligence, 23(2).

• Pearl, J. (2000). Causality: Models, Reasoning, and Inference. Cambridge University Press.

• Halpern, J. Y., & Moses, Y. (1990). “Knowledge and Common Knowledge in a Distributed Environment.” Journal of the ACM, 37(3).

• Reiter, R. (1980). “A Logic for Default Reasoning.” Artificial Intelligence, 13(1–2).

• Lenat, D. B. (1995). “CYC: A Large-Scale Investment in Knowledge Infrastructure.” Communications of the ACM, 38(11).

Back to Artificial Intelligence (AI)

Open Chronicle Encyclopedia

Explore this subject

Continue exploring related Open Chronicle Encyclopedia entries through the categories associated with this article.

Goals (AI)

Explore the Encyclopedia Library →