【論理】Prolog【初心者】

[1 デフォルトの名無しさん 2010/11/06(土) 13:00:56]

Prolog初心者のスレ

これは良い言語だ…

[966 964 2021/12/06(月) 19:23:33.90 ID:JCSphZpm]

>>965
正直者は必ず本当のことを言い、うそつきは必ずうそをつくという条件があるので
Aが正直者であるかどうかとAが言っていることが正しいかどうかの真偽は同じになるということで、それを制約論理の式で表すだけ
A=:=(~D)は、A(Aが正直者であること)と(~D)(Aの発言内容「Dは嘘つきだ」)の真偽が一致している(=:=)ということ
Aが真なら(~D)も真だし、Aが偽なら(~D)も偽
他の３人についても同様
これをリンク先にある制約論理で表す
０　　　偽
1　　　真
~P　　　not P
P*Q　　P and Q
P+Q　　P or Q
P=<Q　　PならばQ
P=:=Q　　PとQの真偽は同じ
P=\=Q　　PとQの真偽は異なる

[967 964 2021/12/06(月) 19:33:58.30 ID:JCSphZpm]

制約論理を使わない(使えない)場合はどうしたらいいんだろ
d:-d.なんて書いても無限ループになるだけだし

[968 デフォルトの名無しさん 2022/11/14(月) 14:12:20.00 ID:i6KxBWUg]

>>961-967
こういうのとか

s(A,B,C,D) :-
( A=true; A=false),
( B=true; B=false),
( C=true; C=false),
( D=true; D=false),
( A=true -> D=false ; true),
( A=false -> D=true ; true),
( B=true -> (A=true ; D=true); true) ,
( B=false -> A=false,D=false ; true),
C=B.

考え方は>>966と同じ
>正直者は必ず本当のことを言い、うそつきは必ずうそをつくという条件があるので
>Aが正直者であるかどうかとAが言っていることが正しいかどうかの真偽は同じになる

SWI-Prologで実行したら解は2つ

A = B, B = C, C = true, D = false
A,B,Cが正直者でDが嘘つき

A = false, B = C, C = D, D = true
Aが嘘つきでB,C,Dが正直者

これと同じだな
>これはBとCは正直、AとDのうち一人は正直でもう一人は嘘つきだけど
>どちらが嘘つきかは分からない

[969 デフォルトの名無しさん 2022/11/15(火) 01:18:50.21 ID:26oE0jcj]

>>968
変えてみた

s2(A,B,C,D) :-
( A=true; A=false),
( B=true; B=false),
( C=true; C=false),
( D=true; D=false),
( A -> D=false ; D=true),
( B -> (A=true ; D=true) ; A=false,D=false),
C=B.

[970 デフォルトの名無しさん 2022/11/15(火) 01:39:59.69 ID:26oE0jcj]

>>969
変えてみた

s3(A,B,C,D) :-
Boolean=[true,false],
( member(A, Boolean)),
( member(B, Boolean)),
( member(C, Boolean)),
( member(D, Boolean)),
( A -> D=false ; D=true),
( B -> (A=true ; D=true) ; A=false,D=false),
C=B.

[971 デフォルトの名無しさん 2022/11/16(水) 07:59:27.34 ID:KZpN7KA1]

>>961
R. Smullyanのto mock a mocking birdの前編はこういう問題の宝庫でおすすめ
多分最も影響力のある論理学の啓蒙書だから釈迦に説法かもしれんが

公務員試験でもあるな、これくらいなら表書けば解ける、多分

[972 デフォルトの名無しさん 2022/11/16(水) 09:10:20.86 ID:CQNdPPMd]

表を書いてみる

s4 :-
writeln("A B C D"),
writeln(""),
Boolean=[true,false],
forall(
( ( member(A,Boolean)),
( member(B,Boolean)),
( member(C,Boolean)),
( member(D,Boolean))),
( ( A->write("T ");write("F ")),
( B->write("T ");write("F ")),
( C->write("T ");write("F ")),
( D->write("T ");write("F ")),
( ( A -> D=false ; D=true),
( B -> (A=true ; D=true) ; A=false,D=false),
C=B
-> writeln("○")
; writeln("×")))).

[973 デフォルトの名無しさん 2023/04/28(金) 14:17:28.49 ID:8wk3+eV/]

、

[974 デフォルトの名無しさん 2023/04/28(金) 14:18:28.04 ID:8wk3+eV/]

こんばんは

[975 デフォルトの名無しさん 2023/04/28(金) 14:18:45.43 ID:8wk3+eV/]

サイフォン

[976 デフォルトの名無しさん 2023/04/28(金) 14:19:22.07 ID:8wk3+eV/]

てえすと

[977 デフォルトの名無しさん 2023/04/28(金) 14:19:35.56 ID:8wk3+eV/]

究極のテスト

[978 デフォルトの名無しさん 2023/04/28(金) 14:19:58.05 ID:8wk3+eV/]

。

[979 デフォルトの名無しさん 2023/04/28(金) 14:20:16.76 ID:8wk3+eV/]

。？

[980 デフォルトの名無しさん 2023/04/28(金) 14:20:31.31 ID:8wk3+eV/]

マルチメディアってわけですね

[981 デフォルトの名無しさん 2023/04/28(金) 14:21:01.39 ID:8wk3+eV/]

え？

[982 デフォルトの名無しさん 2023/04/28(金) 14:21:07.70 ID:8wk3+eV/]

マジなのか？

[983 デフォルトの名無しさん 2023/04/28(金) 14:43:40.60 ID:8wk3+eV/]

めすや

[984 デフォルトの名無しさん 2023/04/28(金) 14:43:49.65 ID:8wk3+eV/]

ファイト

[985 デフォルトの名無しさん 2023/04/28(金) 15:28:13.87 ID:8wk3+eV/]

を

[986 デフォルトの名無しさん 2023/04/28(金) 15:28:19.38 ID:8wk3+eV/]

ルンバ

[987 デフォルトの名無しさん 2023/04/28(金) 16:33:24.56 ID:1++JLEfi]

てすや

[988 デフォルトの名無しさん 2023/04/28(金) 16:33:30.09 ID:1++JLEfi]

マジで

[989 デフォルトの名無しさん 2023/04/28(金) 20:43:36.57 ID:tkMERdaz]

アドバンス

[990 デフォルトの名無しさん 2023/04/28(金) 20:56:50.79 ID:tkMERdaz]

テスト

[991 デフォルトの名無しさん 2023/04/28(金) 20:57:07.91 ID:tkMERdaz]

、

[992 デフォルトの名無しさん 2023/04/28(金) 20:57:43.18 ID:tkMERdaz]

田中

[993 デフォルトの名無しさん 2023/04/28(金) 20:58:09.56 ID:tkMERdaz]

この頃

[994 デフォルトの名無しさん 2023/04/28(金) 20:58:39.01 ID:tkMERdaz]

こんばんは

[995 デフォルトの名無しさん 2023/04/28(金) 20:59:00.21 ID:tkMERdaz]

商店街

[996 デフォルトの名無しさん 2023/04/28(金) 20:59:20.67 ID:tkMERdaz]

。、

[997 デフォルトの名無しさん 2023/04/28(金) 20:59:45.91 ID:tkMERdaz]

コンフィデンス

[998 デフォルトの名無しさん 2023/04/28(金) 21:00:11.27 ID:tkMERdaz]

ごフレ

[999 デフォルトの名無しさん 2023/04/28(金) 21:00:17.86 ID:tkMERdaz]

。

[1000 デフォルトの名無しさん 2023/04/28(金) 21:00:52.22 ID:tkMERdaz]

にたな