15846781
Beschreibung
Karteikarten von August Edström, aktualisiert more than 1 year ago
|
Erstellt von August Edström
vor mehr als 5 Jahre
|
|
| Frage | Antworten |
| What properties can a proof system help establish? | Decidability and consistency |
| What two paradigms exist in AI? | Symbolic and subsymbolic(or connectionist) Roughly: inference systems vs machine learning |
| What does a sequent calculus consist of? | Axioms and rules |
| What does a logical system consist of? | Calculus + Models |
| What 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. |
| Why Intuit |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.