New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent Perspective KU Leuven
In Artificial Intelligence, the scientific field of Knowledge Representation and Reasoning (KRR) is concerned with developing formal languages, to represent knowledge, and inference methods to solve tasks using that knowledge. Most of the existing approaches develop a formal language (a logic) together with an inference, to solve some type of computational task. The recently proposed Knowledge Base (KB) paradigm applies a strict separation of ...