Monads for hyperintensionality? A situation semantics for hyperintensional side effects
We outline a hyperintensional situation semantics in which hyperintensionality is modelled as a {}side effect{'}, as this term has been understood in natural language semantics and in functional programming. We use monads from category theory in order to {}upgrade{'} an ordinary intensional semantics to a possible hyperintensional counterpart.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Hyperintensional Reasoning based on Natural Language Knowledge Base
The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyp…
Shades of Iteration: from Elgot to Kleene
Notions of iteration range from the arguably most general Elgot iteration to a very specific Kleene iteration. The fundamental nature of Elgot iteration has been extensively explored by Bloom and Esik in the form of iter…
FormNeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
ULLER (Unified Language for LEarning and Reasoning) offers a unified first-order logic (FOL) syntax, enabling its knowledge bases to be used directly across a wide range of neurosymbolic systems. The original specificati…
Monads as a Solution for Generalized Opacity
A Logical Semantics for PDDL+
PDDL+ is an extension of PDDL2.1 which incorporates fully-featured autonomous processes and allows for better modelling of mixed discrete-continuous domains. Unlike PDDL2.1, PDDL+ lacks a logical semantics, relying inste…