constraint algebras:关于时间空间等的定性推理的代数 源码

重要说明:我已经用Python重写了以下代码,并扩展了其功能。 参见 约束代数 关于时间,空间等的定性推理的代数。 笔记: 该代码写于1990年代初期,此后仅使用Armed Bear Common Lisp(ABCL)进行了部分测试。 测试的部分似乎工作正常。 但是,它似乎不适用于Steel Bank Common Lisp(SBCL)。 截至2020年11月,此代码的更新版本正在开发中,并且即将使用Python完成 此处的代码用于编写以下文章(副本位于此存储库的“ docs”文件夹中): “时间间隔,点和分支时间” ,Alfred J. Reich,时间94:时间表示和推理国际研讨会,1994年。 摘要:本文扩展了艾伦的区间代数,以包括点和左或右分支时间。 分支时间代数每个包含24个关系:Allen原来的13个关系,由于包含点而导致的另外5个关系,以及由于包含分支时间而引起的6