The roots of self-awareness

In this paper we provide an account of the structural underpinnings of self-awareness. We offer both an abstract, logical account-by way of suggestions for how to build a genuinely self-referring artificial agent-and a biological account, via a discussion of the role of somatoception in supporting and structuring self-awareness more generally. Central to the account is a discussion of the necessary motivational properties of self-representing mental tokens, in light of which we offer a novel definition of self-representation. We also discuss the role of such tokens in organizing self-specifying information, which leads to a naturalized restatement of the guarantee that introspective awareness is immune to error due to mis-identification of the subject

Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness

This essay describes a general approach to building perturbation-tolerant autonomous systems, based on the conviction that artificial agents should be able notice when something is amiss, assess the anomaly, and guide a solution into place. We call this basic strategy of self-guided learning the metacognitive loop; it involves the system monitoring, reasoning about, and, when necessary, altering its own decision-making components. In this essay, we (a) argue that equipping agents with a metacognitive loop can help to overcome the brittleness problem, (b) detail the metacognitive loop and its relation to our ongoing work on time-sensitive commonsense reasoning, (c) describe specific, implemented systems whose perturbation tolerance was improved by adding a metacognitive loop, and (d) outline both short-term and long-term research agendas

Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Comparative effectiveness of cognitive behavioral therapy for insomnia: a systematic review

BACKGROUND: Insomnia is common in primary care, can persist after co-morbid conditions are treated, and may require long-term medication treatment. A potential alternative to medications is cognitive behavioral therapy for insomnia (CBT-I). METHODS: In accordance with PRISMA guidelines, we systematically reviewed MEDLINE, EMBASE, the Cochrane Central Register, and PsycINFO for randomized controlled trials (RCTs) comparing CBT-I to any prescription or non-prescription medication in patients with primary or comorbid insomnia. Trials had to report quantitative sleep outcomes (e.g. sleep latency) in order to be included in the analysis. Extracted results included quantitative sleep outcomes, as well as psychological outcomes and adverse effects when available. Evidence base quality was assessed using GRADE. RESULTS: Five studies met criteria for analysis. Low to moderate grade evidence suggests CBT-I has superior effectiveness to benzodiazepine and non-benzodiazepine drugs in the long term, while very low grade evidence suggests benzodiazepines are more effective in the short term. Very low grade evidence supports use of CBT-I to improve psychological outcomes. CONCLUSIONS: CBT-I is effective for treating insomnia when compared with medications, and its effects may be more durable than medications. Primary care providers should consider CBT-I as a first-line treatment option for insomnia

Euthymic Patients with Bipolar Disorder Show Decreased Reward Learning in a Probabilistic Reward Task

Background: Bipolar disorder (BPD) features cycling mood states ranging from depression to mania with intermittent phases of euthymia. Bipolar disorder subjects often show excessive goal-directed and pleasure-seeking behavior during manic episodes and reduced hedonic capacity during depressive episodes, indicating that BPD might involve altered reward processing. Our goal was to test the hypothesis that BPD is characterized by impairments in adjusting behavior as a function of prior reinforcement history, particularly in the presence of residual anhedonic symptoms. Methods: Eighteen medicated BPD subjects and 25 demographically matched comparison subjects performed a probabilistic reward task. To identify putative dysfunctions in reward processing irrespective of mood state, primary analyses focused on euthymic BPD subjects (n = 13). With signal-detection methodologies, response bias toward a more frequently rewarded stimulus was used to objectively assess the participants' propensity to modulate behavior as a function of reinforcement history. Results: Relative to comparison subjects, euthymic BPD subjects showed a reduced and delayed acquisition of response bias toward the more frequently rewarded stimulus, which was partially due to increased sensitivity to single rewards of the disadvantageous stimulus. Analyses considering the entire BPD sample revealed that reduced reward learning correlated with self-reported anhedonic symptoms, even after adjusting for residual manic and anxious symptoms and general distress. Conclusions: The present study provides preliminary evidence indicating that BPD, even during euthymic states, is characterized by dysfunctional reward learning in situations requiring integration of reinforcement information over time and thus offers initial insights about the potential source of dysfunctional reward processing in this disorder.Psycholog

Open-Loop Neurofeedback Audiovisual Stimulation: A Pilot Study of Its Potential for Sleep Induction in Older Adults

This pilot study tested the efficacy of a 30-min audio-visual stimulation (AVS) program for the treatment of chronic insomnia in older adults. Chronic insomnia has been conceptualized as entailing increased cortical high frequency EEG activity at sleep onset and during NREM sleep. We hypothesized that an AVS program gradually descending from 8 to 1 Hz would potentially reduce the excessive cortical activation that is thought to contribute to difficulties with initiating and maintaining sleep. Accordingly, we conducted an intervention study of AVS using a pre-post design. Eight older adults (88 ± 8.7 years) complaining of chronic insomnia self-administered a 30-min AVS program nightly at bedtime for one month. Sleep was assessed at baseline and throughout the 4-week intervention. After using AVS for 4 weeks, significant improvement was reported in insomnia symptoms (ISI, p = 0.002) and sleep quality (PSQI, p = 0.004); with moderate to large effect sizes (Partial Eta2: 0.20-0.55)(Cohen\u27s d: 0.7-2.3). The training effect (self-reported sleep improvement) was observed at the end of week one and persisted through the 1-month intervention. The results from this pilot study suggest that further exploration of AVS as a treatment for insomnia is warranted