We describe a BDI (Belief, Desire, Intention) approach and architecture for a conversational virtual companion embodied as a child’s Toy. Our aim is to support both structured conversation-based activities (e.g., story-telling, collaborative games) as well as more free-flowing, engaging dialogue with variation and some unpredictability. We argue that a goal-oriented approach to the agent’s conv...

We report our findings on the properties of Flagg and Friedman’s translation from Epistemic into Intuitionistic logic, which was proposed as the basis of a comprehensive proof method for the faithfulness of the Gödel translation. We focus on the propositional case and raise the issue of the admissibility of the translated necessitation rule. Then, we contribute to Flagg and Friedman’s program b...

This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We rst develop matrix as well as Kripke style semantics for those logics. Then, by extending the Godel-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting...

As people age, physical and mental abilities begin to degenerate. This often leads to disabilities. Many family members may not always be able to help the elderly, and home medical care can be discouragingly expensive. Currently, there are existing agencies that provide companionship services for the elderly by sending hired staff to the homes of elderly people who choose to live independently....

Resistive companion (RC) modeling is an easy-to-use approach for electric circuit simulations. With a RC numerical solver, simulations of complex electric systems can be achieved based on RC models. In this study, the construction of RC battery models is investigated. A general battery model and a nickel±metal hydride cell model have been built. Simulations of RC battery models on virtual test ...

In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in λ-calculus, the ”call by value” in a context of a ”call by name”. J.L. Krivine has shown that, using Gődel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extensio...

In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the maintenance of relationships with our peers and it is grounded by cognitive features of memory. Aiming at creating agents that sustain long-term interactions, we developed MAY, a conversational virtual companion that gathers m...

This paper presents a qualitative study conducted to explore perceptions, attitudes and expectations for a virtual assistive companion designed to supplement human caregiving and facilitate an improved quality of life and long-term health benefits for older adults. The study was conducted adopting a human-centred approach; employing focus groups and individual interviews with older adults, prof...

In 1990, J.L. Krivine introduced the notion of storage operator to simulate ”call by value” in the ”call by name” strategy. J.L. Krivine has shown that, using Gődel translation of classical into intuitionitic logic, we can find a simple type for the storage operators in AF2 type system. This paper studies the ∀-positive types (the universal second order quantifier appears positively in these ty...