Top-down and bottom-up approach techniques

  • 2 Replies


  • Roomba
  • *
  • 1
Top-down and bottom-up approach techniques
« 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?




  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1109
    • Some of my projects
Re: Top-down and bottom-up approach techniques
« Reply #1 on: October 10, 2018, 06:37:24 pm »
For top-down approach I believe we can choose between lambda calculus and mathematical logic, although those two should be the same, as they say. Recently (about last half a century) a new kid came in the town in a form of category theory, but it is complicated and pretty much a work in a progress (see also

If you want investigate lambda calculus, continue here, after chrunching untyped lambda calculus and church encoding.

If you want to investigate logic, you can try propositional logic for a start, then move to first order logic, then to higher order logic. Also see sequent calculus.

Ask if something is blurry, maybe someone can help.
Dream big. The bigger the dream is, the more beautiful place the world becomes.



  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1092
  • Look into my eyes! WOAH!
    • YouTube


redoing my site
by ruebot (General Project Discussion)
Today at 02:25:34 am
How about VR, AR, MR? What?
by Art (Virtual Reality)
Today at 01:36:46 am
ChatbotML on Twitch
by (Home Made Robots)
October 21, 2018, 07:28:02 pm
Hello there !
by Freddy (New Users Please Post Here)
October 21, 2018, 03:55:35 pm
Cats are evolving...
by DemonRaven (General Chat)
October 21, 2018, 08:27:03 am
With great power, comes great laziness.
by DemonRaven (General AI Discussion)
October 21, 2018, 07:59:01 am
by DemonRaven (General AI Discussion)
October 21, 2018, 07:47:43 am
A most unique coin
by korrelan (General Chat)
October 20, 2018, 06:12:06 pm

Users Online

100 Guests, 0 Users

Most Online Today: 117. Most Online Ever: 208 (August 27, 2008, 09:36:30 am)