Repository navigation

PL_Resolution

Public

About

Determine knowledge base (KB) entails alpha by resolution, with KB and standardized alpha clauses in CNF form.

2 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
KB.py		KB.py
LoadFile.py		LoadFile.py
README.md		README.md
algorithms.py		algorithms.py
input1.txt		input1.txt
input2.txt		input2.txt
input3.txt		input3.txt
input5.txt		input5.txt
main.py		main.py

Repository files navigation

PL-resolution

Determine knowledge base (KB) entails alpha by resolution, with KB and standardized alpha clauses in CNF form

About

Determine knowledge base (KB) entails alpha by resolution, with KB and standardized alpha clauses in CNF form.

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages