Flashcards
Logic
Cards in this deck (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
Information
- Description
- User has deleted their subject information Flashcards on Logic, created by Deleted user on 03/11/2018.
- Created by
- Deleted user
- Views
- 88
- History
-
- Created by August Edström · Nov 2, 2018
- Copied by August Edström · Nov 3, 2018
- Rating