Search Results for author: Avijeet Ghosh

Found 2 papers, 0 papers with code

On simple expectations and observations of intelligent agents: A complexity study

no code implementations5 Jun 2023 Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Public observation logic (POL) reasons about agent expectations and agent observations in various real world situations.

Epistemic Reasoning

On verifying expectations and observations of intelligent agents

no code implementations2 May 2022 Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

Public observation logic (POL) is a variant of dynamic epistemic logic to reason about agent expectations and agent observations.

Cannot find the paper you are looking for? You can Submit a new open access paper.