AI News, Probabilistic bisimulation (Chapter 7) artificial intelligence

1 - Origins of bisimulation and coinduction

Introduction In this chapter,we look at the origins of bisimulation.We showthat bisimulation has been discovered not only in computer science, but also – and roughly at the same time – in other fields: philosophical logic (more precisely, modal logic), and set theory.

In computer science, philosophical logic, and set theory, bisimulation has been derived through refinements of notions of morphism between algebraic structures.

The kind of structures studied in computer science, philosophical logic, and set theory were forms of rooted directed graphs.