Istituto di Scienza e Tecnologie dell'Informazione     
Saffiotti A., Sebastiani F. Towards a hybrid logic of acquaintance and awarness. In: Seventh Conference of the Society for the Study of Artificial and Simulation of Behavior. (Falmer (University of Sussex), Sussex, 18 - 20 April 1989). Proceedings, pp. 95 - 103. Anthony Cohn, Judith Dennison (eds.). Pitman, 1989.
A (partial) solution to the well-known problem of "logical omniscience" in modal-like logics for knowledge and belief is suggested: it is based on the notion of "awareness of a proposition" and on that of "explicit belief", viewed as "classical" belief modulo awareness. Our formal treatment relies on the idea that an agent is aware of a proposition σ iff he is "capable of attributing a meaning to σ": this idea has lead us to develop a logic for belief where the fact that an agent is aware of a proposition may be characterized in terms of the "terminological content" of the proposition. Following the introduction of the awareness requirement, our notion of explicit belief does not suffer from logical omniscience: in particular, it is not closed with respect to logical equivalence and "valid implication". We argue that this is a useful feature when such logics are applied to e.g. dialogue modelling and, in general, to the specification of intelligent rational agents.
Subject Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional