Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Be *excellent* to each other." -- Bill, or Ted, in Bill and Ted's Excellent Adventure


devel / comp.lang.prolog / Re: The road to Artificial Intelligence

SubjectAuthor
* Re: The road to Artificial IntelligenceMild Shock
`* Re: The road to Artificial IntelligenceMild Shock
 `* Re: The road to Artificial IntelligenceMild Shock
  `* Re: The road to Artificial IntelligenceMild Shock
   `* Re: The road to Artificial IntelligenceMild Shock
    `- Re: The road to Artificial IntelligenceMikko

1
Re: The road to Artificial Intelligence

<url15e$m5i4$3@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: The road to Artificial Intelligence
Date: Tue, 27 Feb 2024 17:03:59 +0100
Message-ID: <url15e$m5i4$3@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
<338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 27 Feb 2024 16:03:58 -0000 (UTC)
Injection-Info: solani.org;
logging-data="726596"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:bOXFLygCwaPDSZgKIN+px8xFhuQ=
In-Reply-To: <338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>
X-User-ID: eJwVxckRACEIBMCUOIYBwxGV/EPY2v50OJUnwSBiYnJ1zRhHnuHYhnPO7n9R1XaaoN8KQFhxtR4M4thyE7U+RZkUYw==
 by: Mild Shock - Tue, 27 Feb 2024 16:03 UTC

Terence Tao, "Machine Assisted Proof"
https://www.youtube.com/watch?v=AayZuuDDKP0

Mostowski Collapse schrieb:
> Don't buy your Pearls in Honk Kong. They are all fake.
>
> So what do you prefer, this Haskell monster:
> https://www.cs.nott.ac.uk/~pszgmh/countdown.pdf

Re: The road to Artificial Intelligence

<ut45h5$1efic$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: The road to Artificial Intelligence
Date: Sat, 16 Mar 2024 14:06:47 +0100
Message-ID: <ut45h5$1efic$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
<338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>
<url15e$m5i4$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 16 Mar 2024 13:06:45 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1523276"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:SxVTASny/YJuF8BPqjpLmfpaUDo=
In-Reply-To: <url15e$m5i4$3@solani.org>
X-User-ID: eJwNwokRwDAIA7CVIBhzGSd8+4/Q6uRGZQXohK+vWZccyDPhHYzwJVD2jkaVs7OSeid9Tsg2doAJjX935wdOdBXd
 by: Mild Shock - Sat, 16 Mar 2024 13:06 UTC

I didn't make all my homework yet.
For example just fiddling around with CLP(FD), I get:

?- maplist(in, Vs, [1\/3..4, 1..2\/4, 1..2\/4,
1..3, 1..3, 1..6]), all_distinct(Vs).
false.

Does Scryer Prolog CLP(Z) have some explanator for that?
What is exactly the conflict that it fails?

Mild Shock schrieb:
>
> Terence Tao, "Machine Assisted Proof"
> https://www.youtube.com/watch?v=AayZuuDDKP0
>
> Mostowski Collapse schrieb:
>> Don't buy your Pearls in Honk Kong. They are all fake.
>>
>> So what do you prefer, this Haskell monster:
>> https://www.cs.nott.ac.uk/~pszgmh/countdown.pdf

Re: The road to Artificial Intelligence

<ut45uc$1efp6$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: The road to Artificial Intelligence
Date: Sat, 16 Mar 2024 14:13:50 +0100
Message-ID: <ut45uc$1efp6$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
<338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>
<url15e$m5i4$3@solani.org> <ut45h5$1efic$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 16 Mar 2024 13:13:48 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1523494"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:yDX/FW2qrvwQ+pB9nrx5YCQsvrw=
X-User-ID: eJwFwQkBACAIBLBKIN8ZBxD6R3AzcfYOdXO1taWnWbmqaEeO3UAQxliLr0+5LPg0qPPZpCD0kdRZGRAHfVTPFTM=
In-Reply-To: <ut45h5$1efic$1@solani.org>
 by: Mild Shock - Sat, 16 Mar 2024 13:13 UTC

Or a more striking example, Peter Norvig's impossible
Sudoku, which he claims took him 1439 seconds
to show that it is unsolvable:

/* Peter Norvig */
problem(9, [[_,_,_,_,_,5,_,8,_],
[_,_,_,6,_,1,_,4,3],
[_,_,_,_,_,_,_,_,_],
[_,1,_,5,_,_,_,_,_],
[_,_,_,1,_,6,_,_,_],
[3,_,_,_,_,_,_,_,5],
[5,3,_,_,_,_,_,6,1],
[_,_,_,_,_,_,_,_,4],
[_,_,_,_,_,_,_,_,_]]).

https://norvig.com/sudoku.html

whereby SWI-Prolog with all_distinct/1 does
it in a blink, even without labeling:

?- problem(9, M), time(sudoku(M)).
% 316,054 inferences, 0.016 CPU in 0.020 seconds
(80% CPU, 20227456 Lips)
false.

Pretty cool!

Mild Shock schrieb:
> I didn't make all my homework yet.
> For example just fiddling around with CLP(FD), I get:
>
> ?- maplist(in, Vs, [1\/3..4, 1..2\/4, 1..2\/4,
>           1..3, 1..3, 1..6]), all_distinct(Vs).
> false.
>
> Does Scryer Prolog CLP(Z) have some explanator for that?
> What is exactly the conflict that it fails?
>
> Mild Shock schrieb:
>>
>> Terence Tao, "Machine Assisted Proof"
>> https://www.youtube.com/watch?v=AayZuuDDKP0
>>
>> Mostowski Collapse schrieb:
>>> Don't buy your Pearls in Honk Kong. They are all fake.
>>>
>>> So what do you prefer, this Haskell monster:
>>> https://www.cs.nott.ac.uk/~pszgmh/countdown.pdf
>

Re: The road to Artificial Intelligence

<utnsb9$1o5dp$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: The road to Artificial Intelligence
Date: Sun, 24 Mar 2024 01:32:42 +0100
Message-ID: <utnsb9$1o5dp$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
<338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>
<url15e$m5i4$3@solani.org> <ut45h5$1efic$1@solani.org>
<ut45uc$1efp6$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 24 Mar 2024 00:32:41 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1840569"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:kr6KebFdbAHn2s8eEKs2tY8j+T0=
In-Reply-To: <ut45uc$1efp6$1@solani.org>
X-User-ID: eJwNyckRACEIBMCUlmsYwlGU/ENYq58dBkGnI+Axz0fuIldnlODluGVRtI+5iUrUPSLr+Ci8ljfBvMXeTe0fGvUUZg==
 by: Mild Shock - Sun, 24 Mar 2024 00:32 UTC

Now I have the feeling there are no difficult 9x9
Sudokus for the computer. At least not for computers
running SWI-Prolog and using CLP(FD) with the global
constraint all_distinct/1.

I was fishing among the 17-clue Sudokus, and the
hardest I could find so far was this one:

/* Gordon Royle #3668 */
problem(11,[[_,_,_,_,_,_,_,_,_],
[_,_,_,_,_,_,_,1,2],
[_,_,3,_,_,4,_,_,_],
[_,_,_,_,_,_,_,_,3],
[_,1,_,2,5,_,_,_,_],
[6,_,_,_,_,_,7,_,_],
[_,_,_,_,2,_,_,_,_],
[_,_,7,_,_,_,4,_,_],
[5,_,_,1,6,_,_,8,_]]).

But SWI-Prolog still does it in around 3 seconds.
SWI-Prolog does other 17-clue Sudokus in less than 100ms.

Are there any 17-clue Sudokus that take more time?

Mild Shock schrieb:
>
> Or a more striking example, Peter Norvig's impossible
> Sudoku, which he claims took him 1439 seconds
> to show that it is unsolvable:
>
> /* Peter Norvig */
> problem(9, [[_,_,_,_,_,5,_,8,_],
>             [_,_,_,6,_,1,_,4,3],
>             [_,_,_,_,_,_,_,_,_],
>             [_,1,_,5,_,_,_,_,_],
>             [_,_,_,1,_,6,_,_,_],
>             [3,_,_,_,_,_,_,_,5],
>             [5,3,_,_,_,_,_,6,1],
>             [_,_,_,_,_,_,_,_,4],
>             [_,_,_,_,_,_,_,_,_]]).
>
> https://norvig.com/sudoku.html
>
> whereby SWI-Prolog with all_distinct/1 does
> it in a blink, even without labeling:
>
> ?- problem(9, M), time(sudoku(M)).
> % 316,054 inferences, 0.016 CPU in 0.020 seconds
>  (80% CPU, 20227456 Lips)
> false.
>
> Pretty cool!
>
> Mild Shock schrieb:
>> I didn't make all my homework yet.
>> For example just fiddling around with CLP(FD), I get:
>>
>> ?- maplist(in, Vs, [1\/3..4, 1..2\/4, 1..2\/4,
>>            1..3, 1..3, 1..6]), all_distinct(Vs).
>> false.
>>
>> Does Scryer Prolog CLP(Z) have some explanator for that?
>> What is exactly the conflict that it fails?
>>
>> Mild Shock schrieb:
>>>
>>> Terence Tao, "Machine Assisted Proof"
>>> https://www.youtube.com/watch?v=AayZuuDDKP0
>>>
>>> Mostowski Collapse schrieb:
>>>> Don't buy your Pearls in Honk Kong. They are all fake.
>>>>
>>>> So what do you prefer, this Haskell monster:
>>>> https://www.cs.nott.ac.uk/~pszgmh/countdown.pdf
>>
>

Re: The road to Artificial Intelligence

<utpnnq$1p6qe$1@solani.org>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: The road to Artificial Intelligence
Date: Sun, 24 Mar 2024 18:26:20 +0100
Message-ID: <utpnnq$1p6qe$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
<338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com>
<url15e$m5i4$3@solani.org> <ut45h5$1efic$1@solani.org>
<ut45uc$1efp6$1@solani.org> <utnsb9$1o5dp$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 24 Mar 2024 17:26:18 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1874766"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:v26cbcU2AWhoYu9av/L0VgzY4Rc=
In-Reply-To: <utnsb9$1o5dp$1@solani.org>
X-User-ID: eJwFwQEBACAIA7BKgD9qHEXeP4IbR3rWRDJBURWQ9X3eDjJsYapRmFfxdA0K2JGfo1Vtw3dUju2s5n6sD2D4FeI=
 by: Mild Shock - Sun, 24 Mar 2024 17:26 UTC

Is 3 seconds even enough to generate
unique Sudokus? How many trials would be
needed? The uniqueness problem

seems to have no useful reduction,
already the question whether a partial
latin square has a unique solution

is NP complete?

Finding Another Solution
T. Yato & T. Seta - 2002
https://academic.timwylie.com/17CSCI4341/sudoku.pdf

Mild Shock schrieb:
> Now I have the feeling there are no difficult 9x9
> Sudokus for the computer. At least not for computers
> running SWI-Prolog and using CLP(FD) with the global
> constraint all_distinct/1.
>
> I was fishing among the 17-clue Sudokus, and the
> hardest I could find so far was this one:
>
> /* Gordon Royle #3668 */
> problem(11,[[_,_,_,_,_,_,_,_,_],
>             [_,_,_,_,_,_,_,1,2],
>             [_,_,3,_,_,4,_,_,_],
>             [_,_,_,_,_,_,_,_,3],
>             [_,1,_,2,5,_,_,_,_],
>             [6,_,_,_,_,_,7,_,_],
>             [_,_,_,_,2,_,_,_,_],
>             [_,_,7,_,_,_,4,_,_],
>             [5,_,_,1,6,_,_,8,_]]).
>
> But SWI-Prolog still does it in around 3 seconds.
> SWI-Prolog does other 17-clue Sudokus in less than 100ms.
>
> Are there any 17-clue Sudokus that take more time?

Re: The road to Artificial Intelligence

<utrasn$v9ia$1@dont-email.me>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: mikko.le...@iki.fi (Mikko)
Newsgroups: comp.lang.prolog
Subject: Re: The road to Artificial Intelligence
Date: Mon, 25 Mar 2024 09:59:19 +0200
Organization: -
Lines: 21
Message-ID: <utrasn$v9ia$1@dont-email.me>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com> <338dc0fb-4a93-405f-99da-7799d25ddc91n@googlegroups.com> <url15e$m5i4$3@solani.org> <ut45h5$1efic$1@solani.org> <ut45uc$1efp6$1@solani.org> <utnsb9$1o5dp$1@solani.org> <utpnnq$1p6qe$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 25 Mar 2024 08:59:20 +0100
Injection-Info: dont-email.me; posting-host="6d1bd850d904c30079eadb044e07e806";
logging-data="1025610"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+D4ghwlzSW9FUBpjk7W3qs"
User-Agent: Unison/2.2
Cancel-Lock: sha1:Lxmjb/he8tswAtRxsViNfFBYLwQ=
 by: Mikko - Mon, 25 Mar 2024 07:59 UTC

On 2024-03-24 17:26:20 +0000, Mild Shock said:

> https://academic.timwylie.com/17CSCI4341/sudoku.pdf

For an expamle about what is reasonable to expect see pages
https://mlevanto.github.io/solver.html
https://mlevanto.github.io/SudokuV.html
https://mlevanto.github.io/Latina.html

The first one is a solver. It also determines whether the
solution is unique.

The other two problem generators. They are a bit slow but
still usable.

Buttons at the bottom are for saving the problem or solution
in different file formats.

--
Mikko


devel / comp.lang.prolog / Re: The road to Artificial Intelligence

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor