【论文】求解爱因斯坦谜题的一种形式系统及推理方法_百度文库

【论文】求解爱因斯坦谜题的一种形式系统及推理方法_百度文库

瀏覽:1454
日期:2024-07-09
求解爱因斯坦谜题的一种形式系统及推理方法_专业资料。针对求解爱因斯坦谜题的 现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ ......看更多