We model belief change due to noisy sensing, and belief introspection in the framework of the situation calculus. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].

A method to recognize agent’s intentions is presented in a framework that combines the logic of Situation Calculus and Probability Theory. The method is restricted to contexts where the agent only performs procedures in a given library of procedures, and where the system that intends to recognize the agent’s intentions has a complete knowledge of the actions performed by the agent. An original ...

Initially, situation semantics was conceived as essentially synthetic, with a mathematical ontology built up on set theory. Soon after the appearance of [4], however, the authors changed their approach and decided to handle the topic in an analytic fashion, abstracting a mathematical ontology from analyses of natural language use. Situation theory is the name they gave to the underlying mathema...

the present study was conducted to examine the relationship between the self-supervision and the self-efficacy of iranian efl teachers and also the relationship between the self-supervision and the self-efficacy of intermediate adult learners individually. to this end, 40 efl teachers and 55 intermediate adult learners were selected from two branches of kish language institute. in this study, “...

In spite of the ratification Convention on Rights Persons with Disabilities, by majority States, this human category still faces various challenges. The gap between declarative nature equal rights persons disabilities and practical implementation concept equality is especially evident in field access to employment. Although countries, including Kazakhstan, have transposed ideas treatment into n...

BACKGROUND Community health workers (CHWs) are an increasingly important component of health systems and programs. Despite the recognized role of supervision in ensuring CHWs are effective, supervision is often weak and under-supported. Little is known about what constitutes adequate supervision and how different supervision strategies influence performance, motivation, and retention. OBJECTI...

Dyna is an AI architecture that integrates learning, planning, and reactive execution. Learning methods are used in Dyna both for compiling planning results and for updating a model of the eeects of the agent's actions on the world. Planning is incre-mental and can use the probabilistic and ofttimes incorrect world models generated by learning processes. Execution is fully reactive in the sense...

In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. The idea is to replace an initial database by a new set of sentences which reflect the changes due to an action. Unfortunately, progression requires secondorder logic in general. In this paper, we introduce the notion of strong progression, a slight variant of Lin and Reit...