有序论域中近似蕴涵的逻辑
机器人学
2019-03-15 v6
摘要
近似蕴涵逻辑(LAE)是经典命题演算的分级对应物，可推导出仅近似正确的结论。这是通过为可能世界的基本集合配备相似关系实现的。然而，在应用中使用该逻辑时必须接受一不利之处：即在 LAE 中无法以合取方式组合结论。为克服此缺陷，本文提出对 LAE 的修正，在语义层面上为底层世界集合额外赋予序结构。所选框架旨在顾及潜在应用。
引用
@article{arxiv.1808.10313,
title = {ROI-based Robotic Grasp Detection for Object Overlapping Scenes},
author = {Hanbo Zhang and Xuguang Lan and Site Bai and Xinwen Zhou and Zhiqiang Tian and Nanning Zheng},
journal= {arXiv preprint arXiv:1808.10313},
year = {2019}
}
备注
Submitted to IROS 2019