Juan Carlos González Moreno

Abstract:

Abstract: La adaptación al espacio europeo de educación superior es un hecho que debe ser asumido por todos y cuyo proceso se está llevando a cabo. Para proceder a esta adaptación será necesaria la adopción de nuevos sistemas pedagógicos apoyados en la utilización de nuevas tecnologías informáticas. En este artículo se ofrece una propuesta basada en el desarrollo dinámico de un portal temático mediante la integración de agentes conversacionales (chatterbots) con bitácoras (blogs). El portal se construye y evoluciona en la propia ventana del navegador del cliente, con base en las preguntas que se formulan, a las contestaciones diseñadas, a los contenidos proporcionados por búsquedas en la red y a aquella que se añade o se puede extraer de las bitácoras vinculadas.

Abstract: El desarrollo de nuevas tecnologías de comunicación ha proporcionado mejores mecanismos de acceso a la información, con unas enormes posibilidades. La implementación de estas tecnologías proporciona un medio ideal para transmitir información en tiempo real, desde cualquier situación geográfica. Uno de los sectores con mayores oportunidades de explotar estas tecnologías es el socio-sanitario. La aplicación de estas nuevas tecnologías para apoyar la práctica clínica, ha dado lugar al nacimiento de un nuevo concepto, e-Health. Este término engloba una variedad de servicios distintos relacionados con el binomio medicina/salud y las TI. Dotar a los transportes sanitarios de una mayor capacidad de atención sobre el paciente es un reto pendiente. Dentro de este contexto nace una plataforma orientada al desarrollo de soluciones de Telemedicina. El modelo de solución propuesto permite el seguimiento a distancia de un servicio móvil de asistencia sanitaria; integrando en él, dispositivos de electromedicina y servicios de videoconferencia.

Abstract: Agent-oriented methodologies are paving the way towards the adoption of agent technology in software industry. However, there are still several issues to address: testing mechanisms, specialized verification methods, a formally defined agent oriented development process, illustrative case studies, or better development tools. This should be considered in a changing context because of innovations in related areas, which are integrated in the agent paradigm. In this paper, we show a coordinated approach to address these needs in the context of a research project, INGENIAS. The purpose of this project is to contribute to the agent-oriented software engineering field by providing, on the basis of a well specified software development process, an open multi-agent systems (MAS) development framework that integrates methods, techniques and tools. The paper will show problems we face in the projects and the solutions we adopt for them.

Abstract: Uno de los retos de los próximos años a nivel de la enseñanza universitaria, es la adaptación al espacio europeo de educación superior. Para llevar a cabo esta adaptación será preciso la adopción de nuevos mecanismos, y la utilización de sistemas pedagógicos apoyados en la utilización de nuevas herramientas de teleaprendizaje. La adopción de este tipo de herramientas no podrá ser costosa en el actual marco de recortes presupuestarios. En este artículo ofrecemos una alternativa (el uso de agentes conversacionales o chatterbots) a los servicios de tutoría virtual más utilizados en la actualidad (FAQs, salas de conversación, foros, blogs, �) y que requieren de una presencia activa del profesor/tutor�

Abstract: The development of applications distributed partly on handheld devices is becoming more and more important. This paper shows the use of mobile agents technology in the development of a distributed system, called SAIPE. It makes easier the reading of user e-mail from different accounts and the searching of documents in Internet with a PDA. SAIPE has been developed following the INGENIAS Agent Oriented Methodology and implemented using JADE-LEAP software framework.

Abstract: The guest editors introduce the monograph and present the papers included in it, that cover some of the most significant aspects of the Software Agents field.

Abstract: Durante la década pasada, la Ingeniería de Software Orientada a Agentes (ISOA � AOSE, Agent-Oriented Software Engineering, en inglés) ha llamado la atención de un elevado número de investigadores procedentes de diversos campos tales como la inteligencia artificial y los sistemas distribuidos. Este interés está motivado por las potenciales ventajas del paradigma de agente, y por la necesidad de integrarla en la práctica de la Ingeniería del Software con objeto de ser aplicable a nivel industrial.

