Top-down and bottom-up approach techniques

  • 2 Replies
  • 128 Views
*

joescot

  • 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?

Thanks!

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1108
    • 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 https://wiki.haskell.org/Curry-Howard-Lambek_correspondence).

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.

*

korrelan

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1080
  • Look into my eyes! WOAH!
    • Google +

 


What kind of abilities will AGI have?
by korrelan (General AI Discussion)
Today at 09:35:04 am
ETHICS
by Hopefully Something (General AI Discussion)
Today at 08:12:23 am
A big Hi to all bot lovers and makers!
by DemonRaven (New Users Please Post Here)
October 13, 2018, 09:08:26 pm
BOOST
by Art (General Chat)
October 13, 2018, 01:59:09 pm
collaborators wanted.
by DemonRaven (AI Programming)
October 13, 2018, 12:16:52 pm
XKCD Comic : Rock Wall
by Tyler (XKCD Comic)
October 13, 2018, 12:00:36 pm
How many lines of code will AGI be?
by Hopefully Something (General AI Discussion)
October 12, 2018, 11:16:25 pm
ChatbotML on Twitch
by squarebear (Home Made Robots)
October 12, 2018, 09:26:00 am
Tag... you're it...
by LOCKSUIT (AI News )
October 14, 2018, 11:52:37 pm
In need of a psychological coach?
by ruebot (AI News )
October 13, 2018, 01:33:37 pm
Leela Chess Zero
by Art (AI News )
October 08, 2018, 03:30:42 pm
Alpha GO Zero
by Art (AI News )
October 08, 2018, 02:48:32 pm
Detecting fake news at its source
by Tyler (Robotics News)
October 06, 2018, 12:00:55 pm
Phase Change Memory
by Art (AI News )
October 05, 2018, 01:21:59 pm
Model helps robots navigate more like humans do
by Tyler (Robotics News)
October 05, 2018, 12:01:40 pm
Regina Barzilay, James Collins, and Phil Sharp join leadership of new effort on machine learning in health
by Tyler (Robotics News)
October 04, 2018, 12:00:23 pm

Users Online

34 Guests, 1 User
Users active in past 15 minutes:
korrelan
[Trusty Member]

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

Articles