Jul, 2023

基于球体系统的两级可信度限制修订系统

TL;DR本研究提出了基于Grove的球系统的两级可信度有限修订运算的构造,并对这些运算进行了公理化描述。