Intelligent Systems for Users' Automated Guidance

Elena Kushnareva (1)

1 CRI - Centre de Recherche en Informatique de Paris 1

Future developments for case management must evolve from the current systems based on rigid, workflow based processes into context-aware, agile dynamic structures. We propose to combine a declarative approach for process design and the use of formal methods to enable a set of automated techniques for process analysis and validation based on model checking and theorem proving. Thus, they improve the level of automated user support allowing maximum run time flexibility. This paper defines a roadmap for a PhD research, aiming at developing the automated guidance provided by intelligent systems. The main idea is to explore formal methods and formal concept analysis to build a new approach for knowledge-intensive process modeling, simulation and analysis. In this paper, we consider the example of an intelligent city operation center.

Mots clés: intelligent systems; formal methods; formal concept analysis; knowledge-intensive processes

Domaines: Théorie et langage formel [cs.FL]; Modélisation et simulation

Elena Kushnareva. Intelligent Systems for Users' Automated Guidance. IEEE Eighth International Conference on Research Challenges in Information Science, Marrakesh : Morocco (2014), May 2014, Morocco. ⟨hal-01061798⟩