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

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

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

Cognitive behavioral therapy for insomnia comorbid with COPD is feasible with preliminary evidence of positive sleep and fatigue effects

Background: Many people with COPD report difficulties falling asleep or staying asleep, insufficient sleep duration, or nonrestorative sleep. Cognitive behavioral therapy for insomnia (CBT-I) has proved effective not only in people with primary insomnia but also in people with insomnia comorbid with psychiatric and medical illness (eg, depression, cancer, and chronic pain). However, CBT-I has rarely been tested in those with COPD who have disease-related features that interfere with sleep and may lessen the effectiveness of such therapies. The purpose of this study was to determine the feasibility of applying a CBT-I intervention for people with COPD and to assess the impact of CBT-I on insomnia severity and sleep-related outcomes, fatigue, mood, and daytime functioning. Methods: The study had two phases. In Phase 1, a 6-weekly session CBT-I intervention protocol in participants with COPD was assessed to examine feasibility and acceptability. Phase 2 was a small trial utilizing a prospective two-group pre- and post-test design with random assignment to the six-session CBT-I or a six-session wellness education (WE) program to determine the effects of each intervention, with both interventions being provided by a nurse behavioral sleep medicine specialist. Results: Fourteen participants (five in Phase 1 and nine in Phase 2) completed six sessions of CBT-I and nine participants completed six sessions of WE. Participants indicated that both interventions were acceptable. Significant positive treatment-related effects of the CBT-I intervention were noted for insomnia severity (P = 0.000), global sleep quality (P = 0.002), wake after sleep onset (P = 0.03), sleep efficiency (P = 0.02), fatigue (P = 0.005), and beliefs and attitudes about sleep (P = 0.000). Significant positive effects were noted for depressed mood after WE (P = 0.005). Conclusion: Results suggest that using CBT-I in COPD is feasible and the outcomes compare favorably with those obtained in older adults with insomnia in the context of other chronic illnesses

Cognitive Behavioral Therapy for Insomnia in Alcohol‐Dependent Veterans: A Randomized, Controlled Pilot Study

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/149521/1/acer14030.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/149521/2/acer14030-sup-0001-FigS1-S3.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/149521/3/acer14030_am.pd

Pre-Sleep Cognitive Arousal Is Negatively Associated with Sleep Misperception in Healthy Sleepers during Habitual Environmental Noise Exposure: An Actigraphy Study

Specific noises (e.g., traffic or wind turbines) can disrupt sleep and potentially cause a mismatch between subjective sleep and objective sleep (i.e., “sleep misperception”). Some individuals are likely to be more vulnerable than others to noise-related sleep disturbances, potentially as a result of increased pre-sleep cognitive arousal. The aim of the present study was to examine the relationships between pre-sleep cognitive arousal and sleep misperception. Sixteen healthy sleepers participated in this naturalistic, observational study. Three nights of sleep were measured using actigraphy, and each 15-s epoch was classified as sleep or wake. Bedside noise was recorded, and each 15-s segment was classified as containing noise or no noise and matched to actigraphy. Participants completed measures of habitual pre-sleep cognitive and somatic arousal and noise sensitivity. Pre-sleep cognitive and somatic arousal levels were negatively associated with subjective–objective total sleep time discrepancy (p < 0.01). There was an association between sleep/wake and noise presence/absence in the first and last 90 min of sleep (p < 0.001). These results indicate that higher levels of habitual pre-sleep arousal are associated with a greater degree of sleep misperception, and even in healthy sleepers, objective sleep is vulnerable to habitual bedside noise

The Natural History of Insomnia: Predisposing, precipitating, coping and perpetuating factors over the early developmental course of insomnia

While there is an extensive literature on predisposing, precipitating, coping, and perpetuating factors in those with chronic insomnia, very little work has been undertaken to evaluate these factors over the early developmental course of insomnia. The present aim was to determine whether several hypothesized factors in each domain (predisposing, precipitating, coping, and perpetuating), assessed during an episode of acute insomnia (AI), are related to its persistence or remission to normal sleep. Participants comprised n = 140 people with AI and n = 737 normal sleepers (NS) recruited from the general public. Participants completed measures assessing predisposing characteristics (personality traits, arousal predisposition, and insomnia vulnerability), precipitating events and outcomes (life events, perceived stress, anxiety, and depression), coping styles (thought control strategies and coping styles), and perpetuating factors (sleep preoccupation, pre-sleep arousal, dysfunctional beliefs, and fatigue). Additionally, insomnia status (from AI at baseline to its persistence or natural remission [NR]) was assessed 1 month later (n = 129). Baseline differences between NS and individuals with AI were observed in each domain with increasing age, lower openness to experience and conscientiousness, higher insomnia severity, levels of anxiety, and affective sleep preoccupation significantly predicting AI status. Further, a previous episode of insomnia, higher depression scores, and affective sleep preoccupation scores significantly predicted its persistence, as opposed to its NR. Results are discussed with reference to the conceptualization of insomnia and how the findings may influence the design of preventative interventions to circumvent the transition from acute to chronic insomnia

Acute and Chronic Insomnia: What Has Time and/or Hyperarousal Got to Do with It?

Nearly one-third of the population reports new onset or acute insomnia in a given year. Similarly, it is estimated that approximately 10% of the population endorses sleep initiation and maintenance problems consistent with diagnostic criteria for chronic insomnia. For decades, acute and chronic insomnia have been considered variations of the same condition or disorder, only really differentiated in terms of chronicity of symptoms (days/weeks versus months). Whether or not acute and chronic insomnia are part of the same phenomena is an important question, one that has yet to be empirically evaluated. The goal of the present theoretical review was to summarize the definitions of acute and chronic insomnia and discuss the role that hyperarousal may have in explaining how the pathophysiology of acute and chronic insomnia is likely different (i.e., what biopsychological factors precipitate and/or perpetuate acute insomnia, chronic insomnia, or both?)

We know CBT-I works, now what?

Cognitive behavioral therapy for insomnia (CBT-I) has been shown to be efficacious and now is considered the first-line treatment for insomnia for both uncomplicated insomnia and insomnia that occurs comorbidly with other chronic disorders (comorbid insomnia). The purposes of this review are to provide a comprehensive summary of the efficacy data (for example, efficacy overall and by clinical and demographic considerations and by CBT-I formulation) and to discuss the future of CBT-I (for example, what next steps should be taken in terms of research, dissemination, implementation, and practice)