arXiv:2511.20700cs.AIcs.LO2025-11

开源工具包简化帕拉一致逻辑算法开发,支持多种推理决策模型。

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library

  • 提供帕拉一致逻辑标准计算的通用库,支持12种经典格区域分析
  • 可实现Para-analyzer等5种主流算法,代码量减少且更稳定
  • 适合需要构建鲁棒推理系统的开发者,尤其关注逻辑一致性

本文介绍Paraconsistent-Lib,一个开源、易用的Python库,用于构建帕拉一致逻辑(PAL2v)算法,应用于推理与决策系统。该库作为PAL2v标准计算的通用工具,提供三类输出:12种经典格结构中的帕拉一致分析结果、帕拉一致分析节点(PAN)输出及决策输出。借助Paraconsistent-Lib,可将知名算法如Para-analyzer、ParaExtrCTX、PAL2v Filter、PANnet和PNN以独立或网络形式实现,显著降低复杂度、代码规模与错误率。文中展示了两个实际应用示例。当前版本已趋于稳定,项目正持续根据GitHub用户反馈进行功能扩展与优化。

原文摘要 · Abstract (English)

This paper introduces Paraconsistent-Lib, an open-source, easy-to-use Python library for building PAL2v algorithms in reasoning and decision-making systems. Paraconsistent-Lib is designed as a general-purpose library of PAL2v standard calculations, presenting three types of results: paraconsistent analysis in one of the 12 classical lattice PAL2v regions, paraconsistent analysis node (PAN) outputs, and a decision output. With Paraconsistent-Lib, well-known PAL2v algorithms such as Para-analyzer, ParaExtrCTX, PAL2v Filter, paraconsistent analysis network (PANnet), and paraconsistent neural network (PNN) can be written in stand-alone or network form, reducing complexity, code size, and bugs, as two examples presented in this paper. Given its stable state, Paraconsistent-Lib is an active development to respond to user-required features and enhancements received on GitHub.

逻辑推理Python库帕拉一致决策系统

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。