现代逻辑在计算机科学与人工智能中的应用,谓词逻辑在人工智能中的应用

谓词逻辑在人工智能中的应用

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本

(本文共2页)

阅读全文>>

现代逻辑创始于19世纪末叶和20世纪早期，它的主要特征是建立形式语言，并在形式语言的基础上建立逻辑演算系统。正是由于这一特征，积极地促进了20世纪逻辑研究的高度数学化，增强了逻辑研究的深度和广度，并且对整个现代科学如数学、哲学、语言学和计算机科学产生了非常重要的影响。“特别是它在计算机科学与人工智能领域中的重要作用受到了信息科学和逻辑科学研究者的无比关注，并且成为21世纪逻辑学发展的主要动力之一，由此而决定21世纪逻辑学的另一幅面貌。”一阶谓词逻辑是现代逻辑中最为经典的演算系统。这种逻辑演算系统可以利用形式化方法描述认知过程的特征，并利用它们进行知识表达与处理，研制新型软件等，所以具有人工智能的应用前景。本文的目的就是通过分析研究一阶谓词逻辑在人工智能领域中的应用，揭示其应用的优越性和局限性，以期待逻辑学研究者能够做出必要的认知转向，使得谓词逻辑在人工智能的应用中取得新的突破，展望更美好的应用前景。该文共分六部分：第一部分是序言...

(本文共45页)

本文目录 |

阅读全文>>

谓词逻辑是在谓词分析的基础上进行形式化后得出的语言与推理,在人工智能的发展过程中发挥着理论基础的作用。谓词逻辑在人工智能领域...

(本文共2页)

阅读全文>>

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能...

(本文共3页)

阅读全文>>

本文主要以计算机科学为背景,以逻辑学为主线,以科学方法论为视角,全面系统地研讨逻辑学对于计算机科学的应用。逻辑学在计算机科学中的应用既表现在硬件设计方面,也表现在软件处理方面,特别是对形式语言系统的语法语义研究方面。在硬件设计方面,本文讨论命题逻辑及逻辑代数在电路设计中的应用,尝试提出如何设计出最优化的电路;软件处理方面,讨论逻辑学在关系数据库与人工智能中的应用。尤其探讨,谓词逻辑及公理化理论在关系数据库的数据子语言中的应用;以及如何有效地将谓词逻辑应用于人工智能中的知识表示、知识推理;还讨论谓词逻辑方法对构造程序设计语言的应用,以及谓词逻辑在计算机逻辑程序设计语言中的应用。本文最后讨论了形式化方法的重要意义及其缺陷。

(本文共54页)

本文目录 |

阅读全文>>

谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础 ,从计算机系统理想化知识表达法的要求来看 ,谓词逻辑表...

(本文共3页)

阅读全文>>