只为小站
首页
域名查询
文件下载
登录
人工智能
次协调逻辑推理系统
本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理,系统自动识别是何种类型推理。
注解命题和注解谓词的推理可以解决一般的推理中的不协调问题(即系统中存在矛盾)。
2022-05-19 15:58:50
268KB
次协调逻辑推理系统
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于STM32的FFT频谱分析+波形识别
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
中国地面气象站观测数据2000-2021
RentingSystem.rar
西门子逻辑控制设计开发_3部10层
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
云视通端口扫描器.rar
pytorch实现RNN实验.rar
android开发期末大作业.zip
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
python大作业--爬虫(完美应付大作业).zip
C4.5决策树算法的Python代码和数据样本
IBM CPLEX 12.10 学术版 mac操作系统安装包
知网情感词典(HOWNET)
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
最新下载
Opencv 视频转化为图片
opencv逐帧读取视频转存jpg,一件运行exe
OpenCV获取视频的每一帧并保存为.jpg图片
华为_Mate 9 Pro_用户手册_LON-AL00_01_中文.pdf
cg mapmaster
See4CGW 魔力图档查看工具
Amplify Shader Editor v1.9.1.5
中国城市坐标和铁路站点坐标
二阶导纳系统simulink完整仿真
Deep-Reinforcement-Learning-With-Python:使用OpenAI Gym和TensorFlow结合广泛的数学知识来掌握经典RL,深度RL,分布式RL,逆RL等
其他资源
SM2加解密算法代码实现
计算机科学与技术专业生产实习报告
图像边缘检测7种算子代码
JavaWeb设计城市公交查询系统(报告)
EnableFlash.zip
orcad pspice 9.2 下载地址 + 破解工具 + 元件库
ARM Sram Compiler
org.apache.http.httpentity jar包-系列jar包
Kingdom Rush(皇家守卫军)完整游戏素材
[epub]Clean Architecture
数字图像处理-冈萨雷斯-素材原图
小米盒子imx6版本原理图和pcb
南京理工大学模式识别与图像分析考博试题
ssh 投票系统
pytorch-1.7.1-py3.8_cuda11.0.221_cudnn8.0.5_0.tar.bz2
EVPlayer2.zip
必修3《瓦尔登湖》课件.ppt
灰色系统分析方法.ppt
学习java-源码
elementor-pro-2.6.3.zip
Exam Ref 70-487 Developing Windows Azure and Web Services (MCSD).zip
visual c++在桌面上建立类似我的电脑和回收站的图标.zip
QQUI设计模板
嵌入式系统PPT