provadorlogico:人工智能课程考核项目
需积分: 5 71 浏览量
2021-06-09
10:29:43
上传
评论
收藏 9KB ZIP 举报
provadorlogico-master.zip （15个子文件） 
provadorlogico-master 
.gitignore 217B src sample Controller.java 49B sample.fxml 379B Main.java 2KB inferenceRules ModusPonens.java 794B Absorption.java 1KB Solver.java 2KB IRuleInference.java 257B DisjunctiveSyllogism.java 1KB ModusTolens.java 1KB FactContainer.java 1KB HypotheticalSyllogism.java 2KB AbstractRule.java 317B ConstructiveDilemma.java 2KB README.md 96B资源评论
