case presentation a 30-year-old male patient with a history of severe, throbbing, constant pain in the lower mandibular molars was referred to the department of endodontics of hamedan dental university. the patient’s medical history was noncontributory. the buccal object rule (same-lingual opposite-buccal technique) confirmed the additional root as a distolingual root (radix entomolaris). follo...

abstract. natural populations of carpinus orientalis mill. shrub lands occur mainly in high and middle altitudes of the hyrcanian forests, n. iran, particularly on steep rocks and forest outcrops. there are some discrepancies on the intra-specific delimitation of this important woody species. the aim of the current study was to examine the anatomical variation of stems and leaves of sixteen pop...

Background: The valgus cut angle (VCA) of the distal femur in Total Knee Arthroplasty (TKA) is measured preoperativelyon three-joint alignment radiographs. The anatomical axis of the femur can be described as the anatomical axis of thefull length of the femur or as the anatomical axis of the distal half of the femur, which may result in different anglesin some cases. During TKA, the anatomical ...

Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy...

This paper presents a logical approach to formalization of some aspects of multi-agent systems in an incompletely known world. The contribution on this regard is as follows. We formalized reasoning about concurrent actions inside the situation calculus framework which has the suuciently clear and well-understood semantics to express diierent aspects of agent theory. Conclusions can be drawn by ...

We propose a simple relaxation of Reiter’s basic action theories, based on fluents without successor state axioms, that accommodates incompleteness beyond the initial database. We prove that fundamental results about basic action theories can be fully recovered and that the generalized framework allows for natural specifications of various forms of incomplete causal laws. We illustrate this by ...

Obligation change raises the “frame problem” which is to characterise what obligations remain unchanged after an action has been performed. Many general solutions have been proposed but even if they are attractive from a thoretical point of view they have practical draw-

This paper examines the semantics of a group of logical techniques, used by the Artificial Intelligence community, and which are fundamental for circumscriptionbased approaches to the situation calculus. At first sight, this calculus appears to be an operationalised version of David Lewis’ account of causal reasoning: there are items – here called ‘situations’ – which are analogous to Lewis’ po...

We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to more compact and modular basic action theories (BATs) for reasoning about actions than currently possible. We compare our representation with Reiter’s BATs and prove that our representation inherits all useful propert...

This article considers defeasible beliefs in dynamic settings. In particular, we examine the belief projection problem: what is believed after performing an action and/or receiving new information? The approach is based on an epistemic variant of Reiter’s situation calculus, where actions not only have physical effects but may also provide new information to the agent. The preferential belief s...