Tet Yeap

Kalonji Kalala, Iluju Kiringa, Tet Yeap

This paper proposes a Situation Calculus solution to the frame problem for obligation-producing actions, which are actions that create obligations on the part of the agent that performs them. As an example of such actions, we have an opening door action performed by an agent, which has the subsequent obligation of getting the door closed. Demolombe and others extend Raymond Reiter's solution to the frame problem for ordinary actions to accommodate obligation-producing actions. Obligation-producing actions do affect the truth value of a newly introduced fluent that captures the accessibility relation used in semantics of obligation modalities in the Situation Calculus. Our work simplifies Demolombe's characterization of the accessibility relation by eliminating the notion of ideality of situations, thereby remaining close to Kripke-style possible-world semantics for deontic logic, in the spirit of Governatori's approach. Furthermore, we spell out details of a complete solution by extending basic action theories of Reiter to the new setting. Finally, we extend Reiter's regression operator for reasoning about actions back to the initial situation to this new setting. Our solution yields intuitive properties that one would expect from obligations: for example, if a sentence is obligatory to an agent in a given situation, it remains so in subsequent situations unless the obligation is explicitly stopped.

Ci Lin, Tet Yeap, Iluju Kiringa

Associative memory models play a fundamental role in pattern retrieval, but their performance often degrades under adversarial perturbations and severe input corruptions. Existing approaches, including Modern Hopfield Networks (MHNs), and Predictive Coding Networks (PCNs), exhibit limitations in balancing storage capacity, computational efficiency, and robustness. In this paper, we propose a Convolutional Restricted Hopfield Networks (CRHNs), which integrates convolutional feature extraction with attractor-based memory retrieval in a structured latent space. The proposed model leverages subspace representations and fixed-point dynamics, trained via a gradient-free Subspace Rotation Algorithm (SRA), to enhance both robustness and memory capacity. Extensive experiments on Self-Taught Learning (STL) dataset demonstrate that CRHNs consistently achieve significantly lower reconstruction error compared to MHNs and PCNs across a wide range of adversarial attacks and input degradations. In many cases, CRHNs reduce reconstruction error by an order of magnitude and maintains stable retrieval performance under increasing perturbation strength. Statistical analysis further confirms that these improvements are significant ($p < 0.01$). These results highlight the effectiveness of attractor-based memory mechanisms and suggest that CRHNs provide a promising framework for building robust and scalable associative memory systems.