This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world a...

Message Driven Computation (MIX) is a model of computation with which we haw been eqerimenting at the Illinois Institute of Technology. It is our h i r e to prove the viability of MDC in practice for the expression of parallel algorithms and the implementation of ficnctional and datajlbw programming hguuges. In the following pages we &cuss our implementation of the Lucid programming language in...

Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true par...

A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs usi...

Lucid dreaming is a state of awareness that one is dreaming, without leaving the sleep state. Dream reports show that self-reflection and volitional control are more pronounced in lucid compared with nonlucid dreams. Mostly on these grounds, lucid dreaming has been associated with metacognition. However, the link to lucid dreaming at the neural level has not yet been explored. We sought for rel...

In lucid dreams the dreamer is aware of dreaming and often able to influence the ongoing dream content. Lucid dreaming is a learnable skill and a variety of techniques is suggested for lucid dreaming induction. This systematic review evaluated the evidence for the effectiveness of induction techniques. A comprehensive literature search was carried out in biomedical databases and specific resour...

Dream lucidity, or being aware that one is dreaming while dreaming, not an all-or-none phenomenon. Often, subjects report some variant of “a little lucid” as opposed to completely at all. As recent neuroimaging work begins elucidate the neural underpinnings lucid experience, understanding subtle phenomenological variation within dreams essential. Here, we focus on variability experience by aski...