Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

As an alternative to planning, an approach to highlevel 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 a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus

Partial-Order Planning with Concurrent Interacting Actions

In order to generate plans for agents with multiple actuators, agent teams, or distributed controllers, we must be able to represent and plan using concurrent actions with interacting effects. This has historically been considered a challenging task requiring a temporal planner with the ability to reason explicitly about time. We show that with simple modifications, the STRIPS action representation language can be used to represent interacting actions. Moreover, algorithms for partial-order planning require only small modifications in order to be applied in such multiagent domains. We demonstrate this fact by developing a sound and complete partial-order planner for planning with concurrent interacting actions, POMP, that extends existing partial-order planners in a straightforward way. These results open the way to the use of partial-order planners for the centralized control of cooperative multiagent systems

Uso de escenarios en la derivación de software

Esta tesis presenta una estrategia en la Ingeniería de Requisitos, denominada SDRES, que intenta abordar temas poco tratados en la práctica real, tales como los cambios constantes en los requisitos, defectos del software originados en los requisitos, el contexto organizacional que rodea al sistema de software y la consideración de requisitos de calidad. Esta estrategia está dirigida por modelos (Léxico Extendido del Lenguaje, Escenarios y Documento de Requisitos) y orientada al cliente, por ello utiliza sus modelos escritos en lenguaje natural como medio de comunicación y elicitación. SDRES tiene en cuenta la calidad de los modelos que produce mediante procesos de verificación y validación. Para cada actividad de la estrategia se presenta un conjunto de heurísticas y recomendaciones. Se encara el tema de evolución y versionado de los modelos, así como distintas modalidades de utilizar la estrategia según la complejidad del problema, el conocimiento sobre el mismo y otras características.The present thesis shows a Requirements Engineering strategy, called SDRES, which proposes to face topics rarely treated in real practice, such as continuous changes in requirements, software defects brought in requirements, the organisational context surrounding the software system and the quality treatment of requirements. This strategy is driven by models (Language Extended Lexicon, Scenarios and Software Requirements Specification) and oriented to the client. Therefore it uses models written in natural language as means of communication and elicitation. SDRES keeps in mind the quality of the produced models by means of verification and validation processes. For each activity of the strategy a set of heuristic and recommendations is presented. The evolution topic and model versioning is treated, as well as different modalities to use the strategy according to the complexity of the problem, the knowledge on the problem and other characteristics.Es revisado por: http://sedici.unlp.edu.ar/handle/10915/9659Facultad de Ciencias Exacta