AI News, Probabilistic bisimulation (Chapter 7) artificial intelligence
- On 19. december 2019
- By Read More
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.