Abstract: The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using applicative rewriting systems as programs and lazy narrowing as the goal solving procedure. We present an extension of CRWL with a polymorphic type system, and we investigate the consequences of type discipline both at the semantic level and at the operational level. Semantically, models must be extended to incorporate a type universe. Operationally, lazy narrowing must maintain suitable type information in goals, in order to guarantee well-typed computed answers.

Abstract: We propose an approach to declarative programmingwhich integrates the functional and relational paradigms by taking possibly non-deterministic lazy functions as the fundamental notion. Classical equational logic does not supply a suitable semantics in a natural way. Therefore, we suggest to view programs as theories in a constructor-based conditional rewriting logic. We present proof calculi and a model theory for this logic, and we prove the existence offree termmodelswhichprovidean adequate intended semantics for programs. We develop a sound and strongly complete lazy narrowing calculus, which is able to support sharing without the technical overhead of graph rewriting and to identify safe cases for eager variable elimination. Moreover, we give some illustrative programming examples, and we discuss the implementability of our approach.

Abstract: Usually people make a visual representation of what they read. This is a fact inherent to their nature. Many efforts have been done in the last years to try to find a direct method to translate a text wrote on a natural language to a graphical representation. Some solutions try to represent mainly a static scene with the objects appearing in the text, also there are few approaches that try to build an animation from the action described in text. But in any case all the approaches found on literature are not reciprocal approaches; that is, if the visual result is not satisfactory another text must be wrote in order to get a better one. Software Engineering and in particular Agent Oriented Software Engineering treat this kind of problematic using model driven techniques over different intermediates models. In this paper such kind of solution is proposed to get not only a visual model of the text wrote, but also to get an intermediate model that could be used to modify the visual model without modify the text and also to propose an alternative narration if necessary. In order to validate the visual model obtained, a previous multi-agent system has been adapted to provide a representation to be run on the Alice System.

Abstract:

Abstract: The philosophy of software development has changed significantly in recent years. Build quality software more quickly is imperative in todays market, specially when it has to meet the demands of consumers. Not long ago a development team could consist of only one member, while today this is unthinkable, since the number of members in the development teams increases with the complexity of the actual issues. Collaborative programming or pair programming is one of the more relevant areas at present in providing efficient solutions to the working groups management, in such a way that their impact on the software development process is indisputable. The main purpose of this document is to gather the most relevant aspects of the collaborative models in a collaborative framework based on the use of software agents. In practice, the proposed framework is designed in a generic manner, allowing its extension to other environments and different domains.

Abstract: Multi-agent Systems are at the moment an important new paradigm in software development. Several methodologies have been proposed for developing systems within this approach. Besides new agile process have been proposed to be used combined with the meta-models of such methodologies. This paper studies how the use of one of those Agent Oriented methodologies following an agile process such as Scrum produces improvements in the time consumed in the development that could shorten the learning time. This may have as outcome the possibility of using smaller groups in development.

Abstract: The study of development processes is a key issue regarding quality of final products and reutilization of process portions or fragments. In this work, the process of a particular methodology for Agent Oriented Development is defined using a standard notation, in particular SPEM 2.0 . This case study shows the suitability of process definition as a starting point for reuse of the development process in the Agent Oriented Software Engineering field. Moreover, the results obtained will permit to design a customizable CASE tool that can fit in any development process previously defined.

Abstract: This paper introduces a work in progress for definition of processes for AOSE methodologies. FIPA Methodology Technical Committee encourages the definition of software engineering process models for Multi-Agent Systems methodologies and recommends the use of Software Process Engineering metamodel (SPEM) defined by the Object Management Group. This paper follows those recommendations for obtaining a systematic method and an editor for describing software engineering process models for Multiagent Systems. The editor has been built by means of the Eclipse Modeling Framework and follows the SPEM standard. Several Agent Oriented processes have defined using the editor, in addition, the method for defining such processes is also addressed in this paper.

Abstract: The last years have been very prolific in the study of methods, methodologies and even development process in the area of Agent Oriented Software Engineering. However, there are two aspects that are not developed sufficiently, the first is the acquisition and establishment of requirements and goals for Multiagent Systems from the descriptions of customers / users. The second is a successful implementation of reverse engineering to implementations undertaken in order to retrieve a detailed design of the application obtained. The concern of this work focuses on the first of these aspects. The proposal applies techniques of natural language processing, throughout the entire lifecycle of multi-system, to obtain a model and improve product required. One noteworthy point of this proposal is that the client is actively involved in the development process in a manner non-attendance. Lastly, the proposal allows maximize obtaining initial models for different projects, minimizing their involvement in this process.

