Fichas
Logic
Fichas del conjunto (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
Información
- Descripción
- El usuario ha eliminado su información de asignaturas Fichas sobre Logic, creado por Usuario eliminado el 03/11/2018.
- Creado por
- Usuario eliminado
- Visitas
- 88
- Historial
-
- Creado por August Edström · 2 nov 2018
- Copiado por August Edström · 3 nov 2018
- Valoración