1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • Re: Investigating Proof Graphs: Euclid

    From Mostowski Collapse@21:1/5 to All on Mon Jan 9 01:44:43 2023
    I guess the logic component of ChatGPT
    needs some improvement. a) lets first
    assure ourselvs that p & q → p is tautology.

    p q ((p ∧ q) → p)
    F F T
    F T T
    T F T
    T T T
    Truth Table Generator https://web.stanford.edu/class/cs103/tools/truth-table-tool/

    b) Now what is ChatGPTs opinion on that:

    No, “p and q” does not imply “p.”

    The statement “p and q” means that both p
    and q are true. However, this does not
    necessarily mean that p is true on its own.
    For example, consider the following statements:

    “It is raining and the sun is shining.”
    “The earth is round and the moon is round.”
    In both of these cases, “p and q” is true,
    but neither “p” nor “q” is true on its own.

    I made a screenshot.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Mon Jan 9 02:02:13 2023
    Credits: Fritz Feldhase, he suggested this question:

    Does p and q imply p?

    On de.sci.mathematik

    Mostowski Collapse schrieb am Montag, 9. Januar 2023 um 10:44:45 UTC+1:
    I guess the logic component of ChatGPT
    needs some improvement. a) lets first
    assure ourselvs that p & q → p is tautology.

    p q ((p ∧ q) → p)
    F F T
    F T T
    T F T
    T T T
    Truth Table Generator https://web.stanford.edu/class/cs103/tools/truth-table-tool/

    b) Now what is ChatGPTs opinion on that:

    No, “p and q” does not imply “p.”

    The statement “p and q” means that both p
    and q are true. However, this does not
    necessarily mean that p is true on its own.
    For example, consider the following statements:

    “It is raining and the sun is shining.”
    “The earth is round and the moon is round.”
    In both of these cases, “p and q” is true,
    but neither “p” nor “q” is true on its own.

    I made a screenshot.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to Mostowski Collapse on Fri Jan 27 07:50:18 2023
    I guess ChatGBT is more ChatCBD:

    Cannabidiol (CBD) is a phytocannabinoid discovered in 1940.
    Phytocannabinoids are cannabinoids that occur naturally
    in the cannabis plant.
    https://en.wikipedia.org/wiki/Cannabidiol

    LoL

    Mostowski Collapse schrieb am Montag, 9. Januar 2023 um 11:02:15 UTC+1:
    Credits: Fritz Feldhase, he suggested this question:

    Does p and q imply p?

    On de.sci.mathematik
    Mostowski Collapse schrieb am Montag, 9. Januar 2023 um 10:44:45 UTC+1:
    I guess the logic component of ChatGPT
    needs some improvement. a) lets first
    assure ourselvs that p & q → p is tautology.

    p q ((p ∧ q) → p)
    F F T
    F T T
    T F T
    T T T
    Truth Table Generator https://web.stanford.edu/class/cs103/tools/truth-table-tool/

    b) Now what is ChatGPTs opinion on that:

    No, “p and q” does not imply “p.”

    The statement “p and q” means that both p
    and q are true. However, this does not
    necessarily mean that p is true on its own.
    For example, consider the following statements:

    “It is raining and the sun is shining.”
    “The earth is round and the moon is round.”
    In both of these cases, “p and q” is true,
    but neither “p” nor “q” is true on its own.

    I made a screenshot.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mostowski Collapse@21:1/5 to All on Fri Mar 17 02:05:11 2023
    R.I.P. Roger Carl Schank! († January 29, 2023)

    The central focus of Schank’s theory has been
    the structure of knowledge, especially in the context
    of language understanding. Schank (1975) outlined
    contextual dependency theory which deals with the
    representation of meaning in sentences. Building upon
    this framework, Schank & Abelson (1977) introduced
    the concepts of scripts, plans and themes to handle
    **story-level** understanding. Later work (e.g., Schank,
    1982,1986) elaborated the theory to encompass other
    aspects of cognition.
    https://www.instructionaldesign.org/theories/script-theory

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)