编写python程序在自然语言推理系统 P 中，构造下面用自然语言给出的推理，编写程序验证推理的有效 性。若小张喜欢数学，则小李或小赵也喜欢数学，若小李喜欢数学，则他特喜欢物理，小张 确实喜欢数学，可小李不喜欢物理，所以，小赵喜欢数学。 算法分析： （1） 设：p:小张喜欢数学,q:小李喜欢数学,r:小赵喜欢数学，s：小李喜欢物理 符号化个命题 （2） 找到前提、结论 （3） 编程验证推理有效性

可以使用Python中的逻辑推理库Pyke来实现这个推理，具体实现步骤如下：

1. 首先安装Pyke库：`pip install pyke`

2. 创建一个Pyke的工程文件夹，例如命名为`my_project`

3. 在工程文件夹中创建一个规则文件，例如命名为`my_rules.krb`，该文件中定义了推理的规则：

// 如果小张喜欢数学，则小李或小赵也喜欢数学
rule likes_math:
    (likes_math["小张"]) == True
    =>
    (likes_math["小李"]) == True or (likes_math["小赵"]) == True

// 如果小李喜欢数学，则他特喜欢物理
rule likes_physics:
    (likes_math["小李"]) == True
    =>
    (likes_physics["小李"]) == True

// 小张确实喜欢数学
rule zhang_likes_math:
    =>
    (likes_math["小张"]) == True

// 小李不喜欢物理
rule li_dislikes_physics:
    (likes_physics["小李"]) == False
    =>
    (likes_math["小赵"]) == True

4. 在工程文件夹中创建一个Python文件，例如命名为`my_program.py`，该文件中定义了推理的输入和输出：

from pyke import knowledge_engine

engine = knowledge_engine.engine(__file__)

def run_inference():
    # 声明事实
    engine.assert_(fact=["likes_math", "小张"])
    
    # 运行推理
    engine.activate('my_rules')
    
    # 获取结论
    result = engine.prove_1_goal('likes_math["小赵"] == True')
    
    # 输出结果
    if result:
        print("小赵喜欢数学")
    else:
        print("小赵不喜欢数学")

5. 运行程序，得到推理结果：

run_inference() # 输出：小赵喜欢数学

通过以上步骤，我们实现了一个简单的自然语言推理系统，并验证了给出的推理的有效性。