In this paper we investigate situation calculus action theories extended with ontologies, expressed as description logics TBoxes that act as state constraints. We show that this combination, while natural and desirable, is particularly problematic: it leads to undecidability of the simplest form of reasoning, namely satisfiability, even for the simplest kinds of description logics and the simpl...

Automatic problematic situation recognition (PSR) is important for an online conversational system to constantly improve its performance. A PSR module is responsible of automatically identifying users’ un-satisfactions and then sending feedbacks to conversation managers. In this paper, we collect dialogues from a Chinese online chatbot, annotate the problematic situations and propose a framewor...

Information seeking does not occur in a vacuum but invariably is motivated by some wider task. It is well accepted that to understand information seeking we must understand the task context within which it takes place. Writing is amongst the most common tasks within which information seeking is embedded. This paper considers how writing can be understood in order to account for embedded informa...

This paper outlines a model of the first true central bank, the Bank of Amsterdam, founded in 1609. Employing a variant of the Freeman (1996) model of money and payments, we first analyze the problematic monetary situation in the Netherlands prior to the founding of the Bank. We then use the model to describe how the Bank could remedy this situation by creating a stable medium for the settlemen...

Two experiments examined possible negative transfer in nonexperts from the use of pictorial examples in a laboratory design problem-solving situation. In Experiment 1, 89 participants were instructed to "think aloud" and were assigned to 1 of 3 conditions: (a) control (standard instructions), (b) fixation (inclusion of a problematic example, describing its problematic elements), or (c) defixati...