Search papers, labs, and topics across Lattice.
This paper introduces a neuro-symbolic approach to service placement in cloud-edge environments by integrating a Prolog skill with a language model to handle constraint-aware decisions. By transforming high-level placement intents into symbolic facts and rules, the method allows for formal reasoning and validation, addressing the limitations of existing optimization models and opaque neural methods. The key result demonstrates that this framework enables more transparent and policy-compliant service placement, enhancing decision-making in heterogeneous resource environments.
Bridging the gap between high-level intent and formal reasoning, this neuro-symbolic approach enables transparent and policy-aware service placement in cloud-edge systems.
Service placement in the cloud-edge continuum requires assigning application components to heterogeneous resources under multiple constraints, including latency, locality, and policy requirements. Existing approaches rely on optimisation models or heuristics that require explicit modelling, while neural methods lack transparency and formal guarantees. This work proposes a neuro-symbolic alternative based on a Prolog skill, a reusable interface for schema-constrained fact generation and querying, for constraint-aware placement. The skill enables a language model to structure placement intent into symbolic facts, rules, and queries, while delegating validation and reasoning to Prolog. This design bridges high-level intent and formal constraint evaluation, enabling inspectable and policy-aware placement decisions in cloud-edge environments.
