图 书 馆
基于pdl的震级定性推理中的贴近度和距离关系Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL |
|
| 课程网址: | http://videolectures.net/qr09_velasco_cdr/ |
| 主讲教师: | Emilio Muñoz-Velasco |
| 开课单位: | 马拉加大学 |
| 开课时间: | 2009-07-22 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of closeness and distance is introduced in this paper. In doing this, we use some of the advantages of PDL: firstly, we exploit the possibility of constructing complex relations from simpler ones for defining the concept of closeness and other programming commands such as while . . . do and repeat . . . until; secondly, we employ its theoretical support in order to show that the satisfiability problem is decidable. Moreover, the specific axioms of our logic have been obtained from the minimal set of formulas needed in our definition of qualitative sum of small, medium and large numbers. We also present some of the advantages of our approach on the basis of an example. |
| 关 键 词: | 动态逻辑; 定性推理; 编程 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-09-14：lxf |
| 阅读次数: | 72 |