https://123dok.net/document/7qvv101q-knowledge-based-programs-graded-belief-based-programs-reasoning.html