Preface

Charles Pecheur, Brian Williams
2006 Electronical Notes in Theoretical Computer Science  
Exploration of very large search spaces is at the heart of many disciplines of computer science and engineering, and formal verification and artificial intelligence in particular. On one hand, model checking (MC) is used to automatically verify logical properties over a model of a system, and MC procedures for many classes of models and logics of interest have been efficiently automated and successfully applied to a broad range of real-size applications in the last decade. These recent advances
more » ... have lead to a growth of interest in the use of MC principles and tools in Artificial Intelligence (AI). In the meantime, the AI community has had a long and impressive line of research in developing and improving search algorithms over very large state spaces under a broad range of assumptions. MC researchers are interested in leveraging this vast body of knowledge, as a way to mitigate the state-space explosion problem. Under a slightly different perspective, there is also a demand for innovative verification approaches, such as model checking, for AI applications. This is becoming a critical need, as AI technologies are increasingly considered for safety-critical applications such as space missions. AI software typically features unconventional architectures and requirements that ask for specific verification solutions. All these trends call for an increased dialogue between the AI and MC communities. The purpose of the MoChArt workshop series is therefore to bring together researchers with an interest in both MC and AI. The goals are to tease out common themes and differences, identify common problems and their solutions, share experiences with the applicability of techniques from one field to problems from the other, and to identify the key issues to be addressed in increasing the convergence between MC and AI. The workshop welcomes submissions on all ideas, research, experiments and tools that relate to both MC and AI fields. MoChArt '05 follows on two very lively and productive editions: MoChArt
doi:10.1016/j.entcs.2005.07.022 fatcat:rjb3fyyfofgdtczj3lu6orvyeq