Science Score: 67.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 5 DOI reference(s) in README -
✓Academic publication links
Links to: zenodo.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (8.8%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: josecoliveira
- License: mit
- Language: Python
- Default Branch: main
- Size: 333 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 2
Metadata Files
README.md
kg2: A Python Tool for Paraconsistent Gödel Modal Logic
This package implements model and evaluation for Paraconsistent Gödel Modal Logic. In this logic, the belief of an agent in a proposition is defined to be a pair of values in the interval $[0, 1]\times[0,1]$, representing the world's truth-value for and against the proposition.Paraconsistent Gödel Modal Logic is valuable for representing nuanced information about evidence, strength of belief, consistency and inconsistency, and certainty and uncertainty.
Installation
Use the package manager pip to install kg2.
bash
pip install kg2
Usage
The full reference of the package can be found in DOCUMENTATION.md.
```python from kg2 import *
Number of worlds in the model.
world_size = 4
Accessibility relation.
relation = [[1, 1, 0.5, 0.5], [1, 1, 0.5, 0.5], [0.5, 0.5, 1, 1], [0.5, 0.5, 1, 1]]
Valuation 1 for each variable and agent.
valuation1 = {"p": [1, 1, 0.4, 0.4]}
Valuation 2 for each variable and agent.
valuation2 = {"p": [0, 0, 0.8, 0.8]}
Model instantiation.
model = Model(4, relation, valuation1, valuation2)
Define a formula.
formula = Diamond(Diamond(Variable("p")))
Evaluate formula in the model for world 0.
formula.valuation1(model, 0) ```
Full example can be found in the Jupyter Notebook example.ipynb.
Contributing
Pull requests are welcome. For major changes, please open an issue first to discuss what you would like to change.
License
References
Bílková, M., Frittella, S., Kozhemiachenko, D. (2022). Paraconsistent Gödel Modal Logic. In: Blanchette, J., Kovács, L., Pattinson, D. (eds) Automated Reasoning. IJCAR 2022. Lecture Notes in Computer Science(), vol 13385. Springer, Cham. [https://doi.org/10.1007/978-3-031-10769-6_26]
Owner
- Name: José C. Oliveira
- Login: josecoliveira
- Kind: user
- Location: Duluth, Minnesota, USA
- Company: University of Minnesota Duluth
- Website: josecoliveira.github.io
- Repositories: 2
- Profile: https://github.com/josecoliveira
MS student in Computer Science at University of Minnesota Duluth. Currently working with formal models for social networks.
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: 'josecoliveira/pgml: v1.1.0'
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: José C.
family-names: Oliveira
email: josecarlosdeoliveirajr@gmail.com
affiliation: 'University of Minnesota, Duluth'
orcid: 'https://orcid.org/0009-0000-2266-0032'
- given-names: Sophia
family-names: Knight
email: sophia.knight@gmail.com
affiliation: 'University of Minnesota, Duluth'
orcid: 'https://orcid.org/0000-0001-6203-1505'
identifiers:
- type: doi
value: 10.5281/zenodo.12855589
- type: url
value: 'https://github.com/josecoliveira/kg2'
repository-code: 'https://github.com/josecoliveira/kg2'
keywords:
- paraconsistent logic
- modal logic
- multi-agent systems
license: MIT
version: v1.1.0
date-released: '2024-07-25'
GitHub Events
Total
Last Year
Dependencies
- actions/checkout v4 composite
- actions/setup-python v3 composite
- actions/checkout v4 composite
- actions/setup-python v3 composite
- pypa/gh-action-pypi-publish 27b31702a0e7fc50959f5ad993c78deac1bdfc29 composite