用python解决归结反演的问题

2024-02-05 11:20

本文主要是介绍用python解决归结反演的问题,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

用python解决归结反演的问题

  • 一、实验目的
  • 二、实验思路
  • 三、代码及注解

一、实验目的

在这里插入图片描述

二、实验思路

第一步:先将子句集转换为数字表示,这样利于判断归并,相加为0即可
第二步:从子句集中取出2个进行归并判断
第三步:完成判断后进行移除数据和查重处理,然后将新子句集加入总子句集中
第四步:判断总子句集中的最后一个元素是否为空,为空的话证明归结成功

三、代码及注解


# 非用字符~表示,析取用大写v表示 a=in put("请输入子句集:")X=[ ]
X=[]
a = input("请输入子句集:")
while a != "0":x = a.split("V")for i in range(len(x)):if x[i] == "P(A)":x[i]=1elif x[i] =="P(B)":x[i]=2elif x[i] == "P(C)":x[i]=3elif x[i] == "~P(B)":x[i]=-2elif x[i] == "~P(A)":x[i]=-1elif x[i] == "~P(C)":x[i]= -3X.append(x)a = input("请输入子句集:")
print(X)# 对加入的归并后产生的子句集列表进行去重
def doubleRemove (o=[]):length1 = 0while length1 != len(o):length1 = len(o)for i in range(len(o)):if i< len(o):for j in range(i+ 1 ,len(o)):if j < len(o):if o[i]==o [j]:o.remove(o[i])return o# 从中总的子句集列表中取出2个子句集,判断是否能够去重
def guiJie (s=[], q=[]):length3 = len(s + q)for i in s:for j in q:if i + j == 0:s.remove(i)q.remove(j)if length3 != len(s + q):return doubleRemove(s + q)else:return 0# length为X的长度
length = 0
while length != len(X):length = len(X)for i in range(len(X)):for j in range(i + 1, len(X)):return_value = guiJie(X[i], X[j])if return_value != 0:X.append(return_value)doubleRemove(X)if not X[-1]:print("推理成功")
else:print("推理失败")

这篇关于用python解决归结反演的问题的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/680747

相关文章

Python实现Word转PDF全攻略(从入门到实战)

《Python实现Word转PDF全攻略(从入门到实战)》在数字化办公场景中,Word文档的跨平台兼容性始终是个难题,而PDF格式凭借所见即所得的特性,已成为文档分发和归档的标准格式,下面小编就来和大... 目录一、为什么需要python处理Word转PDF?二、主流转换方案对比三、五套实战方案详解方案1:

解决hive启动时java.net.ConnectException:拒绝连接的问题

《解决hive启动时java.net.ConnectException:拒绝连接的问题》Hadoop集群连接被拒,需检查集群是否启动、关闭防火墙/SELinux、确认安全模式退出,若问题仍存,查看日志... 目录错误发生原因解决方式1.关闭防火墙2.关闭selinux3.启动集群4.检查集群是否正常启动5.

idea Maven Springboot多模块项目打包时90%的问题及解决方案

《ideaMavenSpringboot多模块项目打包时90%的问题及解决方案》:本文主要介绍ideaMavenSpringboot多模块项目打包时90%的问题及解决方案,具有很好的参考价值,... 目录1. 前言2. 问题3. 解决办法4. jar 包冲突总结1. 前言之所以写这篇文章是因为在使用Mav

基于Python Playwright进行前端性能测试的脚本实现

《基于PythonPlaywright进行前端性能测试的脚本实现》在当今Web应用开发中,性能优化是提升用户体验的关键因素之一,本文将介绍如何使用Playwright构建一个自动化性能测试工具,希望... 目录引言工具概述整体架构核心实现解析1. 浏览器初始化2. 性能数据收集3. 资源分析4. 关键性能指

使用Python的requests库调用API接口的详细步骤

《使用Python的requests库调用API接口的详细步骤》使用Python的requests库调用API接口是开发中最常用的方式之一,它简化了HTTP请求的处理流程,以下是详细步骤和实战示例,涵... 目录一、准备工作:安装 requests 库二、基本调用流程(以 RESTful API 为例)1.

Python清空Word段落样式的三种方法

《Python清空Word段落样式的三种方法》:本文主要介绍如何用python-docx库清空Word段落样式,提供三种方法:设置为Normal样式、清除直接格式、创建新Normal样式,注意需重... 目录方法一:直接设置段落样式为"Normal"方法二:清除所有直接格式设置方法三:创建新的Normal样

Python调用LibreOffice处理自动化文档的完整指南

《Python调用LibreOffice处理自动化文档的完整指南》在数字化转型的浪潮中,文档处理自动化已成为提升效率的关键,LibreOffice作为开源办公软件的佼佼者,其命令行功能结合Python... 目录引言一、环境搭建:三步构建自动化基石1. 安装LibreOffice与python2. 验证安装

把Python列表中的元素移动到开头的三种方法

《把Python列表中的元素移动到开头的三种方法》在Python编程中,我们经常需要对列表(list)进行操作,有时,我们希望将列表中的某个元素移动到最前面,使其成为第一项,本文给大家介绍了把Pyth... 目录一、查找删除插入法1. 找到元素的索引2. 移除元素3. 插入到列表开头二、使用列表切片(Lis

Python按照24个实用大方向精选的上千种工具库汇总整理

《Python按照24个实用大方向精选的上千种工具库汇总整理》本文整理了Python生态中近千个库,涵盖数据处理、图像处理、网络开发、Web框架、人工智能、科学计算、GUI工具、测试框架、环境管理等多... 目录1、数据处理文本处理特殊文本处理html/XML 解析文件处理配置文件处理文档相关日志管理日期和

Python标准库datetime模块日期和时间数据类型解读

《Python标准库datetime模块日期和时间数据类型解读》文章介绍Python中datetime模块的date、time、datetime类,用于处理日期、时间及日期时间结合体,通过属性获取时间... 目录Datetime常用类日期date类型使用时间 time 类型使用日期和时间的结合体–日期时间(