A virtual agent may obviously benefit from having an up-to-date model of his environment of activity. The model may include actual users’ profiles, a dynamic environment characteristic or some assumptions being accepted by default. However, the agent doesn’t have to stick to one model only, he can possess a set of complementary beliefs, both learned and assumed. A hierarchy of beliefs for an e-...

In this demonstration, we bring the online selling process closer to the customer experience in a retailing store. For this purpose, we demonstrate a virtual selling agent that is proactive and adaptive. Our proactive dialogical agent initiates the dialogue and drives the inquiring process for collecting information in order to make relevant proposals. Moreover, we will see that our virtual sel...

In this paper a logic of capabilities is introduced. We start by defining a language in which not only knowledge and actions of agents can be expressed, but also the abilities. The semantics for this language is given by extended Kripke models. Equivalence transformations on actions are defined in such a way that equivalent actions have equivalent results and that the abilities of an agent are ...

We reiterate that geological observations do not require Grand Canyon carving coeval with Colorado River integration. (U-Th)/He data from the western canyon, totaling 29 reproducible analyses from six samples and two labs, compellingly support an ancient canyon. Three dispersed analyses from one anomalous sample do not refute this conclusion, nor do the claimed shortcomings of our modeling have...

Flowers and Farley (Reports, 21 December 2012, p. 1616; published online 29 November 2012) use thermochronometry to propose that the western paleo–Grand Canyon was nearly as deep 70 million years ago (Ma) as today. However, lithologies, facies relations, geomorphology, and paleotopography of Miocene interior-basin deposits near the mouth of the Grand Canyon show that no paleocanyon existed in t...

For an agent to be able to rely on a plan, he must know both that he is physically capable of carrying out the physical actions involved, and that he knows enough to carry out the plan. In this talk, we advance and discuss new de nitions of \knowing enough to carry out a plan", for the case of a single agent carrying out a sequence of primitive actions one at a time. We consider both determinat...