退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN108875941A
专利类型发明专利
公开/公告日2018-11-23
原文格式PDF
申请/专利权人 西南交通大学;
申请/专利号CN201710334658.X
发明设计人 徐扬;陈树伟;刘军;何星星;钟小梅;
申请日2017-05-12
分类号
代理机构成都天嘉专利事务所(普通合伙);
代理人蒋斯琪
地址 610031 四川省成都市金牛区二环路北一段111号
入库时间 2023-06-19 07:20:09
法律状态公告日
法律状态信息
法律状态
2018-12-18
实质审查的生效 IPC(主分类):G06N5/04 申请日:20170512
实质审查的生效
2018-11-23
公开
机译: 演绎推理系统,用于响应来自多个系统传感器的信号来解决复杂的命题逻辑问题
机译: 用于获得命题逻辑表示的规则的归纳推理方法
机译:基于格值命题逻辑LP(X)的α自动推理方法
机译:直觉命题逻辑的自然演绎中的面向目标的证明搜索
机译:并行环境中基于网络的演绎数据库简单递归答案评估
机译:医学数据库中的知识发现:基于案例的推理方法。
机译:夏洛克·福尔摩斯的演绎推理方法在医学诊断中的应用
机译:持久的演绎丑闻。命题逻辑真的没有信息吗?
机译:用于基于规则的专家系统的并行推理方法和装置