The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare different theories of vagueness understood as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s twodimensional semantics, and the system ...

This essay is a sustained attempt to bring new light to some of the perennial problems in philosophy of mind surrounding phenomenal consciousness and introspection through developing an account of sensory and phenomenal concepts. Building on the information-theoretic framework of Dretske (1981), we present an informational psychosemantics as it applies to what we call sensory concepts, concepts...

Robotic introspection and online decision making have been an area of increased focus. The goal is to endow robots with the ability to understand their actions and make timely decisions to reach their goals. Particularly, in unstructured environments, external perturbations are hard to model in low-level control systems and often lead to failure. Robots must then understand nominal and anomalou...

Thomas Bolander: Logical Theories for Introspective Agents Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one’s external environment but also oneself and one’s own reasoning. We ...

In the last few years the interest in reflection has grown and many modern programming languages/environments (e.g., Java and .NET) have provided the programmer with reflective mechanisms, i.e., with the ability of dynamically looking into (introspect) the structure of the code from the code itself. In spite of its evident usefulness, reflection has many detractors, who claim that it is too ine...

Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to attain. It requires time consuming simulations of the memory hierarchy using long traces, and often using detailed modeling. It is increasingly possible to access hardware performance counters to measure events in the memo...

He spoke about transformation of what was once a vocation of healing into what is essentially commerce, another example of what Ivan describes as “disabling professions.”2 In that, he spoke of the growing trend among physicians to order high-technology investigations and the latest treatment modalities. He spoke of the 10% urban elite, affluent class who wield power and are the decision makers....

The Message Passing Interface, MPI, is the standard programming model for high performance computing clusters. However, debugging applications on large scale clusters is difficult. The widely used Message Queue Dumping interface enables inspection of message queue state but there is no general interface for extracting information from MPI objects such as communicators. A developer can debug the...

This paper presents a theoretical model of noisy introspection designed to explain behavior in games played only once. The model determines layers of beliefs about others’ beliefs about ..., etc., but allows for surprises by relaxing the equilibrium requirement that belief distributions coincide with decision distributions. Noise is injected into iterated conjectures about others’ decisions and...