15846781
Descrição
FlashCards por August Edström, atualizado more than 1 year ago
|
Criado por August Edström
mais de 5 anos atrás
|
|
| Questão | Responda |
| 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 |
Quer criar seus próprios Flashcards gratuitos com GoConqr? Saiba mais.