Three Semantics for Modular Systems
Shahab Tasharrofi, Eugenia Ternovska
TL;DR
This paper advances the theoretical foundation of modular systems by introducing a multi-language logic and two new semantics, ensuring their equivalence to existing model-theoretic semantics.
Contribution
It introduces a multi-language logic for modular systems and two novel semantics, expanding the theoretical framework for combining declarative languages and solvers.
Findings
New semantics are equivalent to original model-theoretic semantics
Structural operational semantics developed
Inference-based semantics introduced
Abstract
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers. We introduce a multi-language logic of modular systems. We define two novel semantics, a structural operational semantics, and an inference-based semantics. We prove the new semantics are equivalent to the original model-theoretic semantics and describe future research directions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Advanced Database Systems and Queries