Sciweavers

11 search results - page 1 / 3
» Awareness and Forgetting of Facts and Agents
Sort
View
IAT
2009
IEEE
13 years 11 months ago
Awareness and Forgetting of Facts and Agents
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
Hans P. van Ditmarsch, Tim French
IVA
2009
Springer
13 years 11 months ago
A Socially-Aware Memory for Companion Agents
Abstract. Memory is a vital capability for intelligent social Companions. In this paper, we introduce a simple memory model that allows a Companion to maintain a long-term relation...
Mei Yii Lim, Ruth Aylett, Wan Ching Ho, Sibylle En...
KI
2001
Springer
13 years 9 months ago
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
Frank Schönherr, Mihaela Cistelecan, Joachim ...
TARK
2007
Springer
13 years 11 months ago
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
Thomas Ågotnes, Natasha Alechina
CORR
2006
Springer
120views Education» more  CORR 2006»
13 years 4 months ago
Reasoning About Knowledge of Unawareness
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
Joseph Y. Halpern, Leandro Chaves Rêgo