I give a few examples of different logical languages, their properties and an example inference using an automated theorem prover for each.
Жүктеу.....
Пікірлер: 3
@soler1579 Жыл бұрын
3:04 propositional logic 9:44 description logic 12:44 first-order form 18:56 typed first-order form with arithmetic 24:09 typed higher-order form
@adampease
Жыл бұрын
Thanks! Very helpful
@adampease Жыл бұрын
You can get Eprover at github.com/eprover/eprover , Vampire at github.com/vprover/vampire and LEO-III at github.com/leoprover/Leo-III . Problems here are taken from www.tptp.org/
Пікірлер: 3
3:04 propositional logic 9:44 description logic 12:44 first-order form 18:56 typed first-order form with arithmetic 24:09 typed higher-order form
@adampease
Жыл бұрын
Thanks! Very helpful
You can get Eprover at github.com/eprover/eprover , Vampire at github.com/vprover/vampire and LEO-III at github.com/leoprover/Leo-III . Problems here are taken from www.tptp.org/