https://github.com/curiousci/symbolic-ai
Artificial Intelligence @ uniroma1
https://github.com/curiousci/symbolic-ai
csp planning probabilistic-ai sat symbolic-ai
Last synced: 11 days ago
JSON representation
Artificial Intelligence @ uniroma1
- Host: GitHub
- URL: https://github.com/curiousci/symbolic-ai
- Owner: CuriousCI
- License: gpl-3.0
- Created: 2025-03-16T20:50:13.000Z (7 months ago)
- Default Branch: main
- Last Pushed: 2025-07-04T15:55:11.000Z (3 months ago)
- Last Synced: 2025-07-04T16:55:33.691Z (3 months ago)
- Topics: csp, planning, probabilistic-ai, sat, symbolic-ai
- Language: Typst
- Homepage:
- Size: 3.28 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Computer Braining
IA course @ Sapienza
- spurious correlations
- video su un professore che parla di AI e lavoro
- CSP meetings M (numero di incontri) indipendente da T e S
- [x] E.A.3.1 - Esplorazione di spazi degli stati 1 _(+ soluzione)_
- [x] E.A.3.2 - Esplorazione di spazi degli stati 2 _(no soluzione)_
- [ ] E.A.3.3 - Esplorazione di spazi degli stati, HP 2D-Protein Folding _(- soluzione)_
- [ ] E.A.4.1 - Algoritmi a miglioramento iterativo, N-Queens _(- soluzione)_
- [ ] E.A.4.2 - Algoritmi a miglioramento iterativo, HP 2D-Protein Folding _(- soluzione)_
- [x] E.A.5.1 - CSP, steepest descent _(no soluzione)_
- [x] E.A.5.2 - CSP, N-Queens _(+ soluzione)_
- [x] E.A.5.3 - CSP, Edge colouring _(+ soluzione)_ _(+ video)_
- [x] E.A.5.4 - CSP, Generalised Arc-Consistency _(+ video)_
- [x] E.A.5.5 - CSP, Backtracking e Propagazione di Vincoli _(+ video)_
- [x] E.A.5.6 - CSP, Cards _(+ soluzione)_ _(+ video)_
- [x] E.A.5.7 - CSP, Cards 2 _(+ soluzione)_ _(+ video)_
- [x] E.A.5.8 - CSP, Social Golfers _(+ soluzione)_ _(+ video)_
- [ ] E.A.5.9 - CSP, Meetings _(- soluzione)_
- [ ] E.A.5.10 - CSP, Protein Folding
- [x] E.A.6.1 - Logica proposizionale, Risoluzione 1 _(+ video)_
- [x] E.A.6.2 - Logica proposizionale, Risoluzione 2 (no soluzione)
- [x] E.A.6.3 - Logica proposizionale, DPLL 1 _(+ soluzione)_
- [x] E.A.6.4 - SAT, N-Queens _(+ soluzione)_
- [x] E.A.6.5 - SAT, Schur's lemma _(+ video)_
- [x] E.A.6.6 - SAT, Edge colouring _(+ video)_
- [x] E.A.6.7 - SAT, HC-VIP _(+ soluzione)_ _(+ video)_
- [x] E.A.6.8 - SAT, Graph colouring with red self-loops _(+ soluzione)_
- [x] E.A.6.9 - SAT, Cards _(no soluzione)_
- [x] E.A.6.10 - SAT, Cards 2 _(no soluzione)_
- [ ] E.A.6.11 - SAT, Meetings _(- soluzione)_
- [ ] E.A.6.12 - SAT, Rostering _(- soluzione)_
- [ ] E.A.6.13 - SAT, Il mondo del Wumpus _(- soluzione)_
- [x] E.B.1.1 - FOL, Studenti ansiosi, modelling _(~ soluzione)_
- [ ] E.B.1.2 - FOL, Studenti ansiosi, inferenza _(- soluzione)_
- [x] E.B.1.3 - FOL, Aldo, modelling _(~ soluzione)_
- [x] E.B.1.4 - FOL, Aldo, inferenza _(- soluzione)_
- [ ] E.B.1.5 - FOL, Club delle Alpi, modelling e inferenza _(- soluzione)_
- [ ] E.B.2.1 - PDDL, Torri di Hanoi, modelling _(- soluzione)_
- [ ] E.B.2.2 - PDDL, Domino, modelling _(- soluzione)_
- [ ] E.B.2.3 - PDDL, Water _(- soluzione)_
- [ ] E.B.2.4 - PDDL, Torri di Hanoi, codifica SATPlan _(- soluzione)_
- [ ] E.B.3.2.2.1 - BN, I Rossi, Modelling _(- soluzione)_
- [ ] E.B.3.2.2.2 - BN, I Rossi, Inferenza _(- soluzione)_