The aim of this paper is to present a first order formalization of the cognitive mechanisms which allow a listener to form a "mental image" of a scene incompletely and ambiguously described (for instance by means of natural language sentences). In particular we are faced with the problem of imagining all the objects (probably) present in an inferred environment till a three-dimensional representation of the space enveloped by the current (inferred) environment. In this paper, for lack of space, the formal system is not entirely described (a technical report with the complete formalization is forthcoming), but we are more focused on those mechanisms of reasoning "by default" which allow humans to reach conclusions even if their knowledge is largely incomplete. © 1986.
A first order theory of common sense object positioning
Giunchiglia, Fausto
1986-01-01
Abstract
The aim of this paper is to present a first order formalization of the cognitive mechanisms which allow a listener to form a "mental image" of a scene incompletely and ambiguously described (for instance by means of natural language sentences). In particular we are faced with the problem of imagining all the objects (probably) present in an inferred environment till a three-dimensional representation of the space enveloped by the current (inferred) environment. In this paper, for lack of space, the formal system is not entirely described (a technical report with the complete formalization is forthcoming), but we are more focused on those mechanisms of reasoning "by default" which allow humans to reach conclusions even if their knowledge is largely incomplete. © 1986.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
