Flashcards
Logic
Flashcards do 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
Informações
- Descrição
- O usuário eliminou as informações de disciplina FlashCards sobre Logic, criado por Usuário eliminado em 03-11-2018.
- Criado por
- Usuário eliminado
- Visualizações
- 88
- Histórico
-
- Criado por August Edström · 2 nov 2018
- Copiado por August Edström · 3 nov 2018
- Avaliação