15846781
Descripción
Fichas por August Edström, actualizado hace más de 1 año
|
Creado por August Edström
hace alrededor de 6 años
|
|
| Pregunta | Respuesta |
| 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 |
¿Quieres crear tus propias Fichas gratiscon GoConqr? Más información.