ML Anthology

Parameterized Logical Theories

Fangzhen Lin
AAAI 2021 pp. 6402-6409
doi:10.1609/AAAI.V35I7.16794 /aaai/2021/lin2021aaai-parameterized/

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.

PDF AAAI Semantic Scholar

Cite

Text

Lin. "Parameterized Logical Theories." AAAI Conference on Artificial Intelligence, 2021. doi:10.1609/AAAI.V35I7.16794

Markdown

[Lin. "Parameterized Logical Theories." AAAI Conference on Artificial Intelligence, 2021.](https://mlanthology.org/aaai/2021/lin2021aaai-parameterized/) doi:10.1609/AAAI.V35I7.16794

BibTeX

@inproceedings{lin2021aaai-parameterized,
  title     = {{Parameterized Logical Theories}},
  author    = {Lin, Fangzhen},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {6402-6409},
  doi       = {10.1609/AAAI.V35I7.16794},
  url       = {https://mlanthology.org/aaai/2021/lin2021aaai-parameterized/}
}