形式化推理相关论文
围绕无人机搜索/攻击自主任务推理决策典型想定,针对无人机自主任务推理决策规则中存在的不同输入命题对结论的贡献和影响不同,对......
基于经典逻辑系统中的计量逻辑学，探讨了计量逻辑学中的形式化推理问题。结果表明，在注重数值计算的计量逻辑学中同样存在类似于语构......
