python based framework for imperative representation of knowledge
Search & KRR & Planning
Episteme is a persistent epistemic reasoning system with non-monotonic logic, explicit conflict detection, belief revision, and quantitative belief lifecycle management layered on top of symbolic inference.
哈尔滨工业大学 KRR（知识表示与推理，Knowledge Representation and Reasoning）课程实验代码及报告
Theories and algorithms that capture (or approximate) some of the core elements of computational intelligence. Topics include: search; logical representations and reasoning, classical automated planning, representing and reasoning with uncertainty, learning, decision making (planning) under uncertainty.
Add a description, image, and links to the knowledge-representation-and-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the knowledge-representation-and-reasoning topic, visit your repo's landing page and select "manage topics."