人工智能原理复习 | 命题逻辑和谓词演算
Posted 叶庭云
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了人工智能原理复习 | 命题逻辑和谓词演算相关的知识，希望对你有一定的参考价值。
文章目录
CSDN 叶庭云：https://yetingyun.blog.csdn.net/
一、前言
数理逻辑思想的起源：莱布尼茨之梦。古典数理逻辑主要包括两部分：命题逻辑和谓词逻辑，命题逻辑又是谓词逻辑的一种简单情形。
逻辑研究的基本内容：
- 语法。语言部分：基本符号集、公式形成规则；推理部分：公理集、推理规则。
- 语义。语法和语义之间的关系：可靠性、完备性。
- 基本问题：逻辑表示下的判定问题（如可满足性）。
二、命题逻辑
联结词（优先级）： ∼ \\sim
以上是关于人工智能原理复习 | 命题逻辑和谓词演算的主要内容，如果未能解决你的问题，请参考以下文章