Ai Dreams Forum

Artificial Intelligence => General AI Discussion => Topic started by: joescot on October 10, 2018, 06:16:44 pm

Title: Top-down and bottom-up approach techniques
Post by: joescot on October 10, 2018, 06:16:44 pm

I am trying to find out more information about these two approaches and hope someone can help me out.
What techniques are there?

Thanks!

Title: Re: Top-down and bottom-up approach techniques
Post by: ivan.moony on October 10, 2018, 06:37:24 pm

For top-down approach I believe we can choose between lambda calculus (https://en.wikipedia.org/wiki/Lambda_calculus) and mathematical logic (https://en.wikipedia.org/wiki/Mathematical_logic), although those two should be the same, as they say (https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence). Recently (about last half a century) a new kid came in the town in a form of category theory (https://en.wikipedia.org/wiki/Category_theory), but it is complicated and pretty much a work in a progress (see also https://wiki.haskell.org/Curry-Howard-Lambek_correspondence (https://wiki.haskell.org/Curry-Howard-Lambek_correspondence)).

If you want investigate lambda calculus, continue here (https://en.wikipedia.org/wiki/Lambda_cube), after chrunching untyped lambda calculus and church encoding (https://en.wikipedia.org/wiki/Church_encoding).

If you want to investigate logic, you can try propositional logic (https://en.wikipedia.org/wiki/Propositional_calculus) for a start, then move to first order logic, then to higher order logic. Also see sequent calculus (https://en.wikipedia.org/wiki/Sequent_calculus).

Ask if something is blurry, maybe someone can help.

Title: Re: Top-down and bottom-up approach techniques
Post by: Korrelan on October 11, 2018, 11:03:39 am

http://www.alanturing.net/turing_archive/pages/reference%20articles/what_is_AI/What%20is%20AI09.html

 :)