Abstract: One of the key issues in development of Multi-agent System(MAS) is to follow the more suitable development process for a particular problem. This means that development process models must be defined. Definition leads to better process understanding, facilitates process measurement and improvement, and constitutes the basis for automating the process itself. The main goal of this paper is the definition of a process for agent-based development. This definition is based on the Software Process Engineering Metamodel(SPEM) and applied in the definition of the software engineering process of INGENIAS MAS methodology following a SCRUM approach.

Abstract: As in other kinds of software development, the definition of process models in Multi-agent System (MAS) domain has many advantages. Some of these advantages are the better understanding which facilitates process measurement and improvement, and that the definition constitutes the basis for automating the process itself. The main goal of this paper is to provide a proper mechanism for defining agent-based development process models. For achieving this goal, an open-source editor tool and a technique for defining process models with the mentioned tool are presented. Both the editor tool and the technique provide MAS designers with a suitable mechanism for defining process models and are based on the Software Process Engineering Metamodel (SPEM). Although the main goal is to define process models for agent-based development, the proposed tool and technique can define any software process model, because they are based on a general-purpose software process metamodel. The utility of the tool and the technique is also justified, finally, by qualitative comparison with others.

Abstract: There is a general agreement in the fact that Agent Oriented Software Engineering (AOSE) needs development process definition for an accurate process management. The main trends in the field identify process and methodology in order to approach the process definition. This paper focusses in the idea that process and methodology must be considered independently. This means that not only the same process can be used for different methodologies but also that the same methodology can be used following different processes. The most suitable process can be selected by developers depending on several factors such as: human resources available, time restrictions, costs, etc. The previous approach is justified introducing a case study, which shows how different development processes can be applied while the team is following the same methodology (in particular, INGENIAS methodology).

Abstract: In this work an original case study corresponding to a new multiagent system implementation is presented. The built system is a distributed videoconferencing software which is integrated in an e-learning environment. The system provides the user with specific functionalities including storage of data and multiple profile management. It has been developed following a well know multiagent methodology: INGENIAS and implemented using the Java Multimedia Framework. The use of the system in a university domain has yield to promising results. Moreover, the software has been designed in an open way resulting in a portable system, which can be used in other domains different form e-learning such as e-Health-care or e-Business.

Abstract: Research in Agent Oriented Software Engineering involves the integration of different disciplines, from software engineering to artificial intelligence. To demonstrate the breadth of the field, this chapter discusses a number of the research issues involved. The issues range from the definition of a framework for evaluation of agent-oriented methodologies to the integration of other software engineering practices such as the use of software components or the Model Driven Engineering approach. The works discussed involve various activities of the software life cycle: test, verification and validation of multi-agent systems, the application of multi-agent systems for software maintenance and practical multi-agent systems proposals for specific domains, such as the development of multi-agent systems applying the System Product Lines philosophy and the definition of a method based on agent-oriented methodologies for the development of Holonic Manufacturing Systems.

Abstract:

Abstract: The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using applicative rewriting systems as programs and lazy narrowing as the goal solving procedure. We present an extension of CRWL with a polymorphic type system, and we investigate the consequences of type discipline both at the semantic level and at the operational level. Semantically, models must be extended to incorporate a type universe. Operationally, lazy narrowing must maintain suitable type information in goals, in order to guarantee well-typed computed answers. This research has been partially supported by the Spanish National Project TIC98-0445-C03-02 �TREND� and the Esprit BRA Working Group EP-22457 �CCLII�.

Abstract: We propose an approach to declarative programming which integrates the functional and relational paradigms by taking possibly non-deterministic lazy functions as the fundamental notion. Programs in our paradigm are theories in a constructor-based conditional rewriting logic. We present proof calculi and a model theory for this logic, and we prove the existence of free term models which provide an adequate intended semantics for programs. Moreover, we develop a sound and strongly complete lazy narrowing calculus, which is able to support sharing without the technical overhead of graph rewriting and to identify safe cases for eager variable elimination.

