Anyone wants to learn logic?

  • 124 Replies
  • 12278 Views
*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1723
    • mind-child
Re: Anyone wants to learn logic?
« Reply #30 on: December 11, 2018, 01:16:18 am »
You make me blush.

  :)

Better find some girl, I'm of no use, I don't respond to compliments well.

 :-*

*

8pla.net

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1302
  • TV News. Pub. UAL (PhD). Robitron Mod. LPC Judge.
    • 8pla.net
Re: Anyone wants to learn logic?
« Reply #31 on: December 11, 2018, 02:50:22 am »
Now, Emo may highlight its learning.
For example, enter something with
the word "fish" and Emo highlights
"fish = animal" in red.

Added from the log...

learn a shark is a fish

Now Emo highlights
"fish = animal" and "shark = fish"  in red.

« Edit Notes:  Added latest test run
« Last Edit: December 11, 2018, 03:51:22 am by 8pla.net »
My Very Enormous Monster Just Stopped Using Nine

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Trusty Member
  • **********************
  • Colossus
  • *
  • 5865
Re: Anyone wants to learn logic?
« Reply #32 on: December 11, 2018, 04:06:43 am »
@ Lock,

Sorry, I inserted an incorrect link.
I had much better luck locating the audit type of courses via YouTube as in this link.

Those others (previously shown) were for actual courses online.

Try this link:
https://www.youtube.com/results?search_query=MIT+audit+courses
In the world of AI, it's the thought that counts!

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #33 on: December 11, 2018, 07:31:51 am »
(p ∧ ¬p) is unsatisfiable

"Sometimes you are hungry and sometimes you are not hungry."
(1 & 1)
(1)

Dis-proven.



Saying "pigs don't fly" is True. Saying "Pigs fly" is False, but saying "if pigs fly" is true even though its parts are false. Their statement is true... only if the latter is "pigs fly", not because of a negation.
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1723
    • mind-child
Re: Anyone wants to learn logic?
« Reply #34 on: December 11, 2018, 08:44:32 am »
Lock,

What you wrote translates differently to a logic. (P & ~P) would be translated from "I'm hungry & I'm not hungry", and it is indeed contradictory.

I think "Sometimes" has to do something with existential quantification dealing with different time intervals. I think you need predicate logic to express it, propositional logic is not enough. But it's a brain teaser, I have to admit.

[Edit]
here:
ThereExist time1. ThereExist time2. (Hungry(time1) & ~Hungry(time2))

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #35 on: December 11, 2018, 10:23:51 am »
I'm on 4.2 section, doing good or slow turtle snail am I?

I feel a departure/disagreement, so I'm reading it all but taking less bits per amount of reading. Also it's becoming quite confusing and math-like lol.

Still, they say things in line with my work nevertheless. So it's good to read.

another test for you lol:
Is the following whole thing True?: "The following sentence is True if at least 1 is True (I could say all but one or 3 etc, or False if at least 1 or etc is False) "I can jump. I can swim. I can reach the sun's core. I can eat.""



So Section 4.6 said instead of using truth tables to determine if a sentence is true by its atoms that we should instead assume parts of it as other parts by checking each others truths match enough?
« Last Edit: December 11, 2018, 01:17:29 pm by LOCKSUIT »
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #36 on: December 11, 2018, 01:31:59 pm »
see above:

P.S., I woke up this morning in the middle of my sleep saying "and the propositional logic derivatives..." and was like oh no...lol...clearly it was running through my WM once 'me' awoked
Emergent          https://openai.com/blog/

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #37 on: December 11, 2018, 03:58:26 pm »
see above


You'll like this one lol:

{p, q} p or q is true....{¬q, r} q is false or r is true....If q is false, then by the first clause p must be true. If q is true, then, by the second clause, r must be true. Since q must be either true or false, then it must be the case that either p is true or r is true. So we should be able to derive the clause {p, r}

p=born in mom
q=alien instead
r=grew up with alien
either I was born in my mom or an alien..........either I wasn't born in an alien or I grew up with a alien
I was born in my mom or I was born in an alien and grew up with the alien
Emergent          https://openai.com/blog/

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Trusty Member
  • **********************
  • Colossus
  • *
  • 5865
Re: Anyone wants to learn logic?
« Reply #38 on: December 11, 2018, 09:12:26 pm »
Hey Lock,

Here's one of my favorite T-shirts containing a bit of logical "choices" or perhaps not so much...Either way, it doesn't look very good for humans.
So much for logic...
In the world of AI, it's the thought that counts!

*

8pla.net

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1302
  • TV News. Pub. UAL (PhD). Robitron Mod. LPC Judge.
    • 8pla.net
Re: Anyone wants to learn logic?
« Reply #39 on: December 11, 2018, 09:35:40 pm »
Emo has learned negation.  The symbol of negation is: ~

Example:

INPUT: Learn the world is not flat

OUTPUT: world ~ flat

TRANSLATION:   world not flat

Reference:  http://chatbot.ml/emo
My Very Enormous Monster Just Stopped Using Nine

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #40 on: December 12, 2018, 08:35:06 am »
If anyone wants Logic to be incorporated into an AGI, you'll have to twist it in and out from where it is now, of course. Make something new, but come up with the answers.
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1723
    • mind-child
Re: Anyone wants to learn logic?
« Reply #41 on: December 12, 2018, 11:11:31 am »
Art, here is another one, hehe  ;D

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • *******************
  • Prometheus
  • *
  • 4659
  • First it wiggles, then it is rewarded.
    • Main Project Thread
Re: Anyone wants to learn logic?
« Reply #42 on: December 12, 2018, 11:19:46 am »
Excellent, Ivan, Excellent! Very well laid out. It seems ready to implement. I would be scared too, it seems it is not any good!

On Lesson 6....I don't have the time to grasp it at full fledged details, so, ivan, a lesson back or so, can you explain in pure English using an simple example of concept explaining what it means about the "eliminate double negations"? Is that like two sentences in premises that both contradict or say "it is not the case..."? Or something else like a meta technique with clauses like sidestep an alley just to reach the roof like a ninja (meta jobs)?
Emergent          https://openai.com/blog/

*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1723
    • mind-child
Re: Anyone wants to learn logic?
« Reply #43 on: December 12, 2018, 12:37:13 pm »
It's simple:
(~ ( ~ x)) -> x

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Trusty Member
  • **********************
  • Colossus
  • *
  • 5865
Re: Anyone wants to learn logic?
« Reply #44 on: December 12, 2018, 01:12:41 pm »
"I'm not going to not pick you".
(two negatives in English) = positive...You are going to get picked.
In the world of AI, it's the thought that counts!

 


OpenAI Speech-to-Speech Reasoning Demo
by ivan.moony (AI News )
March 28, 2024, 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

315 Guests, 0 Users

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

Articles