Towards a logic of affordances

2025/12/04 by Gruszczynski, Rafal, Menchón, Paula, Düntsch, Ivo +1
#03B45 #03B52 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2512.05214

Abstract

We aim to construct a formal theory of affordances seen as ternary relations. Beginning with a characterization of affordances proposed by James J. Gibson, and utilizing the tools provided by Zdzisław Pawlak's information systems and rough sets, we construct a mathematically precise definition of both crisp and rough affordances. Then, we analyze modal and approximation operators that enable reasoning about affordances in both scenarios.

Citations

• The Evolution of Rough Sets 1970s-1981
• A mixed logic with binary operators

Related

• The logic behind desirable sets of things, and its filter representation
• Granular knowledge and rational approximation in general rough sets – I
• On a Well-behaved Relational Generalisation of Rough Set Approximations
• A theory of desirable things
• A General Theory of Concept Lattice (II): Tractable Lattice Construction and Implication Extraction