Abstract: This paper is a continuation of [10]. It presents soundness and completeness results for a higher-order (HO) functional logic language which has a domain-based declarative semantics and uses conditional narrowing (for applicative, constructor based rewriting systems) as operational semantics. HO-unification is avoided by for bidding lambda-abstractions in the language. However, narrowing must include a mechanism for binding HO logic variables to simple functional patterns built by partial application. A deeper investigation of lazy strategiees and infinite narrowing derivations is foreseen. Research supported by the national project TIC 89/0104 and the ESPRIT BR Working Group N. 6028 CCL

Abstract: Denotational semantics is the usual mathematical semantics for functional programming languages. It is higher order (H.O.) in the sense that the semantic domain D includes [D rarr D] as a subdomain. On the other hand, the usual declarative semantics for logic programs is first order (F.O.) and given by the least Herbrand model. In this paper, we take a restricted kind of H.O. conditional rewriting systems as computational paradigm for functional programming. For these systems, we define both H.O. denotational and F.O. declarative semantics as two particular instances of algebraic semantics over continuous applicative algebras. For the declarative semantics, we prove soundness and completeness of rewriting, as well as an initiality result. We show that both soundness and completeness fail w.r.t. the denotational semantics and we present a natural restriction of rewriting that avoids unsoundness. We conjecture that this restricted rewriting is complete for computing denotation ally valid F.O. results. Research supported by the PRONTIC project TIC 89/0104.

Abstract: This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database that stores numerous motion clips for various characters. We have developed semantic analysis methods to extract information for motion search and scheduling from script-like input texts. Given an input text, the system searches for an appropriate motion clip in the database for each verb in the input text. Temporal constraints between verbs are also extracted from the input text and are used to schedule the motion clips found. In addition, when necessary, certain automatic motions such as locomotion, taking an instrument, changing posture, and cooperative motions are searched for in the database. An animation is then generated using an external motion synthesis system. With our system, users can make use of existing motion clips. Moreover, because it takes natural language text as input, even novice users can use our system.

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract: Aunque cada vez más se utilizan los sistemas multiagente, su aplicación en la metodología sigue siendo escasa. Las metodologías de agentes entre las que se encuentran INGENIAS, Prometheus, Tropos, PASSI, Gaia... Una de las carencias que presentan dichas metodologías, en general, es la cumplimentación de la fase de análisis de una manera fiable. En cuanto a su realización de forma automática actualmente no existen herramientas. En el proceso de análisis de las necesidades y la adquisición de requisitos, han sido publicados varios trabajos en los últimos años. A pesar de esto, han sido escasas las herramientas que tratan de llevar a la práctica los resultados obtenidos en los sistemas multiagente. El objetivo de este trabajo es presentar un método semiautomático para la realización de la fase inicial de análisis para INGENIAS a partir de la descripción en lenguaje natural del problema planteado.

Abstract:

Abstract: The last years have been very prolific in the study of methods, methodologies and even development process in the area of Agent Oriented Software Engineering. However, there are two aspects that are not developed sufficiently, the first is the acquisition and establishment of requirements and goals for Multiagent Systems from the descriptions of customers / users. The second is a successful implementation of reverse engineering to implementations undertaken in order to retrieve a detailed design of the application obtained. The concern of this work focuses on the first of these aspects. The proposal applies techniques of natural language processing, throughout the entire lifecycle of multi-system, to obtain a model and improve product required. One noteworthy point of this proposal is that the client is actively involved in the development process in a manner non-attendance. Lastly, the proposal allows maximize obtaining initial models for different projects, minimizing their involvement in this process.

Abstract: As in other kinds of software development, the definition of process models in Multi-agent System(MAS) domain has many advantages. Some of these advantages are the better understanding which facilitates process measurement and improvement, and the definition of the basis for automating the process itself. The main goal of this paper is to provide a proper mechanism for defining agent-based development process models. For achieving this goal, an open-source editor tool and a technique for defining process models with the mentioned tool are presented. Both the editor tool and the technique provide the MAS designer with a suitable mechanism for defining process models and are based on the Software Process Engineering Metamodel(SPEM). Although the main goal is to define process models for agent-based development, the proposed tool and technique can define any software process model, because they are based on a general-purpose software process metamodel. The utility of the tool and the technique is justified, finally, by qualitative comparison with others.

