人工智能逻辑是指用逻辑方法（如数理逻辑）和逻辑成果研究智能主体（intelligent agent）如何处理知识的理论。人工智能逻辑的研究对象与人工智能研究的对象不同，人工智能逻辑不研究智能主体如何从外部获得知识。
人工智能逻辑的产生来源于人们在计算机中实现（implementation）知识处理的探索。为此必须建立实现知识处理的形式理论。至少在基础研究或者在理论重建的层面上，利用现代逻辑的种种方法和成果来建立上述形式理论成为必要。
处理知识又称知识处理，内容主要包括知识表示、知识反思、知识修正、知识推理。知识推理除了传统意义上的演绎推理、归纳推理和类比推理，还包括常识推理（commonsense reasoning）。常识推理是人类日常生活中获取新知识的最重要手段之一，具有非单调性和信息不完备性。人工智能逻辑即重点在研究常识推理的形式化及刻画。
经过多年发展人工智能逻辑发展了许多种类，比较完善的有缺省逻辑（default logic）、非单调模态逻辑、限定逻辑等！此外，还有一些讨论相似问题，并且在形式上与上述逻辑密切相关的逻辑，如正常条件句逻辑、相信修正逻辑、认知逻辑。还有一些讨论类似问题，但在形式上与上述逻辑的关系更为松散的理论。例如逻辑编程理论、相信修正理论。上述分类并不十分严格，例如逻辑编程理论可以嵌入非单调模态逻辑。由此也可看出人工智能逻辑是一类严格意义上的逻辑（应用逻辑）和一类不严格意义上的逻辑（逻辑的应用）的混合。最早研究人工智能逻辑的是约翰·麦卡锡（John McCarthy），他提出采用逻辑方法来形式化人工智能需要解决的问题。
首页 >
人工智能逻辑
✍ dations ◷ 2025-05-19 17:12:38 #哲学
相关
- 盐酸盐酸，学名氢氯酸（英语：hydrochloric acid），是氯化氢（化学式：HCl）的水溶液，属于一元无机强酸，工业用途广泛。盐酸为无色透明液体，有强烈的刺鼻味，味酸，微辣，具有较高的腐蚀性。浓盐酸（质量百
- 漂白漂白，一般指纺织领域染整工艺过程。漂白的目的是去除天然色素，赋于织物必要和稳定的白度。漂白的主要方法有氧化法和还原法。
- 马佐平马佐平（Tso-Ping Ma，1945年11月－），美籍华裔微纳电子学家，出生于甘肃兰州，籍贯浙江东阳，耶鲁大学Raymond John Wean讲席教授、中华民国中央研究院院士、中国科学院外籍院士。马佐平出
- 风速计风速计是一种测量风速的仪器。通常分为风叶型（风车型）和风杯型。气象站使用的是风杯型的，一般安装在离地10米高的杆子上，四周应空旷。根据一定时间内风杯的转速，可算出平均速度。
- 海洋真菌海洋真菌（marine fungi），或海生真菌，是生活在海洋或潮间带中的真菌。海洋真菌并不是一个分类单元，而是泛指分属于不同分类群，但生长环境均位于海洋或潮间带的多种真菌。绝对海生真
- 格林尼治标准时间+8 ) 刷新格林尼治平均时间（英语：Greenwich Mean Time，GMT）是指位于英国伦敦郊区的皇家格林尼治天文台当地的平太阳时，因为本初子午线被定义为通过那里的经线。自1924年2月5日开
- 多米尼克·亚当斯多米尼克·亚当斯（Dominic Adams，1985年3月17日－）是英国的一位演员和模特。他最著名的角色是在电视剧蛇蝎女佣中饰演Tony Bishara角色。亚当斯出生在布里斯托。
- 阴道隔阴道隔（英语：vaginal septum），是指阴道在发育中出现先天性的分区，其中隔膜可能是横向或纵向的。阴道发育异常是因胚胎发育过程中副中肾管发育受到干扰产生。比如双侧副中肾管会合
- 穆甘平原穆甘平原（阿塞拜疆语: ；波斯语：دشت مغان）是位在伊朗西北部伊朗阿塞拜疆和阿塞拜疆南部之间的平原，阿拉斯河流经该地区，当地的土壤非常肥沃并盖有大量的灌溉渠道。
- 陈怡利陈怡利（1979年1月3日－）魔羯座A型，笔名“女王”，辅仁大学应用美术系，国立政治大学广告研究所毕业。曾任职于百货公司、化妆品业行销公关工作。目前为作家，并身兼一人部落格媒体事业
