5 papers
Goal-Oriented Logic-based Semantic Communication for Neuro-Symbolic Reasoning with Applications onto Autonomous Driving
Ahmet Faruk Saz, Duo Xu, Faramarz Fekri
We consider First-Order Logic (FOL)-based semantic communication for neuro-symbolic decision-making in collaborative environments such as autonomous driving networks. Each connecte…
Goal-Oriented Semantic Communication for Logical Decision Making
Ahmet Faruk Saz, Faramarz Fekri
This paper develops a principled foundation for goal-oriented semantic communication for logical decision-making. Consider a setting where autonomous agents engage in collaborative…
Analysis of Semantic Communication for Logic-based Hypothesis Deduction
Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri
This work presents an analysis of semantic communication in the context of First-Order Logic (FOL)-based deduction. Specifically, the receiver holds a set of hypotheses about the S…
On The Theory of Semantic Information and Communication for Logical Inference
Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri
First-Order Logic (FOL), also called first-order predicate calculus, is a formal language that provides a framework to comprehensively represent a world and its present state, incl…
DISCD: Distributed Lossy Semantic Communication for Logical Deduction of Hypothesis
Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri
In this paper, we address hypothesis testing in a distributed network of nodes, where each node has only partial information about the State of the World (SotW) and is tasked with…