6 citations · 16 across the 6 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2021
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Gaia Belardinelli, Rasmus K. Rendsvig
The literature on awareness modeling includes both syntax-free and syntax-based frameworks. Heifetz, Meier \& Schipper (HMS) propose a lattice model of awareness that is syntax-fre…
cs.AI2021
Epistemic Planning with Attention as a Bounded Resource
Gaia Belardinelli, Rasmus K. Rendsvig
Where information grows abundant, attention becomes a scarce resource. As a result, agents must plan wisely how to allocate their attention in order to achieve epistemic efficiency…
cs.AI2020★ 1 cited
Awareness Logic: A Kripke-based Rendition of the Heifetz-Meier-Schipper Model
Gaia Belardinelli, Rasmus K. Rendsvig
Heifetz, Meier and Schipper (HMS) present a lattice model of awareness. The HMS model is syntax-free, which precludes the simple option to rely on formal language to induce lattice…