Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Logic-Based Knowledge Representation
Автор: Baader F.
After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, time-dependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we briefly comment on the connection to Logic Programming.