We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic logic. As the “static” basis for belief revision, we use epistemic plausibility models, together with a modal language based on two epistemic operators: a “knowledge” modality K (the standard S5, fully introspective, notion), and a “safe belief” modality 2 (“weak”, non-negatively-introspective, n...

by JOHN DILWORTH Western Michigan University [Theoria 2006.4: 299-318.] Abstract What is the relation between a perceptual experience of an object X as being red, and one's belief, if any, as to the nature of that experience? A traditional Cartesian view would be that, if indeed object X does seem to be red to oneself, then one's resulting introspective belief about it could only be a conformin...

This paper proposes an active learning framework for semantic mapping in mobile robotics. In particular, our work explores the benefits of an introspective classifier over that of a more traditional non-introspective approach for active data selection. We extend the notion of introspection to a particular sparse Gaussian Process classifier, the Informative Vector Machine (IVM), and show that th...

Case-based problem-solving systems reason by retrieving relevant prior cases and adapting their solutions to fit new circumstances. The ability of casebased reasoning (CBR) to reason from ungeneralized episodes can benefit knowledge acquisition, but acquiring the needed case adaptation knowledge has proven challenging. This paper presents a method for alleviating this problem with justin-time g...

Introspective reasoning about a system's own reasoning processes can form the basis for learning to reene those reasoning processes. The ROBBIE 1 system uses introspective reasoning to monitor the retrieval process of a case-based planner to detect retrieval of inappropriate cases. When retrieval problems are detected, the source of the problems is explained and the explanations are used to det...

We can learn a lot about what features are important for retrieval by comparing similar cases in a case-base. We can determine which features are important in predicting outcomes and we can assign weights to features accordingly. In the same manner we can discover which features are important in specific contexts and determine localised feature weights that are specific to individual cases. In ...

The term “introspective psychology” is misleading in that it covers a variety of diverging positions on the theory and practice of introspection. From the beginning there was a basic discrepancy between the British and the German philosophic tradition, ~ 7 7 t h the former relying more exclusively on introspection than the latter. Wilhelm Wundt’s advocacy and use of introspection was extremely ...