• 博客园logo
  • 会员
  • 周边
  • 新闻
  • 博问
  • 闪存
  • 众包
  • 赞助商
  • Chat2DB
    • 搜索
      所有博客
    • 搜索
      当前博客
  • 写随笔 我的博客 短消息 简洁模式
    用户头像
    我的博客 我的园子 账号设置 会员中心 简洁模式 ... 退出登录
    注册 登录
 






minor_second

 
 

Powered by 博客园
博客园 | 首页 | 新随笔 | 联系 | 订阅 订阅 | 管理

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 阅读(45) 评论(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 阅读(114) 评论(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 阅读(70) 评论(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 阅读(100) 评论(0) 推荐(0)