6 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…
Lossy Semantic Communication for the Logical Deduction of the State of the World
Ahmet Faruk Saz, Siheng Xiong, Faramarz Fekri
In this paper, we address the problem of lossy semantic communication to reduce uncertainty about the State of the World (SotW) for deductive tasks in point to point communication.…