Top-down and bottom-up approach techniques

  • 2 Replies
  • 1305 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
  • ************
  • Bishop
  • *
  • 1723
    • mind-child
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.

*

Korrelan

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1454
  • Look into my eyes! WOAH!
    • YouTube

 


OpenAI Speech-to-Speech Reasoning Demo
by ivan.moony (AI News )
Today at 01:31:53 pm
Say good-bye to GPUs...
by MikeB (AI News )
March 23, 2024, 09:23:52 am
Google Bard report
by ivan.moony (AI News )
February 14, 2024, 04:42:23 pm
Elon Musk's xAI Grok Chatbot
by MikeB (AI News )
December 11, 2023, 06:26:33 am
Nvidia Hype
by 8pla.net (AI News )
December 06, 2023, 10:04:52 pm
How will the OpenAI CEO being Fired affect ChatGPT?
by 8pla.net (AI News )
December 06, 2023, 09:54:25 pm
Independent AI sovereignties
by WriterOfMinds (AI News )
November 08, 2023, 04:51:21 am
LLaMA2 Meta's chatbot released
by 8pla.net (AI News )
October 18, 2023, 11:41:21 pm

Users Online

306 Guests, 1 User
Users active in past 15 minutes:
squarebear
[Trusty Member]

Most Online Today: 346. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles