evidencelib 1.0.0__tar.gz

evidencelib-1.0.0/.github/workflows/ci.yml

@@ -0,0 +1,40 @@
+name: CI
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  tests:
+    name: Python ${{ matrix.python-version }}
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ["3.10", "3.11", "3.12", "3.13"]
+
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install
+        run: |
+          python -m pip install --upgrade pip
+          python -m pip install -e ".[dev]"
+      - name: Test
+        run: python -m pytest -q
+
+  build:
+    name: Build package
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - name: Build
+        run: |
+          python -m pip install --upgrade pip build
+          python -m build
+

evidencelib-1.0.0/.gitignore

@@ -0,0 +1,8 @@
+.venv/
+__pycache__/
+*.py[cod]
+*.egg-info/
+.pytest_cache/
+build/
+dist/
+docs/_build/

evidencelib-1.0.0/.readthedocs.yaml

@@ -0,0 +1,16 @@
+version: 2
+
+build:
+  os: ubuntu-24.04
+  tools:
+    python: "3.12"
+
+sphinx:
+  configuration: docs/conf.py
+  fail_on_warning: true
+
+python:
+  install:
+    - requirements: docs/requirements.txt
+    - path: .
+

evidencelib-1.0.0/LICENSE

@@ -0,0 +1,22 @@
+MIT License
+
+Copyright (c) 2026 evidencelib contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+

evidencelib-1.0.0/PKG-INFO

