电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题，研究了循环ALCN-Tbox具有模型的条件，指出了Baader文中命题2.9（Let T be a terminology such that each cycle in Gr contains an even number ofnegative ares. Then T is monotone）的错误，并对该命题进行了修改，给出了循环ALCN-Tbox具有不动点模型（最小不动点模型和最大不动点模型）的条件.
描述逻辑是一-种基于对象的知识表示的形式化工具，是一阶谓词逻辑的一个可判定子集。描述逻辑的重要特征是它具有很强的表达能力和可判定性，在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，近年来描述逻辑已成为计算机科学和人工智能的研究热点.
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 机器学习教程之线性模型的详细资料说明 0次下载
- 机器学习的模型评估与选择详细资料说明 0次下载
- 新能源汽车的循环冷却系统的详细资料概述 20次下载
- 如何使用MathType编辑循环小数和除法竖式的详细资料说明 10次下载
- Java的循环语句的详细资料说明 0次下载
- C++程序设计教程之语句的详细资料说明 1次下载
- C++的实验教程之循环结构程序设计的详细资料说明 4次下载
- C语言程序设计教程之循环结构的详细资料说明 12次下载
- 智能型住宅安防报警系统的研究详细资料免费下载 16次下载
- C语言入门教程之循环结构总结的详细资料概述 2次下载
- 电机模型仿真详细资料免费下载 24次下载
- TMS320VC5505 ZCH 边界扫描模型的详细资料概述 5次下载
- TMS320VC5504 ZCH 边界扫描模型的详细资料概述 11次下载
- TMS320C5504 ZCH IBIS Model DSP行为模型的详细资料概述 9次下载
- C5535 ZHH边界扫描模型详细资料概述 4次下载
- C语言for循环的用法和注意事项 1641次阅读
- 汽车IGBT模块功率循环寿命研究 2154次阅读
- WHILE ...ENDWHILE：编程设定当型循环 .EXIT：离开循环,无条件退出循环. 2205次阅读
- while循环 2836次阅读
- 关于Spring的循环依赖问题 1655次阅读
- 固态锂离子电池的详细资料解析 8650次阅读
- RS232接口串口取电电路的详细资料介绍 7872次阅读
- 如何进行PLC控制程序的设计详细资料PPT说明 5753次阅读
- 库卡机器人模拟量输入输出编程的详细资料概述 6623次阅读
- PPT教程之伺服电机及其驱动威廉希尔官方网站 的详细资料讲解 6990次阅读
- 如何设计CEV模型与质量甜点算法详细资料概述 3363次阅读
- PLC工作原理动画详细资料分析包括顺序控制和正反转控制等十八张动图 11.3w次阅读
- 开关电源的正激变换器基本工作原理及元器件如何选择等详细资料概述 1.3w次阅读
- PLC常用基本环节梯形图和详细文字说明详细资料概述 8966次阅读
- 变压器保护的基本要求,保护配置和运行规定的详细资料概述 8494次阅读
下载排行
本周
- 1普中科技HC6800-EM3使用操作手册
- 21.69 MB | 3次下载 | 2 积分
- 2PCB板EMC/EMI的设计技巧
- 0.20 MB | 3次下载 | 免费
- 32024PMIC市场洞察
- 2.23 MB | 2次下载 | 免费
- 4MSP430™闪存器件引导加载程序(BSL)
- 1.45MB | 2次下载 | 免费
- 5PL4807单节锂离子电池充电器中文手册
- 1.36 MB | 2次下载 | 免费
- 6LTH7充电电路和锂电池升压5V输出电路原理图
- 0.04 MB | 1次下载 | 免费
- 7HT2120两节锂电池保护板电路
- 0.22 MB | 1次下载 | 免费
- 8BQ77207EVM用户指南
- 865.23KB | 1次下载 | 免费
本月
- 1XL4015+LM358恒压恒流电路图
- 0.38 MB | 148次下载 | 1 积分
- 2PCB布线和布局电路设计规则
- 0.40 MB | 33次下载 | 免费
- 3智能门锁原理图
- 0.39 MB | 13次下载 | 免费
- 4GB/T4706.1-2024 家用和类似用途电器的安全第1部分：通用要求
- 7.43 MB | 11次下载 | 1 积分
- 5JESD79-5C_v1.30-2024 内存威廉希尔官方网站 规范
- 2.71 MB | 10次下载 | 免费
- 6elmo直线电机驱动调试细则
- 4.76 MB | 9次下载 | 6 积分
- 7WIFI智能音箱原理图完整版
- 0.09 MB | 7次下载 | 10 积分
- 8PC1013三合一快充数据线充电芯片介绍
- 1.03 MB | 7次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935115次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183332次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73806次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
工商网监
评论