The structured dialog is an important concept as it’s natural, for a user to break down a main goal into several sub-goals. Meanwhile, no architecture model permits the systematic design of a system taking into account such a structured dialog. In previous works, we described a new architecture model allowing this and built a library that permits a designer to create a graphical interactive app...

Despite decades of research, the takeup of formal methods for developing provably correct software in industry remains slow. One reason for this is the high cost of proof construction, an activity that, due to the complexity of the required proofs, is typically carried out using interactive theorem provers. In this paper we propose an agent-oriented architecture for interactive theorem proving ...

Another component in Pattern-Oriented and Model-Driven Architecture (POMA) is the concept of model generation. The generation code of models is the process of creating a source code from a model using generation rules. In this paper, we present the generation rules that are used to support the automated code generator of POMA architecture to generate the source code of the entire interactive sy...

We are developing mmGrid (Multimedia Grid) as an extensible middleware architecture supporting multimedia applications in a grid computing environment. Our vision is to provide support for interactive applications from the following domains: graphics, visualization, streaming media and tele-immersion. The initial deployment will be within an enterprise as a mechanism for provisioning computing ...

Façade is an artificial intelligence-based art/research experiment in electronic narrative – an attempt to move beyond traditional branching or hyper-linked narrative to create a fully-realized, one-act interactive drama. Integrating an interdisciplinary set of artistic practices and artificial intelligence technologies, we are completing a three year collaboration to engineer a novel architect...

This article formalizes the claim that interactive finite computing agents are more expressive than Turing machines. The impact of models of interaction on Church’s thesis and Godel’s incompleteness result is explored. The evolution from algorithmic to interactive models of computation in computer architecture, software engineering, and AI is considered in a final section.

Following the idea of improvisational theater, we built a multi-agent system where multiple users can experience an interactive drama from different perspectives. Depending on the roles that the users are given in advance, the situation is perceived in various ways and interaction possibilities are directed according to the assigned role. The computer-controlled agents’ behavior needs to be hig...

Learning is more than knowledge acquisition; it often involves the active participation of the learner in a variety of knowledgeand skills-based learning and training activities. Interactive multimedia technology can support the variety of interaction channels and languages required to facilitate interactive learning and teaching. A conceptual architecture for interactive educational multimedia...

The multi agent system is one of the emerging trends being used today and the application of multi-agent systems is spreading in almost every field. It can provide better solutions to very complex and restrictive system. Here in this paper, we propose a new Multi agent based Architecture named I-MBLS (Interactive Multi-Agent Based Learning System) that we have designed for distance learning on ...