AI程序的逻辑主要基于 预先设定的算法和模型逻辑进行运算和学习。AI通过这些算法和模型对输入的数据进行处理，以产生输出结果。这些算法和模型通常是基于大量的数据和统计规律构建的，它们可以模拟人类智能的某些方面，如视觉识别、语言理解、决策支持等。
AI的逻辑推理过程可以形式化，通过既定的符号和规则来处理和推导信息，而不涉及对这些信息的真正理解。这与人类思维有所不同，人类思维通常涉及对信息的深层次理解和解释。AI的逻辑推理是基于程序和算法的，它们按照预设的规则进行操作，而不是基于内在的理解或直觉。
AI程序的逻辑还包括一些特定的逻辑系统和逻辑方法，例如Prolog语言及其系统，它使用回溯推理来从给定的事实和规则出发，根据使用者的提问推出答案。
总的来说，AI程序的逻辑是基于算法和模型的，它们通过形式化的逻辑推理过程来处理和推导信息，以实现各种智能任务。尽管AI在某些方面可以模拟人类智能，但它们仍然缺乏真正的理解和直觉，这是目前AI领域需要进一步研究和发展的方向。