技术栈
数理逻辑
nju_spy
1 个月前
人工智能
·
机器学习
·
数理逻辑
·
序贯覆盖
·
规则学习
·
ripper
·
一阶规则学习
周志华《机器学习导论》第 15 章 规则学习（符号主义学习）
目录1. 基本概念2. 序贯覆盖3. 剪枝优化3.1 预剪枝：早停指标3.2 后剪枝 -- REP \ IREP \ IREP* \ RIPPER
martian665
1 年前
人工智能
·
数理逻辑
·
推理
·
决策系统
【人工智能离散数学基础】——深入详解数理逻辑：理解基础逻辑概念，支持推理和决策系统
数理逻辑（Mathematical Logic）是数学的一个分支，研究形式逻辑系统及其应用。它不仅为数学提供了严谨的基础，还在计算机科学、人工智能（AI）、哲学等领域中发挥着重要作用。数理逻辑的核心在于形式化推理和证明，支持复杂的推理和决策系统的构建。本文将深入探讨数理逻辑的基础概念，解析其在推理和决策系统中的应用，并通过示例代码帮助读者更好地理解这些概念。
xuchaoxin1375
2 年前
离散数学
·
数理逻辑
·
命题公式等值演算
DS@命题公式等值演算@常用等值式模式
A ⇔ B A\Leftrightarrow{B} A⇔B表示的是等价式命题 p p p: A ↔ B A\leftrightarrow{B} A↔B是一个重言式
xuchaoxin1375
2 年前
离散数学
·
数理逻辑
DM@数理逻辑@命题公式及其赋值@真值表@公式分类
DM@数理逻辑@命题公式及其赋值@真值表@公式分类若公式 A A A是单个命题变项,则 A A A称为0层公式
我是有底线的