Message-ID:

Numeric stability is probably not all that important when you're guessing.

devel / comp.lang.prolog / Re: conversion to conjunctive normal form

conversion to conjunctive normal form

<7c4a48e4-df68-4620-b518-02a52718ff45n@googlegroups.com>

https://www.rocksolidbbs.com/devel/article-flat.php?id=1935&group=comp.lang.prolog#1935

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:622a:88:b0:3bf:d520:1d59 with SMTP id o8-20020a05622a008800b003bfd5201d59mr248861qtw.1.1679602927313;
Thu, 23 Mar 2023 13:22:07 -0700 (PDT)
X-Received: by 2002:a25:58c2:0:b0:b6c:48c3:3c1c with SMTP id
m185-20020a2558c2000000b00b6c48c33c1cmr2901906ybb.13.1679602927085; Thu, 23
Mar 2023 13:22:07 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 23 Mar 2023 13:22:06 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=86.28.97.229; posting-account=kJbRXgoAAADVvCa8xCOuqxtZ-KSaXUAS
NNTP-Posting-Host: 86.28.97.229
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7c4a48e4-df68-4620-b518-02a52718ff45n@googlegroups.com>
Subject: conversion to conjunctive normal form
From: dr.mtarver@ukonline.co.uk (Mark Tarver)
Injection-Date: Thu, 23 Mar 2023 20:22:07 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1306

by: Mark Tarver - Thu, 23 Mar 2023 20:22 UTC

Not specifically a Prolog problem but a logic problem,

Can anybody give me the CNF of this expression? You'll need a Prolog program to hand.

[[p <=> q] <=> r] <=> [p <=> [q <=> r]]

<=> meaning 'if and only if'; I don't care about the syntax too much. This is just check on a program I'm writing.

Mark

Re: conversion to conjunctive normal form

<743d601e-e6fc-473c-a936-342639fa93c9n@googlegroups.com>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1936&group=comp.lang.prolog#1936

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:6214:14ea:b0:5ab:d0c:51af with SMTP id k10-20020a05621414ea00b005ab0d0c51afmr439506qvw.6.1679656495620;
Fri, 24 Mar 2023 04:14:55 -0700 (PDT)
X-Received: by 2002:a05:6902:1586:b0:b76:ae61:b68c with SMTP id
k6-20020a056902158600b00b76ae61b68cmr857284ybu.10.1679656495311; Fri, 24 Mar
2023 04:14:55 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 24 Mar 2023 04:14:55 -0700 (PDT)
In-Reply-To: <7c4a48e4-df68-4620-b518-02a52718ff45n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=195.220.151.96; posting-account=sYWbRgoAAACyE_Qa7ytb3eBEnNw1n8_P
NNTP-Posting-Host: 195.220.151.96
References: <7c4a48e4-df68-4620-b518-02a52718ff45n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <743d601e-e6fc-473c-a936-342639fa93c9n@googlegroups.com>
Subject: Re: conversion to conjunctive normal form
From: frederic.mesnard@gmail.com (Fred Mesnard)
Injection-Date: Fri, 24 Mar 2023 11:14:55 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1227

by: Fred Mesnard - Fri, 24 Mar 2023 11:14 UTC

Re: conversion to conjunctive normal form

<e6fef8d3-4475-4b88-9ea3-417d7afb2cb7n@googlegroups.com>

copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=1967&group=comp.lang.prolog#1967

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:622a:28a:b0:3ef:33d0:88f4 with SMTP id z10-20020a05622a028a00b003ef33d088f4mr1418605qtw.7.1681924728580;
Wed, 19 Apr 2023 10:18:48 -0700 (PDT)
X-Received: by 2002:a25:cfd2:0:b0:b92:230a:65a3 with SMTP id
f201-20020a25cfd2000000b00b92230a65a3mr248519ybg.13.1681924728238; Wed, 19
Apr 2023 10:18:48 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.uzoreto.com!peer03.ams4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Wed, 19 Apr 2023 10:18:47 -0700 (PDT)
In-Reply-To: <7c4a48e4-df68-4620-b518-02a52718ff45n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <7c4a48e4-df68-4620-b518-02a52718ff45n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e6fef8d3-4475-4b88-9ea3-417d7afb2cb7n@googlegroups.com>
Subject: Re: conversion to conjunctive normal form
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Wed, 19 Apr 2023 17:18:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2201

by: Mostowski Collapse - Wed, 19 Apr 2023 17:18 UTC

Did you try LKF? Juggling with polarisation
might change the behaviour of such formulas.
You have at least two choices, a heuristic might

make a choice depending on polarity of context:

Choice 1:
A <=> B :<=> (A => B) & (B => A)
Choice 2:
A <=> B :<=> (A & B) | (~A & ~B)

Subject	Author
conversion to conjunctive normal form	Mark Tarver
Re: conversion to conjunctive normal form	Fred Mesnard
Re: conversion to conjunctive normal form	Mostowski Collapse