基于自然推演下描述逻辑VL的形式化推理     

王勇红  郑增国  项梅灵 《毕节学院学报》2017,35(3)

描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识.文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的.  相似文献   

基于圆壳区域伸缩的空间知识表示     

聂登国  王勇红  康旺强 《毕节学院学报》2011,29(8):5-11

区域连接演算RCC(region connection calculs)是定性空间推理的重要理论之一,但由于缺乏必要的定量工具,RCC只能描述空间拓扑关系,而不能描述距离、方向等其他空间关系。在RCC理论的基础上,引入区域圆壳概念对区域伸缩加以度量,得出一种以区域为单位的形式化度量方法,来描述区域间的距离关系、方向关系,从而增强RCC的空间关系表示能力,拓展了RCC理论的适用范围。  相似文献   

明清山西盐商与茶商之比较     

王勇红  王勇浩 《自贡师范高等专科学校学报》2008,23(1):19-21

山西商帮是明清时期重要的商人集团,其经营的商品以盐、茶规模最大,两者均为官府严格控制的专卖商品,均能获得垄断利润,因而有许多相似之处。同时,盐商与茶商在兴起的时代背景、经营活动的地域范围、衰落的原因等方面又有明显的相异处。本文就山西盐商和茶商之间的异同作一比较分析。  相似文献   

描述逻辑EVL模拟关系及其性质     

王勇红  ;段高华  ;聂登国 《毕节师范高等专科学校学报》2014,(4):23-27

模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.  相似文献   

乾隆年间河东盐商的食盐生产     

王勇红  王勇浩 《自贡师范高等专科学校学报》2006,21(4):25-29

河东盐商是晋商群体的重要组成部分。本文分析了乾隆年间河东盐商在河东盐业生产过程中的经营情况，着重从数量方面对坐商占有的畦地数量，分布情况，额畦、余畦的变动等方面进行了统计与分析。  相似文献   

论白银资本对明清山西经济发展的影响——以河东盐业为例   总被引：1，自引：0，他引：1  

王勇浩  王勇红 《运城学院学报》2011,29(1):28-32

河东盐池在中国古代是重要的食盐产区,所产食盐销往山西、河南和陕西的一百多个州县。通过河东盐的销售,山西地区相对于河南、陕西形成了地区间的＂贸易顺差＂,由此导致白银长期流入山西,山西地区的白银存量持续增加。白银流入促进了明清山西的经济发展,也是明清晋商辉煌发展的重要原因。  相似文献