15846781
Description
Flashcards by August Edström, updated more than 1 year ago
|
Created by August Edström
about 7 years ago
|
|
| Question | Answer |
| 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 |
Want to create your own Flashcards for free with GoConqr? Learn more.