Different Logics

Ғылым және технология

I give a few examples of different logical languages, their properties and an example inference using an automated theorem prover for each.

Пікірлер: 3

  • @soler1579
    @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

    @adampease

    Жыл бұрын

    Thanks! Very helpful

  • @adampease
    @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/

Келесі