Anyone wants to learn logic?

  • 124 Replies
  • 3092 Views
*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1179
    • Some of my projects
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.

 :-*
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

8pla.net

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1122
  • 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.
  • Global Moderator
  • *********************
  • Deep Thought
  • *
  • 5252
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
  • **************
  • Dot Matrix
  • *
  • 2491
  • First it wiggles, then it is rewarded.
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

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1179
    • Some of my projects
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))
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • **************
  • Dot Matrix
  • *
  • 2491
  • First it wiggles, then it is rewarded.
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

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • **************
  • Dot Matrix
  • *
  • 2491
  • First it wiggles, then it is rewarded.
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

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • **************
  • Dot Matrix
  • *
  • 2491
  • First it wiggles, then it is rewarded.
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

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Global Moderator
  • *********************
  • Deep Thought
  • *
  • 5252
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
  • **********
  • Millennium Man
  • *
  • 1122
  • 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
  • **************
  • Dot Matrix
  • *
  • 2491
  • First it wiggles, then it is rewarded.
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

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1179
    • Some of my projects
Re: Anyone wants to learn logic?
« Reply #41 on: December 12, 2018, 11:11:31 am »
Art, here is another one, hehe  ;D
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

LOCKSUIT

  • Emerged from nothing
  • Trusty Member
  • **************
  • Dot Matrix
  • *
  • 2491
  • First it wiggles, then it is rewarded.
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

*

ivan.moony

  • Trusty Member
  • **********
  • Millennium Man
  • *
  • 1179
    • Some of my projects
Re: Anyone wants to learn logic?
« Reply #43 on: December 12, 2018, 12:37:13 pm »
It's simple:
(~ ( ~ x)) -> x
Dream big. The bigger the dream is, the more beautiful place the world becomes.

*

Art

  • At the end of the game, the King and Pawn go into the same box.
  • Global Moderator
  • *********************
  • Deep Thought
  • *
  • 5252
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!

 


Users Online

142 Guests, 2 Users
Users active in past 15 minutes:
philatronic, ivan.moony
[Roomba]
[Trusty Member]

Most Online Today: 143. Most Online Ever: 259 (February 07, 2019, 07:00:00 am)

Articles