Parameterized Logical Theories

Authors

  • Fangzhen Lin Hong Kong University of Science and Technology

Keywords:

Knowledge Representation Languages

Abstract

A theory in first-order logic is a set of sentences. A parameterized theory is a first-order theory with some of its predicates and functions identified as parameters, together with some import statements that call other parameterized theories. A KB is then a collection of these interconnected parameterised theories, similar to how a computer program is constructed as a set of functions in a modern programming language. In this paper, we provide a translational semantics for these parameterized theories in first-order logic using the situation calculus. We also discuss their potential uses in areas such as multi-context reasoning and logical formalization of computer programs.

Downloads

Published

2021-05-18

How to Cite

Lin, F. (2021). Parameterized Logical Theories. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6402-6409. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16794

Issue

Section

AAAI Technical Track on Knowledge Representation and Reasoning