【摘 要】
：
为了实现二维基本矩形主方向关系的原关系自动推理,进一步提高对空间方向关系的智能推理与预测,给出了二维基本矩形主方向关系的原关系推理规则,并对其正确性进行了证明。进
【机 构】
：
河南工程学院计算机学院,中南大学计算机学院,哈尔滨理工大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目(61802115),河南省教育厅自然科学研究重点资助项目(18A520023,19A520008)
论文部分内容阅读
为了实现二维基本矩形主方向关系的原关系自动推理,进一步提高对空间方向关系的智能推理与预测,给出了二维基本矩形主方向关系的原关系推理规则,并对其正确性进行了证明。进而,提出了一个二维矩形主方向关系的原关系推理算法,该算法借助队列对解空间进行搜索和剪枝,实现了方向关系矩阵模型下二维矩形主方向关系原关系的自动推理与计算。理论分析和实验验证的结果表明:该算法是正确的、完备的;该算法有效地解决了二维基本矩形主方向关系原关系的自动推理问题,避免了复杂、烦琐的手工推理,增强了模型的自动计算与推理能力,为实现二维基本主方
其他文献
自然保护地是生态建设的核心载体、中华民族的宝贵财富、美丽中国的重要象征,在维护国家生态安全中居于首要地位。建立以国家公园为主体的自然保护地体系,是贯彻习近平生态文
1．资产减值的涵义及确认,处理的基本原则资产减值，我国会计准则和国际会计准则的释义大致相同，即“是指资产的可收回金额低于其账面价值”。资产的可收回金额，新的《企业会计准则
为提高火箭总体运载性能,利用AMEsim软件研究液体火箭交叉输送系统的动态特性,采用模块化思想,通过增压、贮箱、管路输送系统等功能模块,构建了基于AMEsim软件的交叉输送流体
结合大平矿地质条件及井下巷道支护现状，综合现代支护理论研究成果，采用锚、注、索联合支护技术对大平矿16轨道下山进行扩修、改造，取得了良好效果。
本文介绍了无线局域网几种主要的技术,包括:蓝牙技术,IEEE820.11,ETSI的HIPFRLAN2,HomeRF.并简要介绍了两种设计方案及其比较.
<正>今年11月的大银幕上,由肯尼思·布拉纳导演并主演的《东方快车谋杀案》掀起了不小的话题。从笔者身边朋友的观影反应来看,几乎可以划分为两大阵营:但凡那些对原作剧情滚
一、全国以粮食为原料的深加工现状。中国是小麦生产大国．同时也是消费大国。北方农民主要种植小麦．国民粮食消费的四分之一来自小麦。2004-2005年度中国粮食生产与消费比重中：
"问世间是否此山最高,在我心得不到比你好",也许这句歌词最能道出越野车迷对奔驰G级的真实情感。经典全能型越野车奔驰G级迎来了它的25岁生日——在这段漫长的岁月里,始终如
【正】 人物简介陈俊杉是亚洲知名赛车手,拥有资深的赛车经历、丰富的比赛经验、再加上多年的代理开发改装部品经验,陈俊杉所提出的改装观点绝对够份量。再说,陈俊杉HONDA的
【正】 Webber将加入Willianms车队 Jaguar主力车手Webber明年将成为Williams车队的车手。有消息说Webber将在1月开始参与Williams的测试计划,但由于Webber仍与Jaguar车队有