• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Workshop on Soft Computing Applications >Application of paraconsistent annotated logic program EVALPSN to intelligent control/safety verification
【24h】

Application of paraconsistent annotated logic program EVALPSN to intelligent control/safety verification

机译：Paraconsistent Annotated Logic计划中的应用在智能控制/安全验证中的应用

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

I have already proposed a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN), which can deal with conflict resolving and defensible deontic reasoning. These EVALPSN reasoning functions have been applied to various intelligent control and safety verification systems such as pipeline valve control, traffic signal control, railway interlocking safety verification, etc. I introduce these applications of EVALPSN with some simulation systems. Moreover, I have developed EVALPSN to deal with before-after relations between processes (time intervals) The developed EVALPSN has been named bf (before-after)EVALPSN. It has been shown that bf-EVALPSN can be applied to real-time process order control with a simple example of pipeline control. In this lecture, it will also be introduced how to apply bf-EVALPSN to intelligent real-time process order control and safety verification with examples and simulation results.
机译：我已经提出了一个具有强大否定（EVALPSN）的扩展向量逻辑程序的解除讲话逻辑程序，可以应对冲突解决和可辩护的语义推理。这些Remendsn推理功能已应用于各种智能控制和安全验证系统，如管道阀控制，交通信号控制，铁路互锁安全验证等。我介绍了DevicPSN与一些仿真系统的这些应用。此外，我已经开发了DevicPsn来处理进程之间的关系（时间间隔），所发达的evalpsn已被命名为BF（前后）evalpsn。已经表明，BF-EVALPSN可以应用于实时过程顺序控制，其中管道控制的简单示例。在本讲座中，还将介绍如何使用示例和仿真结果将BF-Evalpsn应用于智能实时流程控制和安全验证。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号