knowledge representation编辑历史

Knowledge representation (KR) is a subfield of artificial intelligence (AI) concerned with designing formalisms to encode information about the world in a structured, machine-readable manner. Its primary goal is to enable computer systems to store, organize, and reason with knowledge, thereby supporting tasks such as inference, planning, natural language understanding, and decision-making. KR relies on symbolic structures—such as logical formulas, graphs, or frames—that capture objects, relations, categories, and rules, often drawing on insights from philosophy, linguistics, and cognitive science.

# 1 Foundations

## 1.1 Philosophical origins
The roots of knowledge representation lie in ancient philosophy, particularly in debates about the nature of knowledge and its symbolic encoding. Plato’s theory of forms and Aristotle’s categories provided early frameworks for classifying entities and their properties. Later, the rationalist tradition (e.g., Leibniz’s characteristica universalis) and the empiricist emphasis on sensory experience influenced how AI researchers conceptualized representing facts and rules.

### 1.1.1 Symbolism vs. connectionism
A central philosophical divide in KR is between symbolism and connectionism. Symbolism holds that knowledge can be adequately captured through discrete, symbolic structures (e.g., logical formulas, rules). Connectionism, inspired by neural networks, contends that knowledge emerges from distributed patterns of activation across many simple processing units. While early AI favored symbolism, modern hybrid systems often combine both approaches.

## 1.2 Key properties
Knowledge representation formalisms are evaluated along several key properties that determine their suitability for a given task.

### 1.2.1 Expressive power
Expressive power refers to the range of concepts and relationships a formalism can capture. For example, first-order logic can represent objects, properties, and quantifiers, while propositional log