Karteikarten
Logic
Karten in diesem Stapel (6)
- 1What properties can a proof system help establish?Decidability and consistency
- 2What two paradigms exist in AI?Symbolic and subsymbolic(or connectionist)
Roughly: inference systems vs machine learning - 3What does a sequent calculus consist of?Axioms and rules
- 4What does a logical system consist of?Calculus + Models
- 5What is Linear logic?a modal substructural logic that allows to
copy/merge in a controlled fashion.
-substructural logics: some structural rules are not allowed.
-modal logics: structural control
operators. - 6Why Intuit
Informationen
- Beschreibung
- Der Nutzer hat seine Fachbereichs-Information gelöscht. Karteikarten am Logic, erstellt von Gelöschter Nutzer am 03/11/2018.
- Erstellt von
- Gelöschter Nutzer · Nov 2018
- Aktualisiert
- 3 Nov 2018
- Aufrufe
- 88
- Verlauf
-
- Erstellt von August Edström · 2 Nov 2018
- Kopiert von August Edström · 3 Nov 2018
- Bewertung