ภาคผนวก ง — ค่าที่สี่
ทำไม "ไม่มีหลักฐาน" กับ "หลักฐานคัดค้าน" จึงต้องไม่มีวันเป็นตัวเลขเดียวกัน
ภาคผนวกนี้ตอบคำถามหนึ่งที่กลายเป็นว่าอยู่ใต้หนังสือทั้งเล่ม: สถานะของหลักฐานชิ้นหนึ่งเป็นสิ่งแบบ*ไหน* และเกิดอะไรขึ้นเมื่อระบบเข้าใจผิดว่ามันเป็นสิ่งแบบไหน
นี่คือส่วนที่เป็นนามธรรมที่สุดในหนังสือเล่มนี้ และก็เป็นส่วนที่ส่งผลโดยตรงที่สุดต่อสิ่งที่คุณจะสร้าง ขึ้นมา
ความล้มเหลว กล่าวเป็นรูปธรรมก่อน
กรมตำรวจนครบาลลอสแอนเจลิส ในปฏิบัติการ LASER ดูแลรายชื่อ "ผู้กระทำผิดซ้ำเรื้อรัง" ผู้ตรวจการทั่วไป ของหน่วยงานเองพบว่า เกือบครึ่งหนึ่ง ของคนในรายชื่อเหล่านั้นมีประวัติจับกุมคดีรุนแรง ศูนย์หรือ หนึ่งครั้ง และประมาณ 10% ไม่มีปฏิสัมพันธ์ที่มีคุณภาพกับตำรวจบันทึกไว้เลย (บทที่ 6) [ESTABLISHED]
อ่านเรื่องนี้ในฐานะปัญหาตรรกะ ไม่ใช่ปัญหานโยบาย คนที่มีประวัติจับกุมศูนย์ครั้งกับคนที่มีหนึ่งครั้ง ต่างก็ถูกให้คะแนนโดยระบบที่รับ*บันทึก*เป็นข้อมูลนำเข้า แต่ศูนย์บันทึกไม่ใช่ค่าต่ำ ศูนย์บันทึกคือ การไม่มีข้อมูล และการไม่มีข้อมูลเป็นสิ่งคนละแบบกับการวัดค่าที่ต่ำ — ต่างกันพอ ๆ กับถ้วยตวงที่ว่าง เปล่ากับถ้วยตวงที่วัดได้ศูนย์มิลลิลิตร
ระบบมีช่องทางเดียวสำหรับแสดงทั้งสองอย่าง มันจึงแสดงทั้งคู่เป็นตัวเลขน้อย ๆ และตัวเลขน้อย ๆ ก็รวมกับ ตัวเลขน้อย ๆ อื่นจนได้คะแนนออกมา แล้วคะแนนนั้นก็ถูกใส่ลงในรายชื่อ และรายชื่อนั้นก็ถูกส่งไปถึงเจ้า หน้าที่
นั่นคือเนื้อหาทั้งหมดของภาคผนวกนี้ และทุกอย่างที่ตามมาข้างล่างคือกลไกที่เป็นทางการสำหรับพูดเรื่องนี้ ให้แม่นยำ
1 · ค่าสามค่า
ตรรกศาสตร์คลาสสิกมีสองค่า: จริงกับเท็จ ทุกประพจน์เป็นอย่างใดอย่างหนึ่ง และไม่มีตัวเลือกที่สาม นี่คือ ข้อสมมติที่หนักแน่น และมันถูกตั้งคำถามมานานนับศตวรรษแล้ว
Jan Łukasiewicz (1920) เสนอตรรกศาสตร์สามค่าอย่างเป็นระบบเป็นคนแรก โดยได้แรงจูงใจจากเหตุการณ์ อนาคตที่ยังไม่แน่นอน — การรบทางเรือของอริสโตเติลในวันพรุ่งนี้ ซึ่งดูเหมือนกับเขาว่าไม่จริงและไม่เท็จ ค่าที่สามคือ เป็นไปได้ หรือ ยังไม่แน่นอน [ESTABLISHED]
Stephen Kleene (1938, 1952) ให้ความหมายค่าที่สามในแบบที่ต่างออกไป และสำหรับจุดประสงค์ของเรา มีประโยชน์กว่ามาก: ยังไม่นิยาม หรือไม่ทราบ — ค่าของการคำนวณที่ยังไม่คืนผลลัพธ์ Kleene แยก ตรรกศาสตร์สามค่าออกเป็นแบบ เข้ม กับแบบ อ่อน และความต่างนั้นอยู่ตรงที่ความไม่รู้แพร่กระจาย อย่างไรพอดี ในตรรกศาสตร์แบบเข้ม "ไม่ทราบ หรือ จริง" มีค่าเป็น จริง — คุณไม่จำเป็นต้องคลี่คลาย ส่วนที่ไม่ทราบ เพราะตัวเลือกที่จริงตัวเดียวก็ชี้ขาดได้แล้ว ในตรรกศาสตร์แบบอ่อน องค์ประกอบที่ไม่ทราบ ใด ๆ จะปนเปื้อนสูตรทั้งหมด [ESTABLISHED] (SEP, Many-Valued Logic)
ความต่างนั้นไม่ใช่เรื่องวิชาการเปล่า ๆ มันคือความต่างระหว่างระบบสืบสวนที่บอกว่า "ผมประเมินผู้ต้อง สงสัยรายนี้ไม่ได้เพราะมีข้อมูลหนึ่งช่องหายไป" กับระบบที่บอกว่า "การเชื่อมโยงที่ยืนยันแล้วหนึ่งจุดก็ เพียงพอไม่ว่าอะไรจะหายไปอีก" พฤติกรรมทั้งสองแบบต่างก็มีเหตุผลรองรับได้ แต่การเลือกระหว่างสองแบบนี้ โดยไม่ตั้งใจนั้นไม่มีเหตุผลรองรับ
ถ้าคุณเคยเขียน SQL คุณก็เคยใช้ตรรกศาสตร์สามค่ามาแล้ว โมเดลเชิงสัมพันธ์ของ Codd ให้สถานะนี้แก่ NULL โดยตรง และการเปรียบเทียบกับ NULL จะคืนค่า UNKNOWN แทนที่จะเป็นเท็จ มันยังเป็นคุณสมบัติ ที่ถูกวิจารณ์มากที่สุดของภาษานี้ด้วย ส่วนใหญ่เป็นเพราะคนที่เขียนคิวรีไม่รู้ตัวว่ากำลังอยู่ในตรรกศาสตร์ แบบไหน [ESTABLISHED] (SQL and the snare of three-valued logic; Nulls, three-valued logic and ambiguity in SQL)
2 · ค่าที่สี่ และชายผู้ต้องการมันสำหรับปัญหาของเราโดยเฉพาะ
ในปี 1977 Nuel Belnap ตีพิมพ์งานสองชิ้นที่เกี่ยวข้องกันอย่างใกล้ชิด — A Useful Four-Valued Logic และ How a Computer Should Think [ESTABLISHED] (Belnap, "A Useful Four-Valued Logic," in Dunn & Epstein eds., Modern Uses of Multiple-Valued Logic, Reidel, 1977, pp. 5–37 — Springer; and "How a Computer Should Think," in Ryle ed., Contemporary Aspects of Philosophy, Oriel Press, 1977, pp. 30–56. Citations verified against the reference list of Sutcliffe, Pelletier & Hazen, FLAIRS-31, 2018.)
โจทย์ที่จุดประกายความคิดของเขาคือเครื่องตอบคำถามที่ถือฐานความรู้ซึ่งป้อนข้อมูลมาจากหลายแหล่ง — เครื่องที่อาจถูกบอกเรื่องที่ขัดแย้งกัน และมีหัวข้อที่ไม่เคยถูกบอกอะไรเลย เขาสังเกตว่าตรรกศาสตร์ คลาสสิกจัดการทั้งสองกรณีได้แย่มาก และแย่ไปคนละทิศทาง: มัน*ระเบิด*เมื่อเจอความขัดแย้ง และมันไม่มี อะไรน่าฟังจะพูดเกี่ยวกับความเงียบ
ค่าทั้งสี่ของเขาไม่ใช่ระดับความเข้ม แต่เป็นสถานะของสิ่งที่ระบบถูกบอก:
| ค่า | สิ่งที่ระบบได้รับการบอก |
|---|---|
| บอกว่าจริง | ว่า P และไม่ได้บอกว่าไม่ใช่ P |
| บอกว่าเท็จ | ว่าไม่ใช่ P และไม่ได้บอกว่า P |
| บอกทั้งสองอย่าง | ว่า P และ ว่าไม่ใช่ P — แหล่งข้อมูลขัดแย้งกัน |
| ไม่ได้บอกอะไรเลย | ไม่มีอะไรเกี่ยวกับ P เลย |
ทีนี้ลองดูระบบให้เกรดของหนังสือเล่มนี้เอง ซึ่งผมออกแบบไว้ก่อนอ่านงานของ Belnap และมันมาลงเอยที่ จุดใกล้เคียงกันมาก เพราะตัวโดเมนบังคับให้เป็นแบบนั้น:
| หนังสือเล่มนี้ | Belnap |
|---|---|
[ESTABLISHED] | บอกว่าจริง |
[CONTESTED] | บอกทั้งสองอย่าง |
[ABSENT] | ไม่ได้บอกอะไรเลย |
[CLAIMED] | (ไม่มีค่าที่ตรงกันในระบบของ Belnap — ดูด้านล่าง) |
สามในสี่ค่านั้นเป็นของ Belnap ค่าที่สี่ คือ [CLAIMED] ไม่มีสิ่งที่ตรงกันในระบบของเขา เพราะเครื่อง ของ Belnap ไว้ใจแหล่งข้อมูลของมัน แต่การสืบสวนไว้ใจไม่ได้ [CLAIMED] บันทึกไม่ใช่เนื้อหาของสิ่งที่ ถูกพูด แต่บันทึกผลประโยชน์ของผู้ที่พูดมัน — ผู้ขายที่กำลังขายเครื่องมือ หน่วยงานที่รายงานผลงานของ ตัวเอง นี่คือหมายเหตุเรื่องที่มามากกว่าจะเป็นค่าความจริง และมันคือแกนที่ท่าประจำบทของบทที่ 7 ทำงาน อยู่บนแกนนั้น
ข้อสรุปทั่วไปที่ควรพกติดตัวไว้คือ: บันทึกหลักฐานหนึ่งรายการต้องการอย่างน้อยสองมิติที่เป็นอิสระจากกัน — สิ่งที่เราถูกบอก กับ ใครเป็นคนบอก — และการยุบทั้งสองมิตินี้ลงเป็นตัวเลขความเชื่อมั่นตัวเดียว จะทำลายทั้งสองมิติไปพร้อมกัน
3 · ทำไมแฟ้มคดีจึงทำลายตรรกศาสตร์คลาสสิก
ตรรกศาสตร์คลาสสิกมีหลักการหนึ่งที่มักเรียกด้วยภาษาละตินว่า ex falso quodlibet (จากความเท็จ อะไรก็ตามก็ตามมาได้) หากมีความขัดแย้งเกิดขึ้น อะไรก็ตามก็สรุปได้ทั้งนั้น ถ้าระบบหนึ่งถือทั้ง P และ ไม่ใช่ P พร้อมกัน ทุกประพจน์ในภาษาของมันก็จะพิสูจน์ได้ทั้งหมด — ฐานความรู้นั้นไม่ได้แค่มีข้อผิดพลาด แต่กลายเป็นไร้ค่าอย่างเป็นทางการ
ตรรกศาสตร์ทนความขัดแย้ง (paraconsistent logic) — ระบบ LP ของ Graham Priest, ระบบของ Newton da Costa — ถูกสร้างขึ้นมาโดยเฉพาะเพื่อสกัดการระเบิดนั้น เพื่อให้ความขัดแย้งอยู่เฉพาะจุด แทนที่จะ ทำลายทุกอย่าง [ESTABLISHED] (SEP, Paraconsistent Logic; IEP)
เหตุที่เรื่องนี้สำคัญตรงนี้ พูดตรง ๆ คือ: แฟ้มคดีจริงทุกแฟ้มมีความขัดแย้งในตัวเอง พยานสองคนให้ เวลาที่ไม่ตรงกัน ข้ออ้างที่อยู่ของผู้ต้องสงสัยขัดแย้งกับบันทึกตำแหน่งเสาสัญญาณ คำร้องทุกข์หนึ่งบอกว่า ผู้โทรเป็นผู้หญิง อีกฉบับที่บรรยายบทพูดเดียวกันเป๊ะบอกว่าเป็นผู้ชาย นี่คือสภาพปกติของวัสดุการสืบสวน ไม่ใช่ข้อบกพร่องที่ต้องทำความสะอาดก่อนเริ่มให้เหตุผล
ตรรกศาสตร์คลาสสิกเสนอทางออกสองแบบ และทั้งคู่แย่พอกัน แบบแรกคือคลี่คลายความขัดแย้งทุกจุดก่อนให้ เหตุผล — ซึ่งหมายถึงการตัดสินว่าใครโกหกก่อนที่คุณจะสืบสวนเสร็จ นี่คือการมองอุโมงค์ของบทปิดท้าย ใน รูปแบบทางการ แบบที่สองคือให้เหตุผลต่อไปเลยแล้วได้ข้อสรุปที่ไร้สาระออกมา
คำตอบแบบทนความขัดแย้งคือสิ่งที่นักสืบที่ดีใช้กันอยู่แล้วอย่างไม่เป็นทางการ: ถือความขัดแย้งไว้เป็น สถานะที่ถูกทำเครื่องหมายและยังมีชีวิตอยู่ ผูกติดกับประพจน์นั้นโดยเฉพาะ ให้เหตุผลต่อไปกับทุกอย่างที่ เหลือ และปฏิบัติต่อความขัดแย้งนั้นเป็นวัตถุของการสืบสวนในตัวมันเอง ความขัดแย้งมักเป็นสิ่งที่ให้ข้อมูล มากที่สุดในแฟ้ม — มันคือจุดที่มีใครสักคนผิด และการหาว่าใครผิดก็มักจะเป็นตัวคดีเองพอดี
4 · ข้อสมมติที่ทำให้ความเงียบกลายเป็นคำโกหก
Raymond Reiter (1978) ตั้งชื่อข้อสมมติโลกปิด (closed-world assumption): ในฐานข้อมูลโลกปิด อะไรก็ตามที่พิสูจน์ไม่ได้จากสิ่งที่เก็บไว้ จะถูกอนุมานว่าเป็น*เท็จ* กฎ negation as failure ของ Keith Clark (1978) คือกฎเชิงทฤษฎีพิสูจน์ที่สอดคล้องกัน — การพิสูจน์ P ไม่สำเร็จ ทำให้สรุปว่าไม่ใช่ P ได้ [ESTABLISHED] (closed-world assumption, overview and primary references)
สำหรับระบบจองที่นั่งสายการบิน นี่ถูกต้องและจำเป็น ถ้าฐานข้อมูลไม่มีที่นั่งที่จองไว้ให้คุณ คุณก็ไม่มี ที่นั่ง
แต่สำหรับระบบข่าวกรองอาชญากรรม มันคือหายนะที่สวมชุดของธรรมเนียมปฏิบัติ ภายใต้ข้อสมมติโลกปิด:
- "ไม่มีประวัติจับกุมมาก่อน" กลายเป็น "ไม่เคยกระทำผิด"
- "ไม่ถูกปักธงในทะเบียนการฉ้อโกง" กลายเป็น "ไม่ใช่บัญชีม้า"
- "ไม่มีประวัติของบุคคลนี้" กลายเป็น "บุคคลนี้บริสุทธิ์"
การอนุมานแต่ละข้อนั้นไม่สมเหตุสมผล และแต่ละข้อก็ถูกทำอยู่ตลอดเวลา มักจะมองไม่เห็น เพราะข้อสมมติ นั้นถูกฝังอยู่ในคิวรี ไม่ได้ถูกระบุไว้ในการออกแบบ
ข้อสมมติโลกเปิด (open-world assumption) — สิ่งที่ไม่รู้ก็คือไม่รู้ เฉย ๆ — คือท่าทีที่ถูกต้อง สำหรับการสืบสวน และมันมีต้นทุนที่ต้องพูดให้ชัด: ภายใต้ข้อสมมตินี้ คุณสรุปความบริสุทธิ์จากการไม่มี ข้อมูลไม่ได้เช่นกัน นั่นไม่สบายใจแต่ก็เป็นความจริง มันคือรูปแบบทางการของกฎที่คุณรู้อยู่แล้วว่า การไม่มีบันทึกไม่ใช่หลักฐานว่าไม่มีอะไรเกิดขึ้น
สังเกตว่านี่หมายถึงอะไรต่อระบบทะเบียนกลางการฉ้อโกงของไทย (บทที่ 5 และ 7) ระบบที่ระงับบัญชีของ บุคคลหนึ่งในทุกธนาคารด้วยแรงของการปักธงเพียงจุดเดียว กำลังทำงานอยู่บนพื้นฐานของการมีอยู่ คำถามที่ ยากกว่าคือความเงียบของมันหมายถึงอะไร — และช่องว่างด้านเอกสารที่ท้ายบทที่ 6 บอกว่ายังไม่มีใคร เผยแพร่คำตอบ
5 · กลไกทางการที่สร้างขึ้นมาเพื่อเรื่องนี้โดยเฉพาะ และความล้มเหลวที่รู้กันอยู่แล้วของมัน
ถ้าคุณต้องการให้ภาวะไม่รู้*แทนค่าได้*จริง ไม่ใช่แค่ถูกปักธงไว้เฉย ๆ กลไกมาตรฐานคือทฤษฎี Dempster–Shafer — Arthur Dempster (1967) ทำให้เป็นทางการโดย Glenn Shafer ใน A Mathematical Theory of Evidence (1976) [ESTABLISHED] (Dempster, Upper and Lower Probabilities Induced by a Multivalued Mapping, Ann. Math. Statist. 38(2); Shafer 1976)
ของขวัญเชิงโครงสร้างของมันคือ ข้อกล่าวอ้างหนึ่งข้อจะพกคู่ค่าไปด้วย: ขอบล่างเรียกว่าความเชื่อ และขอบบนเรียกว่าความเป็นไปได้ ภาวะไม่รู้อย่างสมบูรณ์แทนค่าได้เป็น belief 0, plausibility 1 — "ผมไม่มีหลักฐานสนับสนุนมันและไม่มีหลักฐานคัดค้านมันเลย" ความน่าจะเป็นค่าเดียวไม่สามารถแสดงสิ่งนี้ ได้เลย: ความน่าจะเป็น 0.5 หมายถึง*หลักฐานที่สมดุลกัน* ซึ่งเป็นสภาวะทางญาณวิทยาที่ต่างไปจาก*การไม่มี หลักฐาน*โดยสิ้นเชิง และนี่คือความสับสนที่ส่งผลมากที่สุดเพียงจุดเดียวในงานจัดการหลักฐานภาคปฏิบัติ
และนี่คือความล้มเหลวที่ต้องพกไปด้วยกันเสมอ ตัวอย่างโต้แย้งของ Lotfi Zadeh (1979) คือการทุบ ทำลายมาตรฐานของการใช้กฎการรวมหลักฐานของ Dempster อย่างไร้เดียงสา:
แพทย์สองคนตรวจคนไข้คนเดียวกันและเห็นตรงกันว่าการวินิจฉัยคือเยื่อหุ้มสมองอักเสบ (M) สมองกระทบ กระเทือน (C) หรือเนื้องอกในสมอง (T) แพทย์คนแรกให้ m(M) = 0.99 และ m(T) = 0.01 แพทย์คนที่สองให้ m(C) = 0.99 และ m(T) = 0.01 ทั้งสองคนเห็นว่าเนื้องอกแทบจะเป็นไปไม่ได้
กฎของ Dempster คืนค่า m(T) = 1 เนื้องอกในสมองแน่นอน
กลไกเบื้องหลังคือการทำให้เป็นมาตรฐาน: กฎนี้ทิ้งมวลประมาณ 0.98 ที่แหล่งข้อมูลทั้งสองขัดแย้งกันตรง ๆ ไป และทุกอย่างที่เหลือรอดก็ตกไปอยู่ที่สมมติฐานเดียวที่ทั้งสองแหล่งบังเอิญแตะต้องร่วมกัน [ESTABLISHED] (Zadeh, On the Validity of Dempster's Rule of Combination of Evidence, UCB/ERL Memorandum M79/24, 1979 — Berkeley EECS technical reports; counter-examples to Dempster's rule, review)
ผู้เชี่ยวชาญสองคนที่เห็นตรงกันว่าผลลัพธ์หนึ่งแทบจะเป็นไปไม่ได้ เมื่อนำมารวมกัน กลับให้ความแน่นอนใน ผลลัพธ์นั้น นี่คือสิ่งที่เกิดขึ้นเมื่อกฎการรวมค่าถูกนำไปใช้กับแหล่งข้อมูลที่ไม่ตรงกัน ใครก็ตามที่กำลัง สร้างระบบผสานหลักฐานควรทำตัวอย่างนี้ซ้ำได้จากความจำ ก่อนที่จะเขียนโค้ดแม้แต่บรรทัดเดียว
งานสมัยใหม่ภายใต้ความน่าจะเป็นไม่เที่ยง (imprecise probability) — หนังสือ Statistical Reasoning with Imprecise Probabilities (1991) ของ Peter Walley, previsions ขอบล่างและขอบบน, credal sets — เสนอวิธีจัดการที่ระมัดระวังกว่าต่อสัญชาตญาณเดียวกันนี้ [ESTABLISHED] (imprecise probability, overview)
6 · ที่ที่สิ่งนี้ถูกใช้งานจริง
ทีนี้มาถึงส่วนที่ตรงไปตรงมา และมันสั้นมาก
ในนิติวิทยาศาสตร์ หลักฐานในชั้นศาล หรือระบบจัดการคดีของตำรวจที่มีชื่อเรียกใด ๆ: ไม่พบการนำไปใช้ จริงที่มีบันทึกไว้ [ABSENT]
ผมค้นหาโดยเฉพาะเจาะจงสำหรับ Dempster–Shafer ตรรกศาสตร์ทนความขัดแย้ง หรือการให้เหตุผลแบบหลายค่า ในการปฏิบัติงานนิติวิทยาศาสตร์ การตีความหลักฐาน DNA การใช้งานในศาล หรือแพลตฟอร์มข่าวกรองอาชญากรรม ที่ใช้งานจริง การค้นหาไม่พบสิ่งใดที่ถูกนำไปใช้งานจริงเลย
มีสองรายการที่ใกล้เคียงอยู่ และควรเอ่ยถึงให้ชัดเจน เพื่อไม่ให้การไม่มีอยู่นี้ถูกพูดเกินจริง:
- Coulson and May (2015) ในงาน IMA Conference on Mathematics in Defence นำ Dempster–Shafer
มาใช้กับการวิเคราะห์ข่าวกรอง — และบรรยายว่าเป็น*ครั้งแรก*ที่วิธีนี้ถูกนำไปใช้แบบนี้ เป็นข้อเสนอที่ ทดสอบกับสถานการณ์จำลอง ไม่ใช่แนวปฏิบัติที่ถูกนำไปใช้จริง [ESTABLISHED] ในฐานะบทความวิชาการ (Coulson & May, IMA Conference on Mathematics in Defence, 2015)
- บทความปี 2025 ที่นำตรรกศาสตร์ทนความขัดแย้งมาใช้กับการโจรกรรมสินค้าและความมั่นคงด้านโลจิสติกส์ใน
เซาเปาลู ใกล้เคียงเท่านั้น ไม่ใช่แฟ้มคดีหรือชั้นศาล [ESTABLISHED] ในฐานะบทความวิชาการ (Logistics 9(1):37, 2025)
ในขณะเดียวกัน กลไกที่ใช้งานจริงในสาขานี้ ตามที่บทที่ 3 และ 5 บรรยายไว้อย่างละเอียด คืออัตราส่วน ภาวะน่าจะเป็น — และมันมีประวัติศาสตร์ทางตุลาการ มาตรฐานวิชาชีพ และมีศาลที่เคยบอกนักนิติวิทยาศาสตร์ แล้วว่าเมื่อไรที่ห้ามใช้มัน
ดังนั้นคำตัดสินจึงมีสองส่วน และต้องพูดทั้งสองส่วน
คณิตศาสตร์นั้นยุติแล้วและการวินิจฉัยนั้นถูกต้อง ภาวะไม่รู้ไม่ใช่ความน่าจะเป็นต่ำ ความขัดแย้งไม่ใช่ สัญญาณรบกวน คิวรีแบบโลกปิดบนโลกที่เปิดคือความผิดพลาดทางตรรกะที่มีชื่อเรียกและมีวันที่ระบุ นี่ไม่ใช่ คำถามที่ยังเปิดอยู่
การนำไปใช้งานแทบไม่เคยถูกสร้างขึ้นเลย ถ้าคุณสร้างต่อยอดจากมัน คุณไม่ได้ทำตามแนวปฏิบัติที่ดีที่สุด คุณกำลังนำหน้าวรรณกรรมวิชาการ ซึ่งหมายความว่าคุณแบกภาระในการพิสูจน์ว่ามันได้ผล — และการอ่านบทที่ 6 อย่างจริงจังก็คือ การนำหน้าวรรณกรรมประเมินผลนั้นเองคือเงื่อนไขที่ทำให้เกิดอันตรายขึ้นมาแล้วพอดี
7 · สิ่งที่ควรทำจริง ๆ
บทสรุปรวมคือกฎเดียว และมันไม่ต้องอาศัยกลไกทางการแปลกใหม่ใด ๆ ข้างต้นเลย:
**ใช้สถานะแบบไม่ต่อเนื่อง (discrete states) สำหรับ*สถานะ*ของหลักฐาน ใช้อัตราส่วนภาวะน่าจะเป็น สำหรับ*น้ำหนัก*ของหลักฐาน อย่าใช้ตัวเลขเดียวสำหรับทั้งสองอย่างเด็ดขาด**
สองฟิลด์ ไม่ใช่ฟิลด์เดียว บันทึกหนึ่งรายการพก status ∈ {established, contested, claimed, absent} — สิ่งที่เราถูกบอกและใครเป็นคนบอก — และ*แยกต่างหาก* เฉพาะที่ที่ข้อมูลรองรับเท่านั้น จะมีอัตราส่วน ภาวะน่าจะเป็นพร้อมระดับข้อเสนอที่ระบุไว้ (บทที่ 5)
สิ่งที่วิธีนี้ซื้อมาได้ อย่างเป็นรูปธรรม:
- บุคคลที่ไม่มีประวัติจะถูกให้คะแนนเป็นความเสี่ยงต่ำไม่ได้ เพราะ "absent" ไม่ใช่ตัวเลขและจะไม่ถูก
คูณเข้าไปในผลรวม ความล้มเหลวแบบ LASER จะเป็นไปไม่ได้ในเชิงโครงสร้าง ไม่ใช่แค่ถูกห้ามปรามเฉย ๆ
- คำให้การของพยานที่ขัดแย้งกันจะถูกเก็บไว้เป็น
contestedและยังคงมองเห็นได้ในฐานะคำถามที่เปิดอยู่
แทนที่จะถูกนำไปเฉลี่ยจนได้คะแนนกลาง ๆ ที่ซ่อนความไม่ลงรอยกันไว้ — ซึ่งเป็นรูปแบบความล้มเหลวที่ ตัวอย่างของ Zadeh แสดงให้เห็นอย่างชัดเจน
- ตัวเลขประสิทธิผลของผู้ขายกับสำนวนคดีในศาลจะนำมาบวกรวมกันไม่ได้ เพราะ
claimedกับestablished
เป็นสถานะที่ต่างกัน ไม่ใช่ระดับความเชื่อมั่นที่ต่างกัน
- การสอบถามว่า "ใครไม่มีธง" จะได้คำตอบเป็น*ไม่ทราบ* ไม่ใช่บริสุทธิ์
ทั้งหมดนี้ไม่ต้องอาศัย Dempster–Shafer ตารางค่าความจริงของ Belnap หรือเครื่องอนุมานแบบทนความ ขัดแย้งเลย มันต้องการเพียงการปฏิเสธที่จะยุบสี่สถานะที่แยกแยะได้ลงเป็นตัวเลขทศนิยมตัวเดียว — ซึ่งเป็น การตัดสินใจเชิงสคีมา ที่ทำครั้งเดียวตั้งแต่ต้น โดยคนที่เข้าใจว่าสี่สถานะนั้นต่างกันจริง ๆ
และเพื่อตอบคำถามที่จุดประกายภาคผนวกนี้โดยตรง: ตรรกศาสตร์สามค่าไม่ใช่ AI อีกประเภทหนึ่ง และ ฮาร์ดแวร์เลขฐานสามสมดุล — เครื่อง Setun ของโซเวียตปี 1958 — เป็นเรื่องน่าสนใจทางประวัติศาสตร์ที่ไม่ เกี่ยวข้องกับเรื่องนี้เลย [ESTABLISHED] (Setun, Russian Virtual Computer Museum). คุณค่าของตรรกศาสตร์หลายค่าในที่นี้ไม่ใช่เชิงการคำนวณ แต่มันให้คำศัพท์แก่คุณสำหรับสังเกตว่าระบบของ คุณกำลังโกหกคุณเรื่องสิ่งที่มันรู้อยู่
ท่าประจำบท — ให้การไม่มีข้อมูลมีฟิลด์ของตัวเอง ในบันทึก ตาราง หรือสคีมาใด ๆ ที่คุณสร้างเกี่ยวกับหลักฐาน ให้ทำ "เราไม่มีข้อมูล" เป็นสถานะที่แยกออก มาต่างหาก จัดเก็บได้ ไม่ใช่ศูนย์ ไม่ใช่ null-ที่แปลว่าเท็จ และไม่ใช่คะแนนต่ำ — และทำให้สถานะนั้นเข้า สู่การดำเนินการทางเลขคณิตไม่ได้เลย ถ้าค่าหนึ่งสามารถไม่มีข้อมูลได้ โค้ดต้องเอาค่านั้นไปเฉลี่ยไม่ได้ นี่คือการตัดสินใจด้านการออกแบบเพียงจุดเดียวที่แยกระบบที่รายงานสิ่งที่มันรู้ ออกจากระบบที่รายงานสิ่ง ที่มันบังเอิญมีอยู่
อะไรจะทำให้ผมเปลี่ยนใจ: ระบบสืบสวนที่ถูกนำไปใช้งานจริงและได้รับการประเมินอย่างเป็นอิสระ ซึ่งใช้ การแทนค่าแบบสี่ค่าหรือแบบฟังก์ชันความเชื่อ และแสดงผลลัพธ์ที่ดีกว่าคะแนนความเชื่อมั่นแบบเดิม จะย้าย ภาคผนวกนี้จากการให้เหตุผลไปเป็นหลักฐาน ณ เดือนสิงหาคม 2026 ยังไม่มีระบบเช่นนั้นถูกบันทึกไว้ และผม กำลังแนะนำหลักการออกแบบหนึ่งที่การวินิจฉัยได้รับการพิสูจน์แล้ว แต่ทางแก้นั้นยังไม่ได้
บทถัดไป · 19 / 19ภาคผนวก จ — สิ่งที่หนังสือเล่มนี้รับรองไม่ได้