Booleska-värderade logiker och tillhörande diskreta föreställningar om beteendelikvärdighet sitter oemotståndligt med semantiska modeller med kvantitativa data, som probabilistiska övergångssystem. I detta dokument presenterar vi en pseudometric om en klass av probabilistiska övergångssystem som ger en kvantitativ uppfattning om beteendemässig likvärdighet. Den pseudometriska är de ned via terminal kolgebra av en functor baserat på ett mått på utrymmet för Borel sannolikhet mäter på ett metriska utrymme. Stater med ett probabilistiskt övergångssystem har avstånd 0 om och endast om de är probabilistiska biliknande. Vi karakteriserar också vår distansfunktion i termer av en verkligt värderad modallogik.
En liknande pseudometrisk definierades i REF via en functors terminalkolgebra baserad på ett mått på utrymmet för Borels sannolikhetsmått.
A Behavioural Pseudometric for Probabilistic Transition Systems
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}