Quantified extensions of canonical propositional intermediate logics

The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category.     

Learning capacities during sleep: A preliminary study in a group of schizophrenic inpatients

The relationship between sleep and learning processes is analysed in a sample of schizophrenic patients, starting from more recent hypotheses about the function of REM sleep in learning and memory processes. This is done by means of two experiments: in the first AA. evaluate the possibility to elicit a simple motor conditional reflex acquired during daytime in different sleep stages. With the second experiment daytime learning performances are evaluated with and without a reinforcement administered during REM sleep. Results for the first experiment underline a qualitative difference between REM and nREM sleep in a reflexological perspective. In nREM sleep the conditional response is better maintained than in REM sleep. The second experiment confirms the possibility to improve daytime learning performances after an additional presentation of learning material in REM. The joint study of sleep abnormalities and learning and cognitive impairment in schizophrenic patients is finally suggested.     

Are delusional contents replayed during dreams?

The relationship between dream content and waking life experiences remains difficult to decipher. However, some neurobiological findings suggest that dreaming can, at least in part, be considered epiphenomenal to ongoing memory consolidation processes in sleep. Both abnormalities in sleep architecture and impairment in memory consolidation mechanisms are thought to be involved in the development of psychosis. The objective of this study was to assess the continuity between delusional contents and dreams in acutely psychotic patients. Ten patients with a single fixed and recurring delusional content were asked to report their dreams during an acute psychotic break. Sixteen judges with four different levels of acquaintance to the specific content of the patients’ delusions were asked to group the dreams, expecting that fragments of the delusional thought would guide the task. A mathematical index (f, t) was developed in order to compare correct groupings between the four groups of judges. Most judges grouped the dreams slightly above chance level and no relevant differences could be found between the four groups [F(3, 12) = 1.297; p = n.s.]. Scoring of dreams for specific delusional themes suggested a continuity in terms of dream and waking mentation for two contents (Grandiosity and Religion). These findings seem to suggest that at least some delusional contents recur within patients’ dreams. Future studies will need to determine whether such continuity reflects ongoing consolidation processes that are relevant to current theories of delusion formation and stabilization.     

Vagueness,Kant and Topology: a Study of Formal Epistemology

In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together allow us an atypical, but promising, way of considering vagueness.     

A planner agent that tries its best in presence of nondeterminism

In many nondeterministic planning domains, an agent whose goal is to achieve φ may not succeed in finding a policy that can guarantee that all paths from the initial state lead to a final state where φ holds (strong solution). Nevertheless, if the agent is trying its best to achieve φ, it cannot give up. Instead, it may be inclined to accept weaker guarantees, such as having a path leading to φ from any intermediate state reached by the policy (strong-cyclic solution), or even less, such as having at least one path leading to φ from the initial state (weak solution). But the agent should choose among such different options based on their availability in each situation. Although the specification of this type of goal has been addressed before, in this paper we show how a planner based on the branching time temporal logic α-ctl can be used to plan for intuitive and useful goals of the form “try your best to achieve φ”.