@@ -0,0 +1,225 @@
+Metadata-Version: 2.4
+Name: evidencelib
+Version: 1.0.0
+Summary: Computational belief functions for DST and DSmT.
+Project-URL: Documentation, https://evidencelib.readthedocs.io/en/latest/
+Project-URL: Source, https://github.com/itaprac/evidencelib
+Project-URL: Issues, https://github.com/itaprac/evidencelib/issues
+Author: evidencelib contributors
+License: MIT License
+        
+        Copyright (c) 2026 evidencelib contributors
+        
+        Permission is hereby granted, free of charge, to any person obtaining a copy
+        of this software and associated documentation files (the "Software"), to deal
+        in the Software without restriction, including without limitation the rights
+        to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+        copies of the Software, and to permit persons to whom the Software is
+        furnished to do so, subject to the following conditions:
+        
+        The above copyright notice and this permission notice shall be included in all
+        copies or substantial portions of the Software.
+        
+        THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+        IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+        FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+        AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+        LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+        OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+        SOFTWARE.
+        
+License-File: LICENSE
+Keywords: belief-functions,dempster-shafer,dsmt,dst,evidence-theory
+Classifier: Development Status :: 5 - Production/Stable
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.10
+Provides-Extra: dev
+Requires-Dist: build>=1.0; extra == 'dev'
+Requires-Dist: myst-parser>=4.0; extra == 'dev'
+Requires-Dist: pytest>=8.0; extra == 'dev'
+Requires-Dist: sphinx-rtd-theme>=3.0; extra == 'dev'
+Requires-Dist: sphinx>=8.0; extra == 'dev'
+Provides-Extra: docs
+Requires-Dist: myst-parser>=4.0; extra == 'docs'
+Requires-Dist: sphinx-rtd-theme>=3.0; extra == 'docs'
+Requires-Dist: sphinx>=8.0; extra == 'docs'
+Description-Content-Type: text/markdown
+
+# evidencelib
+
+[![CI](https://github.com/itaprac/evidencelib/actions/workflows/ci.yml/badge.svg)](https://github.com/itaprac/evidencelib/actions/workflows/ci.yml)
+[![Documentation Status](https://readthedocs.org/projects/evidencelib/badge/?version=latest)](https://evidencelib.readthedocs.io/en/latest/?badge=latest)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
+
+Python library for belief-function calculations in Dempster-Shafer theory
+(DST) and Dezert-Smarandache theory (DSmT).
+
+`evidencelib` provides a compact quantitative core for finite frames: symbolic
+propositions, basic belief assignments, evidence fusion rules, belief measures,
+and pignistic decision support.
+
+Documentation is available on
+[Read the Docs](https://evidencelib.readthedocs.io/en/latest/).
+
+---
+
+## Installation
+
+You can install `evidencelib` using pip:
+
+```bash
+pip install evidencelib
+```
+
+For local development:
+
+```bash
+git clone https://github.com/itaprac/evidencelib.git
+cd evidencelib
+python3.10 -m venv .venv
+source .venv/bin/activate
+pip install -e ".[dev,docs]"
+```
+
+Run the test suite:
+
+```bash
+python -m pytest -q
+```
+
+Build the documentation locally:
+
+```bash
+python -m sphinx -W -b html docs docs/_build/html
+```
+
+---
+
+## Available Functionality
+
+The library contains:
+
+### Models
+
+| Constructor | Description |
+| --- | --- |
+| `Frame.dst(...)` | Shafer's classical DST model with exhaustive and mutually exclusive hypotheses. |
+| `Frame.dsmt(...)` | Free DSm model where hypotheses may overlap. |
+| `Frame.hybrid(...)` | Constrained DSm model with explicit emptiness or exclusivity constraints. |
+
+### Proposition Algebra
+
+| Operation | Meaning |
+| --- | --- |
+| `A \| B` | Union / disjunction, `A ∪ B`. |
+| `A & B` | Intersection / conjunction, `A ∩ B`. |
+| `frame.proposition("A ∩ (B ∪ C)")` | Parse a proposition from text. |
+| `frame.elements()` | Generate the model's power set or hyper-power set. |
+
+### Belief Measures
+
+| Method | Description |
+| --- | --- |
+| `mass(A)` | Direct mass assigned to a proposition. |
+| `belief(A)` | Sum of masses contained in `A`. |
+| `plausibility(A)` | Sum of masses intersecting `A`. |
+| `commonality(A)` | Sum of masses containing `A`. |
+| `conflict` | Mass assigned to the empty proposition. |
+
+### Fusion Rules
+
+| Method | Description |
+| --- | --- |
+| `conjunctive(...)` | Unnormalized conjunctive rule. |
+| `dsmc(...)` | Classic DSm rule on a free DSm frame. |
+| `smets(...)` | TBM/Smets rule, keeping conflict on the empty proposition. |
+| `dempster(...)` | Normalized Dempster rule. |
+| `yager(...)` | Yager rule, moving conflict to total ignorance. |
+| `dsmh(...)` | Hybrid DSm rule for constrained models. |
+| `dubois_prade(...)` | Static Dubois-Prade-style conflict transfer. |
+| `pcr5(...)` | PCR5 for two sources. |
+| `pcr6(...)` | PCR6 for two or more sources. |
+
+### Decision Support
+
+| Method | Description |
+| --- | --- |
+| `pignistic()` | Singleton pignistic scores. |
+| `pignistic_regions()` | Probability distribution over disjoint model regions. |
+| `decision()` | Singleton with the largest pignistic score. |
+
+---
+
+## Usage Example
+
+```python
+from evidencelib import Frame
+
+frame = Frame.dst(["A", "B"])
+A, B = frame.symbols()
+
+m1 = frame.mass({
+    A: 0.6,
+    A | B: 0.4,
+})
+
+m2 = frame.mass({
+    B: 0.3,
+    A | B: 0.7,
+})
+
+print(m1.dempster(m2).to_dict())
+print(m1.pcr5(m2).to_dict())
+```
+
+Output:
+
+```python
+{"A": 0.5121951219512195, "A|B": 0.34146341463414637, "B": 0.14634146341463414}
+{"A": 0.54, "A|B": 0.28, "B": 0.18}
+```
+
+Free DSmT example:
+
+```python
+frame = Frame.dsmt(["A", "B"])
+A, B = frame.symbols()
+
+m = frame.mass({
+    A: 0.2,
+    B: 0.3,
+    A & B: 0.4,
+    A | B: 0.1,
+})
+
+print(m.pignistic())
+print(m.pignistic_regions())
+```
+
+In DSmT, singleton hypotheses can overlap, so `pignistic()` returns decision
+scores that do not necessarily sum to one. Use `pignistic_regions()` for a
+probability distribution over disjoint Venn regions.
+
+More examples are available in the [`examples/`](examples/) directory and in
+the documentation.
+
+---
+
+## References
+
+- Shafer, G. (1976). *A Mathematical Theory of Evidence*. Princeton University Press.
+- Smarandache, F., & Dezert, J. (eds.). *Advances and Applications of DSmT for Information Fusion*.
+- Dezert, J., & Smarandache, F. *An Introduction to DSmT*.
+- Zadeh, L. A. (1986). A simple view of the Dempster-Shafer theory of evidence and its implication for the rule of combination. *AI Magazine*, 7(2), 85-90.
+
+---
+
+## License
+
+`evidencelib` is released under the MIT License.

evidencelib-1.0.0/README.md

@@ -0,0 +1,172 @@
+# evidencelib
+
+[![CI](https://github.com/itaprac/evidencelib/actions/workflows/ci.yml/badge.svg)](https://github.com/itaprac/evidencelib/actions/workflows/ci.yml)
+[![Documentation Status](https://readthedocs.org/projects/evidencelib/badge/?version=latest)](https://evidencelib.readthedocs.io/en/latest/?badge=latest)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
+
+Python library for belief-function calculations in Dempster-Shafer theory
+(DST) and Dezert-Smarandache theory (DSmT).
+
+`evidencelib` provides a compact quantitative core for finite frames: symbolic
+propositions, basic belief assignments, evidence fusion rules, belief measures,
+and pignistic decision support.
+
+Documentation is available on
+[Read the Docs](https://evidencelib.readthedocs.io/en/latest/).
+
+---
+
+## Installation
+
+You can install `evidencelib` using pip:
+
+```bash
+pip install evidencelib
+```
+
+For local development:
+
+```bash
+git clone https://github.com/itaprac/evidencelib.git
+cd evidencelib
+python3.10 -m venv .venv
+source .venv/bin/activate
+pip install -e ".[dev,docs]"
+```
+
+Run the test suite:
+
+```bash
+python -m pytest -q
+```
+
+Build the documentation locally:
+
+```bash
+python -m sphinx -W -b html docs docs/_build/html
+```
+
+---
+
+## Available Functionality
+
+The library contains:
+
+### Models
+
+| Constructor | Description |
+| --- | --- |
+| `Frame.dst(...)` | Shafer's classical DST model with exhaustive and mutually exclusive hypotheses. |
+| `Frame.dsmt(...)` | Free DSm model where hypotheses may overlap. |
+| `Frame.hybrid(...)` | Constrained DSm model with explicit emptiness or exclusivity constraints. |
+
+### Proposition Algebra
+
+| Operation | Meaning |
+| --- | --- |
+| `A \| B` | Union / disjunction, `A ∪ B`. |
+| `A & B` | Intersection / conjunction, `A ∩ B`. |
+| `frame.proposition("A ∩ (B ∪ C)")` | Parse a proposition from text. |
+| `frame.elements()` | Generate the model's power set or hyper-power set. |
+
+### Belief Measures
+
+| Method | Description |
+| --- | --- |
+| `mass(A)` | Direct mass assigned to a proposition. |
+| `belief(A)` | Sum of masses contained in `A`. |
+| `plausibility(A)` | Sum of masses intersecting `A`. |
+| `commonality(A)` | Sum of masses containing `A`. |
+| `conflict` | Mass assigned to the empty proposition. |
+
+### Fusion Rules
+
+| Method | Description |
+| --- | --- |
+| `conjunctive(...)` | Unnormalized conjunctive rule. |
+| `dsmc(...)` | Classic DSm rule on a free DSm frame. |
+| `smets(...)` | TBM/Smets rule, keeping conflict on the empty proposition. |
+| `dempster(...)` | Normalized Dempster rule. |
+| `yager(...)` | Yager rule, moving conflict to total ignorance. |
+| `dsmh(...)` | Hybrid DSm rule for constrained models. |
+| `dubois_prade(...)` | Static Dubois-Prade-style conflict transfer. |
+| `pcr5(...)` | PCR5 for two sources. |
+| `pcr6(...)` | PCR6 for two or more sources. |
+
+### Decision Support
+
+| Method | Description |
+| --- | --- |
+| `pignistic()` | Singleton pignistic scores. |
+| `pignistic_regions()` | Probability distribution over disjoint model regions. |
+| `decision()` | Singleton with the largest pignistic score. |
+
+---
+
+## Usage Example
+
+```python
+from evidencelib import Frame
+
+frame = Frame.dst(["A", "B"])
+A, B = frame.symbols()
+
+m1 = frame.mass({
+    A: 0.6,
+    A | B: 0.4,
+})
+
+m2 = frame.mass({
+    B: 0.3,
+    A | B: 0.7,
+})
+
+print(m1.dempster(m2).to_dict())
+print(m1.pcr5(m2).to_dict())
+```
+
+Output:
+
+```python
+{"A": 0.5121951219512195, "A|B": 0.34146341463414637, "B": 0.14634146341463414}
+{"A": 0.54, "A|B": 0.28, "B": 0.18}
+```
+
+Free DSmT example:
+
+```python
+frame = Frame.dsmt(["A", "B"])
+A, B = frame.symbols()
+
+m = frame.mass({
+    A: 0.2,
+    B: 0.3,
+    A & B: 0.4,
+    A | B: 0.1,
+})
+
+print(m.pignistic())
+print(m.pignistic_regions())
+```
+
+In DSmT, singleton hypotheses can overlap, so `pignistic()` returns decision
+scores that do not necessarily sum to one. Use `pignistic_regions()` for a
+probability distribution over disjoint Venn regions.
+
+More examples are available in the [`examples/`](examples/) directory and in
+the documentation.
+
+---
+
+## References
+
+- Shafer, G. (1976). *A Mathematical Theory of Evidence*. Princeton University Press.
+- Smarandache, F., & Dezert, J. (eds.). *Advances and Applications of DSmT for Information Fusion*.
+- Dezert, J., & Smarandache, F. *An Introduction to DSmT*.
+- Zadeh, L. A. (1986). A simple view of the Dempster-Shafer theory of evidence and its implication for the rule of combination. *AI Magazine*, 7(2), 85-90.
+
+---
+
+## License
+
+`evidencelib` is released under the MIT License.

evidencelib-1.0.0/docs/api-reference.rst

@@ -0,0 +1,31 @@
+API Reference
+=============
+
+Frame
+-----
+
+.. autoclass:: evidencelib.Frame
+   :members:
+   :undoc-members:
+
+MassFunction
+------------
+
+.. autoclass:: evidencelib.MassFunction
+   :members:
+   :undoc-members:
+
+Proposition
+-----------
+
+.. autoclass:: evidencelib.Proposition
+   :members:
+   :undoc-members:
+
+Exceptions
+----------
+
+.. automodule:: evidencelib.exceptions
+   :members:
+   :undoc-members:
+

evidencelib-1.0.0/docs/api.md

@@ -0,0 +1,92 @@
+# API
+
+## Frame
+
+```python
+Frame.dst(atoms)
+Frame.dsmt(atoms)
+Frame.hybrid(atoms, empty=(), exclusive=False)
+```
+
+Useful methods:
+
+```python
+frame.symbols()
+frame.symbols("A B")
+frame.atom("A")
+frame.proposition("A & (B | C)")
+frame.mass({ ... })
+frame.elements()
+frame.region_count
+```
+
+## Proposition
+
+Propositions are immutable and hashable.
+
+```python
+A | B
+A & B
+str(A | B)
+(A & B).is_empty
+(A | B).cardinality
+(A & B).union_atoms()
+```
+
+`|` means union/disjunction. `&` means intersection/conjunction.
+
+## MassFunction
+
+Create:
+
+```python
+m = frame.mass({A: 0.4, B: 0.2, A | B: 0.4})
+```
+
+Inspect:
+
+```python
+m.items()
+m.focal()
+m.to_dict()
+m.total_mass
+m.conflict
+```
+
+Measures:
+
+```python
+m.mass(A)
+m.belief(A)
+m.plausibility(A)
+m.commonality(A)
+```
+
+Fusion:
+
+```python
+m1.conjunctive(m2)
+m1.dsmc(m2)
+m1.smets(m2)
+m1.dempster(m2)
+m1.yager(m2)
+m1.dubois_prade(m2)
+m1.dsmh(m2)
+m1.pcr5(m2)
+m1.pcr6(m2, m3)
+```
+
+Decision support:
+
+```python
+m.pignistic()
+m.pignistic_regions()
+m.decision()
+```
+
+## Errors
+
+- `InvalidMassError`: mass values are negative or do not sum to one.
+- `TotalConflictError`: Dempster normalization is undefined because conflict is one.
+- `ValueError`: propositions belong to different frames or expression parsing fails.
+

evidencelib-1.0.0/docs/conf.py

@@ -0,0 +1,45 @@
+from __future__ import annotations
+
+import sys
+from pathlib import Path
+
+ROOT = Path(__file__).resolve().parents[1]
+sys.path.insert(0, str(ROOT / "src"))
+
+project = "evidencelib"
+author = "evidencelib contributors"
+copyright = "2026, evidencelib contributors"
+release = "1.0.0"
+version = "1.0"
+
+extensions = [
+    "myst_parser",
+    "sphinx.ext.autodoc",
+    "sphinx.ext.autosummary",
+    "sphinx.ext.intersphinx",
+    "sphinx.ext.napoleon",
+    "sphinx.ext.viewcode",
+    "sphinx_rtd_theme",
+]
+
+templates_path = ["_templates"]
+exclude_patterns = ["_build", "Thumbs.db", ".DS_Store"]
+
+html_theme = "sphinx_rtd_theme"
+html_title = "evidencelib documentation"
+html_theme_options = {
+    "collapse_navigation": False,
+    "navigation_depth": 4,
+}
+
+autodoc_typehints = "description"
+autosummary_generate = True
+napoleon_google_docstring = True
+napoleon_numpy_docstring = True
+
+intersphinx_mapping = {
+    "python": ("https://docs.python.org/3", None),
+}
+
+myst_heading_anchors = 3
+

evidencelib-1.0.0/docs/contributing.md

@@ -0,0 +1,21 @@
+# Contributing
+
+## Development setup
+
+```bash
+python3.10 -m venv .venv
+source .venv/bin/activate
+pip install -e ".[dev,docs]"
+```
+
+## Checks
+
+```bash
+python -m pytest -q
+python -m sphinx -W -b html docs docs/_build/html
+python -m build
+```
+
+## Release
+
+Follow `docs/release-checklist.md`.