能力和知识:从认识系统的过渡系统到标记的Stit模型
Alexandra Kuncová1, Jan Broersen1, Hein Duijf1,2,3
1Department of Philosophy and Religious Studies, Utrecht University, Utrecht, The Netherlands.
概括
这项研究区分了因果和认识能力,展示了如何在不知道如何的情况下保证结果. 它将认识论过渡系统映射到标记的Stit模型中,展示后者.
科学领域:
- 正式的认识论和逻辑学.
- 人工智能和多代理系统
- 行动和能力的哲学.
背景情况:
- 在理解能力方面,区分知道*一个人可以实现一个目标和知道*如何*实现它至关重要.
- 因果能力是指拥有带来结果的力量,而认识能力则与知道实现它的手段有关.
- 现有的模拟能力的形式主义往往难以捕捉这种细微的区别.
研究的目的:
- 为了正式建模和区分因果和认识能力.
- 建立认识转型系统和表示能力的标记型模型之间的对应.
- 为了证明标记合逻辑在认识系统过渡系统上的增强表达力.
主要方法:
- 利用认识的过渡系统来表示知识和行动的状态.
- 采用标记 (STIT) 模型,这是战略能力的形式主义,以捕捉代理和控制.
- 开发认识论过渡系统的语言和结构之间的映射和标记的Stit模型.
主要成果:
- 建立了一个正式的框架,成功地模拟了能力的因果和认识概念.
- 在认识系统过渡系统和标记的Stit模型之间有很强的对应性.
- 扩展的标记合逻辑被证明比认识论过渡系统的逻辑更具表现力.
结论:
- 该研究提供了一种统一的方法来理解形式逻辑中不同类型的能力.
- 这些发现有助于开发人工智能中更复杂的代理和知识模型.
- 标记模的增强表达力为分析战略推理和控制提供了新的可能性.
相关概念视频
Classification of Systems-II
134
Continuous-time systems have continuous input and output signals, with time measured continuously. These systems are generally defined by differential or algebraic equations. For instance, in an RC circuit, the relationship between input and output voltage is expressed through a differential equation derived from Ohm's law and the capacitor relation,
134
Classification of Systems-I
169
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
169
Stability
92
The time response of a linear time-invariant (LTI) system can be divided into transient and steady-state responses. The transient response represents the system's initial reaction to a change in input and diminishes to zero over time. In contrast, the steady-state response is the behavior that persists after the transient effects have faded.
The stability of an LTI system is determined by the roots of its characteristic equation, known as poles. A system is stable if it produces a bounded...
The stability of an LTI system is determined by the roots of its characteristic equation, known as poles. A system is stable if it produces a bounded...
92
Linear time-invariant Systems
216
A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
216
BIBO stability of continuous and discrete -time systems
348
System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system....
348
First Order Systems
83
First-order systems, such as RC circuits, are foundational in understanding dynamic systems due to their straightforward input-output relationship. Analyzing their responses to different input functions under zero initial conditions reveals significant insights into system behavior.
When a first-order system is subjected to a unit-step input, its response is characterized by its transfer function. By applying the Laplace transform of the unit-step input to the transfer function, expanding the...
When a first-order system is subjected to a unit-step input, its response is characterized by its transfer function. By applying the Laplace transform of the unit-step input to the transfer function, expanding the...
83


