Action Ontologies, Natural Actions and Interactions

We introduce Interaction Calculus (IC), a monotonic action logic that could be used to express concurrency, rami…cations, quali…cation constraints, natural actions and interactions. The novel elements of IC are action ontologies and interactions. Action ontologies structured by subsumption hierarchy allow us to design a new solution of quali…cation problem for concurrent actions. We attempt to provide a relatively complete classi…cation of top action categories. We consider classical agent’s actions, natural actions and interactions. The later are complex patterns of concurrent actions that allow coarse description of …ne grained processes where possible outcomes of the complex process is determined by some well de…ned indicators. We demonstrate that interactions play distinct and important roles in common sense reasoning about complex dynamic