This is a summary of the thesis entitled “Cognitive Agent Programming: Semantics and Logics”.

With the Logic of Demonstratives (LD), David Kaplan defines a new formal approach for indexical languages (languages containing expressions as ‘I’, ‘here’, ‘now’), introducing a double indexing into the definition of satisfiability and distinguishing the content and the character of an expression. In particular, the meaning of an indexical is provided by an ad hoc index which depends on the (ob...

Semantics is a part of linguistic by which it can be analyzed the meaning of the words and sentences of a text and identified the part of speech with regard to semantics. This is a descriptive-analytic research and it deals with studying the meaning of ‘promise’ in the Holy Quran based on principles of semantics with a collocation approach by library methodology. Also, by virtue of ...

We present a commonsense, qualitative model for the semantic grounding of embodied visuo-spatial and locomotive interactions. The key contribution is an integrative methodology combining low-level visual processing with high-level, human-centred representations of space and motion rooted in artificial intelligence. We demonstrate practical applicability with examples involving object interactio...

Translation, by Larry Marks, from Sémantique et recherches cognitives, 2e édition corrigée et augmentée, Presses Universitaires de France, octobre 2001, 272 p.