作者：乔恩·奥布里
| 站起来，展开自己。
|
哈姆雷特：Francisco-1.1.2 |
在建模智能系统时，无论我们是试图理解自然系统还是设计人工系统，在动态范式和符号范式之间长期存在着紧张关系或权衡。动态模型从物理学中获取线索，使用定量测量和微分方程来模拟系统状态随时间的演化。符号模型使用逻辑方法定性地描述系统及其代理，从而得出系统描述或代理信息状态的逻辑结果。基于逻辑的系统在性质上趋向于静态，这主要是因为我们缺乏微分学的适当逻辑模拟。本报告中列出的工作旨在解决这一不足。
本文发展了命题演算的微分扩展，并将其应用于分析状态用定性逻辑术语描述的动态系统。这里所进行的工作与一个侧重于神经网络系统的并行应用程序相协调，但这些依赖关系的安排是为了使本文成为主要且更完备的工作，以作为网络项目的概念框架和技术背景。
