In this paper, we describe a methodology for reactively revising schedules in response to unexpected events. The approach is based on recognition of constraint conflicts in the existing schedule. Alternative scheduling actions, each offering selective advantages for conflict resolution, are available for resolving these conflicts. We present a model for action selection based on an analysis of ...

Autonomous agents usually plan their actions. Sometimes agents can autonomously construct their plans and just benefit from cooperation, and sometimes they cannot even do without using resources from another. We distinguish two ways to facilitate cooperation by using each others resources. With service-based plan coordination agents offer resources they can produce for others. With request-base...

My current main project concerns the study of the interaction between the theory of operads and genuine equivariant homotopy theory. Briefly, an operad (introduced by May in [13]) consists of a sequence Oˆn of sets/spaces of “n-ary operations” together with Σn-actions and suitable compositions. The main point of operad theory is then the study of the algebras over a fixed operad O, which are o...

access to the right to the highest attainable level of health is a constitutional right that obliges governments and other players to take step to increase all individuals' chances of obtaining good health. at the least, health and education are two crucial requirements for this as well. iran's vision 2025 is going to lead the country to a developed state with the highest rank of economic, scie...

This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cognitive agents. The first approach generates plans before executing them while the second approach interleaves the generation and execution of plans. Both approaches are presented formally and their relation is investigated.