人工智能逻辑

来自术语
跳转至: 导航搜索

    用数理逻辑的方法来研究如何形式化地表示和处理人类思维和推理法则的一门学科。

属性

英文名 logics for artificial intelligence 属于 自动验证最重要的方法之一
成为 研究的热点 中文名 人工智能逻辑
刻画 多agents系统的特征



链接

Zhishi.me http://zhishi.me/baidubaike/resource/人工智能逻辑
http://zhishi.me/hudongbaike/resource/人工智能逻辑