ตรรกะลำดับที่สองแบบโมนาดิคสำหรับ Dummies


14

ฉันเป็นโปรแกรมเมอร์ที่มีการจับออโตมาตะ แต่ไม่ใช่ในเชิงตรรกะ

ฉันอ่านในเอกสารว่าทั้งสองมีความสัมพันธ์กันแน่นมาก Finite Automata (DFA) ที่กำหนดอย่างชัดเจน Tree Automata และ Automatic Pushdown ที่มองเห็นได้ล้วนเกี่ยวข้องกับ Monadic Second Order Logic (MSO) แม้ว่าฉันจะเข้าใจออโตมาตะและผู้คน (ในเอกสาร) ได้พยายามอธิบายความสัมพันธ์กับ MSO ให้ฉันพวกเขามักจะมีพื้นฐานที่แข็งแกร่งในด้านตรรกะและความเข้าใจใน MSO

เมื่อฉันดูหนังสือและหลักสูตรเกี่ยวกับลอจิกพวกเขาส่วนใหญ่จะจัดการกับลอจิกลำดับแรกเท่านั้นซึ่งดูเหมือนจะค่อนข้างง่ายและประกอบด้วยแนวคิดเพียงไม่กี่อย่าง: ตัวแปรหรือหรือและไม่ใช่นัยสำหรับทุกคนที่มีอยู่ ฯลฯ

ใครสามารถอธิบายหรือชี้ให้ฉันไปยังทรัพยากรที่สามารถอธิบายได้:

  1. ตรรกะลำดับที่สองคืออะไรในทางตรงกันข้ามกับตรรกะลำดับแรก
  2. Monadic กับตรรกะที่ไม่ใช่ Monadic คืออะไร
  3. เหตุใดจึงเป็นสิ่งสำคัญที่ตรรกะลำดับที่สองที่จะเป็นแบบ monadic ที่จะตัดสินใจได้หรือทำไมคำถามนี้ผิด?
  4. เหตุใดจึงมีลอจิกลำดับที่สองที่เป็นเอกเทศ
  5. ความสัมพันธ์กับ DFA อย่างน้อย?

ถ้ามันเป็นทรัพยากรมันคงจะดีถ้ามันถือว่าฉันเป็นโปรแกรมเมอร์ไม่ใช่นักตรรกวิทยา ซึ่งหมายความว่าฉันต้องการที่จะเข้าใจว่าฉันจะใช้มันเป็นรหัสเพราะจนกระทั่งแล้วคณิตศาสตร์ก็รู้สึกเหมือนเวทมนตร์ให้ฉัน;)

ขอบคุณสำหรับความช่วยเหลือใด ๆ ที่คุณสามารถให้ฉัน ฉันจะขอบคุณมันจริงๆ


"ทำไมจึงเป็นเรื่องสำคัญที่ตรรกะลำดับที่สองที่จะเป็นแบบเอกเทศที่ต้องตัดสินใจได้หรือทำไมนี่จึงเป็นคำถามที่ผิด?" ถ้าคุณให้ปริมาณมากกว่าไบนารีกริยาเช่นจากนั้นคุณจะคว้าพลังของ First Order Logic ด้วยเพรดิเคตไบนารีเดียวซึ่งไม่สามารถตัดสินใจได้ (แม้จะไม่มีฟังก์ชั่นของ arity> 0 และไม่มีความเสมอภาค) [Kalmar, Suranyi, 1950]M[...M(x,y)...]
Vor

คำตอบ:


11
  1. ตรรกะลำดับที่สองคืออะไรในทางตรงกันข้ามกับตรรกะลำดับแรก
  2. Monadic กับตรรกะที่ไม่ใช่ Monadic คืออะไร

ลอจิกอันดับที่สองเป็นตรรกะลำดับที่หนึ่งบวกปริมาณที่มากกว่าเซต ดังนั้นเช่นเดียวกับความสามารถในการบอกว่ามีองค์ประกอบโดเมนที่มีคุณสมบัติบางอย่าง ( ) คุณยังสามารถพูดได้ว่ามีชุดขององค์ประกอบของโดเมนที่มีคุณสมบัติบางอย่าง ยกตัวอย่างเช่นเราสามารถกำหนดกราฟ 3 สีได้ด้วยการพูดx

RGB[x(xRxGxB)¬x((xRxG)(xGxB)(xBxR))xy(E(x,y)¬((xRyR)(xGyG)(xByB)))].

ในคำพูดมีสีแดงเขียวและน้ำเงินเช่นนั้น

  • จุดสุดยอดทุกคนมีสี
  • และไม่มีจุดสุดยอดมีสองสี
  • และถ้ามีขอบระหว่างจุดยอดสองจุดจุดสองจุดนั้นจะไม่มีสีเดียวกัน

kkk=11

  1. เหตุใดจึงเป็นสิ่งสำคัญที่ตรรกะลำดับที่สองที่จะเป็นแบบ monadic ที่จะตัดสินใจได้หรือทำไมคำถามนี้ผิด?

  2. เหตุใดจึงมีลอจิกลำดับที่สองที่เป็นเอกเทศ

สุจริตฉันไม่จำปัญหา decidability จุดสำคัญคือตรรกะลำดับที่สองเต็มรูปแบบช่วยให้คุณวัดปริมาณการเรียงลำดับเชิงเส้นของโดเมน

Rxyz[(R(x,y)R(y,x))((R(x,y)R(y,x))x=y)((R(x,y)R(y,z))R(x,z))].

DDnnDnn

(ฉันเดาว่าหากโดเมนของคุณไม่มีที่สิ้นสุดคุณอาจต้องระบุเพิ่มเติมว่าลำดับเชิงเส้นไม่ต่อเนื่องและมีองค์ประกอบน้อยที่สุดจากนั้นคุณก็รู้ว่ามันมีส่วนเริ่มต้นที่ isomorphic กับจำนวนธรรมชาติและควรเป็น พอ.)

R1RkφRiφ

  1. ความสัมพันธ์กับ DFA อย่างน้อย?

ΣRaaΣRa

kQ1,,QkQii

  • jQ1,,Qk
  • Q1
  • jQi(j+1)
  • ตำแหน่งสุดท้ายอยู่ในสถานะที่ยอมรับได้

jjj>jj

ตอนนี้ฉันไม่จำหลักฐานการสนทนา (ว่าทุกอย่างที่กำหนดได้ใน MSO สามารถรับรู้ได้โดยหุ่นยนต์ที่เหมาะสม) ถ้าฉันมีเวลาฉันจะดูมันและโพสต์ภาพร่าง

iX1iX

Ra(i)iaiXiXi<jij

ออโตมาตาพื้นฐาน

,¬i,Xc


เพิ่มคำแนะนำของฉันสำหรับการสนทนา รอการอนุมัติโดย @DavidRicherby
Hendrik

ขอบคุณสำหรับการตอบรับที่ดี ฉันยังคงประมวลผลทั้งหมดนี้และทำงานผ่านมันค้นหาคำศัพท์คิดว่าฉันจะใช้สิ่งนี้ได้อย่างไรในเวลาเดียวกันฉันคิดว่าหมายเลข 3 เป็นคำถามที่ผิด บางทีมันควรจะเป็นเพราะเหตุใดความสัมพันธ์ระหว่างออโตมาตะและตรรกะจึงสำคัญซึ่งถูกกล่าวถึงในบทความมากมาย?
Walter Schulze

ขอบคุณสำหรับคำตอบที่ยอดเยี่ยม!
คลาส
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.