| | | |

2021年11月4日

[paper reading][New Generation Computing 1986] A Logic-based Calculus of Events

摘要： New Generation Computing 1986 https://www.doc.ic.ac.uk/~rak/papers/event%20calculus.pdf use formal logic to formalize the notion of time (Horn clause 阅读全文

posted @ 2021-11-04 22:37 minor_second 阅读(34) 评论(0) 推荐(0) 编辑

约束式编程学习笔记[9] 涉及数的不完全求解器

摘要： 6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算？ A: 由于只考察整数和“整数倍”，故用不断复合加法表示乘法。 6. 阅读全文

posted @ 2021-11-04 19:43 minor_second 阅读(94) 评论(0) 推荐(0) 编辑

约束式编程学习笔记[8] 简单的不完全求解器

摘要： 6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示：比如：用hyper-arc consistency能剪掉一些定义域，但是剪了之后的集合阅读全文

posted @ 2021-11-04 14:25 minor_second 阅读(58) 评论(0) 推荐(0) 编辑

约束式编程学习笔记[7] local consistency (3) relational consistency -- the ultimate notion

摘要： 5 Local consistency notions 5.9 Relational consistency Q: relationally $(i,m)$-consistent（后省略relationally）表示一切$m$个约束构成子序列诱导的CSP (\(\mathcal P|\mathc 阅读全文

posted @ 2021-11-04 13:12 minor_second 阅读(66) 评论(0) 推荐(0) 编辑