forked from CrystalMessenger/krr-prolog-tut
-
Notifications
You must be signed in to change notification settings - Fork 1
/
to.do
90 lines (74 loc) · 1.84 KB
/
to.do
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
(https://us.meething.space/?room=frdcsa&mesh=false)
(This is a course I put together in 1 hour, it's going to look that way :)
(it's looking like a shallow survey course on different topics in KRR)
(https://dai.fmph.uniba.sk/~sefranek/kri/handbook/handbook_of_kr.pdf)
(https://www.cin.ufpe.br/~mtcfa/files/in1122/Knowledge%20Representation%20and%20Reasoning.pdf)
(https://www.seas.upenn.edu/~cis700dr/Spring19/slides/Lec3-R-1-30-2019.pdf)
(introduction to logic ltl
(https://www.math.ucla.edu/~ynm/lectures/lnl.pdf)
)
(logic)
(proof theory
(proofs that the square root of 2 is irrational)
)
(set theory)
(tarskian semantics)
(model theory)
(modal logic)
(defeasible logic)
(epistemic logic)
(autoepistemic logic
(assert <I do not know Phi>)
(assert <Phi>)
(must therefore retract <I do not know Phi>)
)
(event calc)
(sit calc)
(fluent calc
(FLUX
(https://github.com/aindilis/flux-frdcsa)
)
)
(temporal logic
(PDDL 2.2 strips/adl)
)
(logic forms
(free logic form)
)
(neodavidsonian logic forms
(http://www.coli.uni-saarland.de/courses/incsem-12/neodavidsonian.pdf)
)
(computational semantics
(candc-tools)
)
(Some prolog KRR programs
(shanahan.pl Murray Shanahan's Abductive Event Calculus reasoner)
(pttp.pl PTTP Prolog Technology Theorem Prover)
(Robert Sasak's: Prolog PDDL parser and planner
(https://github.com/RobertSasak/Prolog-Planning-Library)
)
(Marty's Interactive Fiction Engine
(https://github.com/logicmoo/logicmoo_nlu/blob/master/prolog/marty_white/README.md)
)
(mprolog - modal logic)
)
(PrologCYC
)
(commonsense reasoning
(https://www.seas.upenn.edu/~cis700dr/Spring19/)
(FraCaS
(https://nlp.stanford.edu/~wcmac/downloads/fracas.xml)
)
)
(natural language processing
)
(formal verification)
(LogicMOO
()
)
(Risk Ontology
(part1.pl)
)
(MegaMath
)
(https://www.logicmoo.org/cycdoc/toc-reference.html)