Parameterized Logical Theories

Fangzhen Lin

AAAI 2021technical0 citations

Parameterized Logical Theories

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.

BibTeX

@inproceedings{aaai2021_parameterizedlog,
  title = {Parameterized Logical Theories},
  author = {Fangzhen Lin},
  booktitle = {AAAI 2021},
  year = {2021}
}