We propose a logic-based language for programming agents that can reason about their own beliefs as well as the beliefs of other agents and can communicate with each other. The agents can be reactive, rational/deliberative or hybrid, combining both reactive and rational behaviour. We illustrate the language by means of examples.

We describe an approach for a humanoid robot to understand its internal state (Infantino et al. (2013)). The method is based on self observation and communication with the external world, according to the idea of introspection given by Sloman (2010). The robot introspection arises from information about physical components and software modules. This information is translated in a spatial repres...

A common theme in theories of subjective awareness poses a self-related "observer" function, or a homunculus, as a critical element without which awareness can not emerge. Here, we examined this question using fMRI. In our study, we compared brain activity patterns produced by a demanding sensory categorization paradigm to those engaged during self-reflective introspection, using similar sensor...

Instead of asking why psychoanalysis has lost its central position in mental health, one might marvel at its longevity when considering that psychoanalysts have not attained agreement about basic methods for observing unconscious mentation, either their own or that of others. Ambiguity abounds regarding the operations involved in, and the usefulness of, introspection, and even more so of empath...

This work is a survey of Virtual Machine (VM) introspection, a necessary tool when utilizing VMs for security purposes. In the the rest of this section, we discuss traditional techniques for dealing with malware and the appeals of using a VM in a security context. In Section 2, we outline the main problem for using VMs for security called the semantic gap. In Section 3, we analyze 3 related app...

Unfortunately, current introspection mechanisms usually impose a high performance overhead or are difficult for programmers to use. For example, a 1000x slowdown using Valgrind for application debugging is not uncommon, and the lack of precise instruction counters has complicated research in deterministic multiprocessing [1, 7, 2]. However, with careful hardware support, introspection can be ma...