Представление знаний (Knowledge Representation and Reasoning)

Knowledge representation takes a top-down approach to artificial intelligence, focusing on how high-level knowledge can be formalized in a symbolic logic-based framework. In contrast to sub-symbolic (black-box) techniques such as neural networks, knowledge representation and reasoning exploits the fact that domain experts have knowledge that can be used by an AI agent in solving its tasks. Formalisms and reasoning algorithms find applications in planning, ontologies and the semantic web, and it is highly likely that the future of AI is in hybrid solutions, combining symbolic and sub-symbolic approaches. Topics covered will include various formalisms of logic, ranging from first order predicate logic over temporal logics to description logics, OWL (web ontology languages), and semantic web technologies.