💻 computer science
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
यह शोध पत्र मात्रात्मक मोडैलिटीज़ (quantitative modalities) द्वारा प्रेरित थ्रेशोल्ड-आधारित व्यवहार संबंधी दूरियों (behavioural distances) के लिए एक एकीकृत ढांचे को प्रस्तुत करता है, जो यह प्रदर्शित करता है कि द्वि-मान (two-valued) और मात्रात्मक तर्क (quantitative logics) दोनों के लिए विभेदक सूत्रों (distinguishing formulae) को बहुपद समय (polynomial time) में निकाला जा सकता है, एक ऐसा परिणाम जो मार्कोव चेन (Markov chains), मेट्रिक ट्रांजिशन सिस्टम (metric transition systems) और फजी ट्रांजिशन सिस्टम (fuzzy transition systems) जैसे विशिष्ट प्रणालियों के लिए नए कुशल एल्गोरिदम प्रदान करता है।