Symbolic AI: Crash Course AI #10
video description
Date: 2022-04-04
Related videos
Comments and reviews: 10
Granworks
Ah, this really takes me on a memory trip to the very first time I used Prolog -- a symbolic language. At this point I had already had passing experience with several functional and procedural languages plus a smattering of assembly. They all -flowed-. It's like knowing a Western European language and learning another -- they are all in the same conceptual ballpark and so jumping from one to another makes sense.
But then there was Prolog, a symbolic language. It is NOTHING like the others. It's like knowing Western European languages and encountering Mandarin Chinese. The rules in place and even the way of thinking is so different that nothing you've learned before can really help understanding this new thing. It was quite the mind trip!
I had fun building up my propositions and making my inferences along with trying to understand some of the complex programs available but there isn't much of a job market for it and so I eventually migrated back to the safer realm of -conventional- languages.
For a little while, though, it felt like computers were just a little bit magic again.
reply
Ah, this really takes me on a memory trip to the very first time I used Prolog -- a symbolic language. At this point I had already had passing experience with several functional and procedural languages plus a smattering of assembly. They all -flowed-. It's like knowing a Western European language and learning another -- they are all in the same conceptual ballpark and so jumping from one to another makes sense.
But then there was Prolog, a symbolic language. It is NOTHING like the others. It's like knowing Western European languages and encountering Mandarin Chinese. The rules in place and even the way of thinking is so different that nothing you've learned before can really help understanding this new thing. It was quite the mind trip!
I had fun building up my propositions and making my inferences along with trying to understand some of the complex programs available but there isn't much of a job market for it and so I eventually migrated back to the safer realm of -conventional- languages.
For a little while, though, it felt like computers were just a little bit magic again.
reply
Matt
Computers aren't just -really good- at solving logic problems - it's literally the only thing they can do! Every operation a computer performs ultimately comes down to logic gates on its transistors. As an aside, parts of this episode started to give me flashbacks to learning lambda calculus. I'll send you the therapy bill. ;)
reply
Computers aren't just -really good- at solving logic problems - it's literally the only thing they can do! Every operation a computer performs ultimately comes down to logic gates on its transistors. As an aside, parts of this episode started to give me flashbacks to learning lambda calculus. I'll send you the therapy bill. ;)
reply
DJ
In the example at 9: 50, hotdogs can not be inferred to be sandwiches. Perhaps you meant to say that the converse of the first implication is true? i. e. if Between(meat, bread) -> sandwich and hotdog -> between(meat, bread) then you could infer hotdogs are sandwiches.
reply
In the example at 9: 50, hotdogs can not be inferred to be sandwiches. Perhaps you meant to say that the converse of the first implication is true? i. e. if Between(meat, bread) -> sandwich and hotdog -> between(meat, bread) then you could infer hotdogs are sandwiches.
reply
Faultty
Can you please do a series on forms of oppression. I think we need to know how systems are put in place to control behaviour. Like how we used to beat left handers. There are so so so many. People need to see the code of the Matrix they live in.
reply
Can you please do a series on forms of oppression. I think we need to know how systems are put in place to control behaviour. Like how we used to beat left handers. There are so so so many. People need to see the code of the Matrix they live in.
reply
Niko
ok but what if we had a hybrid system?
one that uses neural networks to make sense of fuzzy data, and a symbolic system to make sense of the concrete data generated by the neural network
that way one can have the best of both worlds
reply
ok but what if we had a hybrid system?
one that uses neural networks to make sense of fuzzy data, and a symbolic system to make sense of the concrete data generated by the neural network
that way one can have the best of both worlds
reply
Ian
I get home from work, fix myself a snack, and fire up an episode of Crash Course before my afternoon nap.
Jabrill gives some examples of if/then statements: -if tired, then take nap. If hungry, then fix snack. -
Am I being watched?
reply
I get home from work, fix myself a snack, and fire up an episode of Crash Course before my afternoon nap.
Jabrill gives some examples of if/then statements: -if tired, then take nap. If hungry, then fix snack. -
Am I being watched?
reply
labestia
Jabril: -Jabril is person. John Green Bot is machine. Car is machine. Car is old. Car is smelly. John Green Bot is not person. Jabril isn't machine. Toaster is machine. -
John Green Bot: .
reply
Jabril: -Jabril is person. John Green Bot is machine. Car is machine. Car is old. Car is smelly. John Green Bot is not person. Jabril isn't machine. Toaster is machine. -
John Green Bot: .
reply
Renan
I didn't really understand the difference between symbolic AI and just a program that does a lot of if and elses with operators. Is a program that calculates my salary based on if/else AI?
reply
I didn't really understand the difference between symbolic AI and just a program that does a lot of if and elses with operators. Is a program that calculates my salary based on if/else AI?
reply
Yesid
i hate how irrationally angry a hotdog being called a sandwich made me i feel so weak pero like at the same time i will fight anyone who defends that position right here and now lmao
reply
i hate how irrationally angry a hotdog being called a sandwich made me i feel so weak pero like at the same time i will fight anyone who defends that position right here and now lmao
reply
Thomas
I think you have a logic error when it comes to sandwiches and Hot Dogs. By your logic: Dogs have 4 legs. Cats have 4 legs. Therefore Dogs are Cats.
reply
I think you have a logic error when it comes to sandwiches and Hot Dogs. By your logic: Dogs have 4 legs. Cats have 4 legs. Therefore Dogs are Cats.
reply
Add a review, comment
Other channel videos
