Higher-Order Arrows for Path-Dependent Many-Valued Systems

doi:10.1007/978-3-031-94748-3_5

2026-01-01

PRE

Sérgio Marcelino *

DOI：10.1007/978-3-031-94748-3_5

原文链接

原文求助

摘要

En 中文

随着我们对关键自动化系统依赖的增长，建模和分析其复杂行为的能力变得越来越重要。Dov Gabbay关于通过高阶箭头（即开关）在反应图上表示路径依赖性的思想，为建模和理解广泛的反应系统提供了一个统一框架。基于先前工作，本文回顾并扩展了这一方法到更广泛的背景，允许使用多值基关系。这意味着作为穿过箭头效应的基关系变化，可以取任意集合上的值，而不仅仅是开和关。我们报告了多值开关图在捕获反应性方面的表达能力，以及它们如何简洁地表示重要的反应系统类别，包括包含模糊或概率元素的系统。

Keyword:

Reactivity

Higher-Order Arrows

Many-Valuedness

Fuzzy Logic

Probabilistic Models

Path-Dependency

Switch Graphs

Higher-Order Markov Chains