background and aims. pemphigus is a chronic autoimmune and vesiculobollous disease that can affect skin and different mucous membrane surfaces. primary manifestations occur in oral cavity in almost 60% of cases. the purpose of the present study was to evaluate the epidemiology of pemphigus in tehran, iran in a 20-year period. materials and methods. a retrospective study was conducted on the rec...

Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects. Recently, KABs have been extended to manage inconsistency, with ad-hoc verification techniques geared towards specific semantics. This work provides a tw...

universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract We deene and study a high-level language for describing actions, more expressive than the action language A introduced by Gelfond and Lif-schitz. The new language, AR, allows us to describe actions with indirect eeects (ramiications), nondeterministic actions, and actions that may be impossibl...

This paper presents a version of the Situation Calculus with improved capabilities in formalizing and reasoning about nondeterministic actions. Instead of describing the eeects of such actions by posting constraints on their possible outcomes , as is typically done in the common Situation Calculus, we provide means of describing actions by the set of their possible total eeects. An important ad...

Action formalisms like the ¤uent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strategies, and to plan. In this paper we extend the ¤uent calculus by a method for belief change, which allows agents to revise their internal model upon making observations that contradict this model. Unlike the existing com...

As an alternative to planning, an approach to high-level agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with some examples. The language includes facilities for prioritizing the execution of concurrent processes, interrupting the execution when certain conditions become ...

Deliberation in highly-dynamic domains such as robotic soccer requires a rich representation language that can deal with continuous change, uncertainty, and multiple agents, among other things. For this purpose we have developed the language ICPGOLOG, a variant of the logic-based action language GOLOG. We show how to specify plans for soccer agents such as playing a double pass in ICPGOLOG and ...