4 papers
On Translating Epistemic Operators in a Logic of Awareness
Yudai Kubono
Awareness-Based Indistinguishability Logic (henceforth, AIL) is an extension of Epistemic Logic by introducing the notion of awareness, distinguishing explicit knowledge from impli…
A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
Yudai Kubono, Satoshi Tojo
The logic of awareness, first proposed by Fagin and Halpern, addressed the problem of logical omniscience by introducing the notion of awareness and distinguishing explicit knowled…
Logic of Awareness for Nested Knowledge
Yudai Kubono
Reasoning abilities of human beings are limited. Logics that treat logical inference for human knowledge should reflect these limited abilities. Logic of awareness is one of those…
Logic of Awareness in Agent's Reasoning
Yudai Kubono, Teeradaj Racharak, Satoshi Tojo
The aim of this study is to formally express awareness for modeling practical agent communication. The notion of awareness has been proposed as a set of propositions for each agent…