Abstract: It is described that has been a noticeable increase in the use of agent oriented methodologies. Related to the process of requirements analysis and acquisition, various works have been published in recent years related to some methodologies. Despite this, there are not many proposals which seek to apply these results through its implementation with multiagente systems. This is the main aim of this study: the develop of a system that allows to get an initial architectural model based on INGENIAS from a detailed description in natural language of the system required by means of the processing of almost automatic form of the description of the system to resolving.

Abstract: Integration of Artificial Intelligence (AI) techniques within Learning Management Systems (LMS) represent a little explored field of research. We use this paper to show how these techniques can help students as well as tutors across the learning process within an open source e-learning platform. Especially, we present T-BOT and Q-BOT, a couple of chatter bots capable of tutoring and evaluating students using open platforms as Moodle or Claroline. These bots are developed in Program E, a PHP-base interpreter, and can interoperate with the students through natural language thanks to an AIML brain.

Abstract: This paper introduces a work in progress for definition of AOSE methodology processes. FIPA Methodology Technical Committee encourages the definition of software engineering process models for Multi-Agent Systems methodologies and recommends the use of Software Process Engineering metamodel (SPEM) defined by the Object Management Group. This paper follows those recommendations for obtaining a systematic method and an editor for describing software engineering process models for Multiagent Systems. The editor has been built by means of the Eclipse Modeling Framework and following the SPEM standard. The editor has been used for defining several Agent Oriented process, the method for defining such processes is also addressed in this paper.

Abstract:

Abstract: One of the key issues in development of Multi-agent System(MAS) is to follow the more suitable development process for a particular problem. This means that development process models must be defined. Definition leads to better process understanding, facilitates process measurement and improvement, and constitutes the basis for automating the process itself. The main goal of this paper is the definition of a process for agent-based development. This definition is based on the Software Process Engineering Metamodel(SPEM) and applied in the definition of the software engineering process of INGENIAS MAS methodology following a SCRUM approach.

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract: In this paper we present an Integrated Development Environment based on the Programming Environment that support the Functional Logic languages selected: Curry and TOY. The environment has been built using the Tcl/Tk language. The main feature of this environment is its portability, as we show the environment can support, with little changes, different functional and/or logic languages. Another interesting feature is that it can be programmed in some of those languages (Curry, Haskell, Prolog,. . . ) in a pure declarative way using their graphic user interface libraries. Moreover, the design of the environment has been done taking special care of the reusability aspect, following modern component-based programming approaches.

Abstract:

Abstract:

Abstract:

Abstract: This paper is a continuation of [10]. It presents soundness and completeness results for a higher-order (HO) functional logic language which has a domain-based declarative semantics and uses conditional narrowing (for applicative, constructor based rewriting systems) as operational semantics. HO-unification is avoided by for bidding lambda-abstractions in the language. However, narrowing must include a mechanism for binding HO logic variables to simple functional patterns built by partial application. A deeper investigation of lazy strategiees and infinite narrowing derivations is foreseen. Research supported by the national project TIC 89/0104 and the ESPRIT BR Working Group N. 6028 CCL

Abstract: Denotational semantics is the usual mathematical semantics for functional programming languages. It is higher order (H.O.) in the sense that the semantic domain D includes [D rarr D] as a subdomain. On the other hand, the usual declarative semantics for logic programs is first order (F.O.) and given by the least Herbrand model. In this paper, we take a restricted kind of H.O. conditional rewriting systems as computational paradigm for functional programming. For these systems, we define both H.O. denotational and F.O. declarative semantics as two particular instances of algebraic semantics over continuous applicative algebras. For the declarative semantics, we prove soundness and completeness of rewriting, as well as an initiality result. We show that both soundness and completeness fail w.r.t. the denotational semantics and we present a natural restriction of rewriting that avoids unsoundness. We conjecture that this restricted rewriting is complete for computing denotation ally valid F.O. results. Research supported by the PRONTIC project TIC 89/0104.

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract:

Abstract: