Appendix D — The Fourth Value
ภาคผนวก ง — ค่าที่สี่
Why "no evidence" and "evidence against" must never be the same number
ทำไม "ไม่มีหลักฐาน" กับ "หลักฐานคัดค้าน" จึงต้องไม่มีวันเป็นตัวเลขเดียวกัน
This appendix answers a question that turns out to sit underneath the whole book: what kind of thing is a piece of evidence's status, and what happens when a system gets that kind wrong.
ภาคผนวกนี้ตอบคำถามหนึ่งที่กลายเป็นว่าอยู่ใต้หนังสือทั้งเล่ม: สถานะของหลักฐานชิ้นหนึ่งเป็นสิ่งแบบ*ไหน* และเกิดอะไรขึ้นเมื่อระบบเข้าใจผิดว่ามันเป็นสิ่งแบบไหน
It is the most abstract section here. It is also the one with the most direct consequence for anything you build.
นี่คือส่วนที่เป็นนามธรรมที่สุดในหนังสือเล่มนี้ และก็เป็นส่วนที่ส่งผลโดยตรงที่สุดต่อสิ่งที่คุณจะสร้าง ขึ้นมา
The failure, stated concretely first
ความล้มเหลว กล่าวเป็นรูปธรรมก่อน
The Los Angeles Police Department's Operation LASER maintained lists of "chronic offenders." Its own Inspector General found that almost half the people on those lists had zero or one violent-crime arrest, and around 10% had no recorded quality interactions with police at all. (Chapter 6) [ESTABLISHED]
กรมตำรวจนครบาลลอสแอนเจลิส ในปฏิบัติการ LASER ดูแลรายชื่อ "ผู้กระทำผิดซ้ำเรื้อรัง" ผู้ตรวจการทั่วไป ของหน่วยงานเองพบว่า เกือบครึ่งหนึ่ง ของคนในรายชื่อเหล่านั้นมีประวัติจับกุมคดีรุนแรง ศูนย์หรือ หนึ่งครั้ง และประมาณ 10% ไม่มีปฏิสัมพันธ์ที่มีคุณภาพกับตำรวจบันทึกไว้เลย (บทที่ 6) [ESTABLISHED]
Read that as a logic problem rather than a policy problem. A person with zero arrests and a person with one arrest were both being scored by a system that took records as its input. But zero records is not a low value. Zero records is an absence of information, and an absence of information is a different kind of thing from a low measurement — as different as an empty measuring cup is from a cup measured at zero millilitres.
อ่านเรื่องนี้ในฐานะปัญหาตรรกะ ไม่ใช่ปัญหานโยบาย คนที่มีประวัติจับกุมศูนย์ครั้งกับคนที่มีหนึ่งครั้ง ต่างก็ถูกให้คะแนนโดยระบบที่รับ*บันทึก*เป็นข้อมูลนำเข้า แต่ศูนย์บันทึกไม่ใช่ค่าต่ำ ศูนย์บันทึกคือ การไม่มีข้อมูล และการไม่มีข้อมูลเป็นสิ่งคนละแบบกับการวัดค่าที่ต่ำ — ต่างกันพอ ๆ กับถ้วยตวงที่ว่าง เปล่ากับถ้วยตวงที่วัดได้ศูนย์มิลลิลิตร
The system had one channel to express both. So it expressed both as a small number, and small numbers combine with other small numbers to produce a score, and the score went on a list, and the list went to officers.
ระบบมีช่องทางเดียวสำหรับแสดงทั้งสองอย่าง มันจึงแสดงทั้งคู่เป็นตัวเลขน้อย ๆ และตัวเลขน้อย ๆ ก็รวมกับ ตัวเลขน้อย ๆ อื่นจนได้คะแนนออกมา แล้วคะแนนนั้นก็ถูกใส่ลงในรายชื่อ และรายชื่อนั้นก็ถูกส่งไปถึงเจ้า หน้าที่
That is the entire content of this appendix, and everything below is the formal machinery for saying it precisely.
นั่นคือเนื้อหาทั้งหมดของภาคผนวกนี้ และทุกอย่างที่ตามมาข้างล่างคือกลไกที่เป็นทางการสำหรับพูดเรื่องนี้ ให้แม่นยำ
1 · Three values
1 · ค่าสามค่า
Classical logic has two: true and false. Every proposition is one or the other, and there is no third option. This is a strong assumption and it has been questioned for a century.
ตรรกศาสตร์คลาสสิกมีสองค่า: จริงกับเท็จ ทุกประพจน์เป็นอย่างใดอย่างหนึ่ง และไม่มีตัวเลือกที่สาม นี่คือ ข้อสมมติที่หนักแน่น และมันถูกตั้งคำถามมานานนับศตวรรษแล้ว
Jan Łukasiewicz (1920) introduced the first systematic three-valued logic, motivated by future contingents — Aristotle's sea battle tomorrow, which seemed to him neither true nor false yet. The third value was possible or indeterminate. [ESTABLISHED]
Jan Łukasiewicz (1920) เสนอตรรกศาสตร์สามค่าอย่างเป็นระบบเป็นคนแรก โดยได้แรงจูงใจจากเหตุการณ์ อนาคตที่ยังไม่แน่นอน — การรบทางเรือของอริสโตเติลในวันพรุ่งนี้ ซึ่งดูเหมือนกับเขาว่าไม่จริงและไม่เท็จ ค่าที่สามคือ เป็นไปได้ หรือ ยังไม่แน่นอน [ESTABLISHED]
Stephen Kleene (1938, 1952) gave the third value a different and, for our purposes, far more useful reading: undefined, or unknown — the value of a computation that has not returned. Kleene distinguished a strong and a weak three-valued logic, and the difference is exactly about how ignorance propagates. In the strong logic, "unknown OR true" is true — you do not need to resolve the unknown, because one true disjunct settles it. In the weak logic, any unknown component contaminates the whole formula. [ESTABLISHED] (SEP, Many-Valued Logic)
Stephen Kleene (1938, 1952) ให้ความหมายค่าที่สามในแบบที่ต่างออกไป และสำหรับจุดประสงค์ของเรา มีประโยชน์กว่ามาก: ยังไม่นิยาม หรือไม่ทราบ — ค่าของการคำนวณที่ยังไม่คืนผลลัพธ์ Kleene แยก ตรรกศาสตร์สามค่าออกเป็นแบบ เข้ม กับแบบ อ่อน และความต่างนั้นอยู่ตรงที่ความไม่รู้แพร่กระจาย อย่างไรพอดี ในตรรกศาสตร์แบบเข้ม "ไม่ทราบ หรือ จริง" มีค่าเป็น จริง — คุณไม่จำเป็นต้องคลี่คลาย ส่วนที่ไม่ทราบ เพราะตัวเลือกที่จริงตัวเดียวก็ชี้ขาดได้แล้ว ในตรรกศาสตร์แบบอ่อน องค์ประกอบที่ไม่ทราบ ใด ๆ จะปนเปื้อนสูตรทั้งหมด [ESTABLISHED] (SEP, Many-Valued Logic)
That distinction is not academic. It is the difference between an investigative system that says "I cannot assess this suspect because one field is missing" and one that says "one confirmed link is enough regardless of what else is missing." Both behaviours are defensible. Choosing between them accidentally is not.
ความต่างนั้นไม่ใช่เรื่องวิชาการเปล่า ๆ มันคือความต่างระหว่างระบบสืบสวนที่บอกว่า "ผมประเมินผู้ต้อง สงสัยรายนี้ไม่ได้เพราะมีข้อมูลหนึ่งช่องหายไป" กับระบบที่บอกว่า "การเชื่อมโยงที่ยืนยันแล้วหนึ่งจุดก็ เพียงพอไม่ว่าอะไรจะหายไปอีก" พฤติกรรมทั้งสองแบบต่างก็มีเหตุผลรองรับได้ แต่การเลือกระหว่างสองแบบนี้ โดยไม่ตั้งใจนั้นไม่มีเหตุผลรองรับ
If you have ever written SQL, you have already used three-valued logic. Codd's relational model gave NULL exactly this status, and comparisons against NULL return UNKNOWN rather than false. It is also the most criticised feature of the language, largely because most people writing queries do not realise which logic they are in. [ESTABLISHED] (SQL and the snare of three-valued logic; Nulls, three-valued logic and ambiguity in SQL)
ถ้าคุณเคยเขียน SQL คุณก็เคยใช้ตรรกศาสตร์สามค่ามาแล้ว โมเดลเชิงสัมพันธ์ของ Codd ให้สถานะนี้แก่ NULL โดยตรง และการเปรียบเทียบกับ NULL จะคืนค่า UNKNOWN แทนที่จะเป็นเท็จ มันยังเป็นคุณสมบัติ ที่ถูกวิจารณ์มากที่สุดของภาษานี้ด้วย ส่วนใหญ่เป็นเพราะคนที่เขียนคิวรีไม่รู้ตัวว่ากำลังอยู่ในตรรกศาสตร์ แบบไหน [ESTABLISHED] (SQL and the snare of three-valued logic; Nulls, three-valued logic and ambiguity in SQL)
2 · The fourth value, and the man who wanted it for exactly our problem
2 · ค่าที่สี่ และชายผู้ต้องการมันสำหรับปัญหาของเราโดยเฉพาะ
In 1977, Nuel Belnap published two closely related pieces — A Useful Four-Valued Logic and 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.)
ในปี 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.)
His motivating scenario was a question-answering machine holding a knowledge base fed by multiple sources — a machine that might be told contradictory things, and that would have topics about which it had been told nothing at all. He observed that classical logic handles both cases disastrously and in opposite directions: it explodes on contradiction and it has nothing sensible to say about silence.
โจทย์ที่จุดประกายความคิดของเขาคือเครื่องตอบคำถามที่ถือฐานความรู้ซึ่งป้อนข้อมูลมาจากหลายแหล่ง — เครื่องที่อาจถูกบอกเรื่องที่ขัดแย้งกัน และมีหัวข้อที่ไม่เคยถูกบอกอะไรเลย เขาสังเกตว่าตรรกศาสตร์ คลาสสิกจัดการทั้งสองกรณีได้แย่มาก และแย่ไปคนละทิศทาง: มัน*ระเบิด*เมื่อเจอความขัดแย้ง และมันไม่มี อะไรน่าฟังจะพูดเกี่ยวกับความเงียบ
His four values are not degrees. They are states of what the system has been told:
ค่าทั้งสี่ของเขาไม่ใช่ระดับความเข้ม แต่เป็นสถานะของสิ่งที่ระบบถูกบอก:
| Value | The system has been told |
|---|---|
| True | that P, and not that not-P |
| False | that not-P, and not that P |
| Both | that P and that not-P — sources conflict |
| Neither | nothing about P at all |
| ค่า | สิ่งที่ระบบได้รับการบอก |
|---|---|
| บอกว่าจริง | ว่า P และไม่ได้บอกว่าไม่ใช่ P |
| บอกว่าเท็จ | ว่าไม่ใช่ P และไม่ได้บอกว่า P |
| บอกทั้งสองอย่าง | ว่า P และ ว่าไม่ใช่ P — แหล่งข้อมูลขัดแย้งกัน |
| ไม่ได้บอกอะไรเลย | ไม่มีอะไรเกี่ยวกับ P เลย |
Now look at this book's own grading system, which I designed before reading Belnap and which arrived at nearly the same place because the domain forces it:
ทีนี้ลองดูระบบให้เกรดของหนังสือเล่มนี้เอง ซึ่งผมออกแบบไว้ก่อนอ่านงานของ Belnap และมันมาลงเอยที่ จุดใกล้เคียงกันมาก เพราะตัวโดเมนบังคับให้เป็นแบบนั้น:
| This book | Belnap |
|---|---|
[ESTABLISHED] | Told true |
[CONTESTED] | Told both |
[ABSENT] | Told neither |
[CLAIMED] | (no Belnap equivalent — see below) |
| หนังสือเล่มนี้ | Belnap |
|---|---|
[ESTABLISHED] | บอกว่าจริง |
[CONTESTED] | บอกทั้งสองอย่าง |
[ABSENT] | ไม่ได้บอกอะไรเลย |
[CLAIMED] | (ไม่มีค่าที่ตรงกันในระบบของ Belnap — ดูด้านล่าง) |
Three of the four are Belnap's. The fourth, [CLAIMED], has no counterpart in his scheme because Belnap's machine trusts its sources. Investigation cannot. [CLAIMED] records not the content of what was said but the interest of whoever said it — a vendor selling the tool, an agency reporting its own performance. That is a provenance annotation rather than a truth value, and it is the axis Chapter 7's Move operates on.
สามในสี่ค่านั้นเป็นของ Belnap ค่าที่สี่ คือ [CLAIMED] ไม่มีสิ่งที่ตรงกันในระบบของเขา เพราะเครื่อง ของ Belnap ไว้ใจแหล่งข้อมูลของมัน แต่การสืบสวนไว้ใจไม่ได้ [CLAIMED] บันทึกไม่ใช่เนื้อหาของสิ่งที่ ถูกพูด แต่บันทึกผลประโยชน์ของผู้ที่พูดมัน — ผู้ขายที่กำลังขายเครื่องมือ หน่วยงานที่รายงานผลงานของ ตัวเอง นี่คือหมายเหตุเรื่องที่มามากกว่าจะเป็นค่าความจริง และมันคือแกนที่ท่าประจำบทของบทที่ 7 ทำงาน อยู่บนแกนนั้น
The generalisation worth carrying: an evidence record needs at least two independent dimensions — what we have been told and who told us — and collapsing them into a single confidence number destroys both.
ข้อสรุปทั่วไปที่ควรพกติดตัวไว้คือ: บันทึกหลักฐานหนึ่งรายการต้องการอย่างน้อยสองมิติที่เป็นอิสระจากกัน — สิ่งที่เราถูกบอก กับ ใครเป็นคนบอก — และการยุบทั้งสองมิตินี้ลงเป็นตัวเลขความเชื่อมั่นตัวเดียว จะทำลายทั้งสองมิติไปพร้อมกัน
3 · Why a case file breaks classical logic
3 · ทำไมแฟ้มคดีจึงทำลายตรรกศาสตร์คลาสสิก
Classical logic contains a principle usually given in Latin: ex falso quodlibet. From a contradiction, anything follows. If a system holds both P and not-P, every proposition in its language becomes derivable — the knowledge base does not merely contain an error, it becomes formally worthless.
ตรรกศาสตร์คลาสสิกมีหลักการหนึ่งที่มักเรียกด้วยภาษาละตินว่า ex falso quodlibet (จากความเท็จ อะไรก็ตามก็ตามมาได้) หากมีความขัดแย้งเกิดขึ้น อะไรก็ตามก็สรุปได้ทั้งนั้น ถ้าระบบหนึ่งถือทั้ง P และ ไม่ใช่ P พร้อมกัน ทุกประพจน์ในภาษาของมันก็จะพิสูจน์ได้ทั้งหมด — ฐานความรู้นั้นไม่ได้แค่มีข้อผิดพลาด แต่กลายเป็นไร้ค่าอย่างเป็นทางการ
Paraconsistent logics — Graham Priest's LP, Newton da Costa's systems — are constructed specifically to block that explosion, so that a contradiction stays local instead of poisoning everything. [ESTABLISHED] (SEP, Paraconsistent Logic; IEP)
ตรรกศาสตร์ทนความขัดแย้ง (paraconsistent logic) — ระบบ LP ของ Graham Priest, ระบบของ Newton da Costa — ถูกสร้างขึ้นมาโดยเฉพาะเพื่อสกัดการระเบิดนั้น เพื่อให้ความขัดแย้งอยู่เฉพาะจุด แทนที่จะ ทำลายทุกอย่าง [ESTABLISHED] (SEP, Paraconsistent Logic; IEP)
Why this matters here, plainly: every real case file is inconsistent. Two witnesses give incompatible timings. A suspect's alibi contradicts a cell-site record. A complaint says the caller was female and another describing the identical script says male. This is the normal condition of investigative material, not a defect to be cleaned before reasoning begins.
เหตุที่เรื่องนี้สำคัญตรงนี้ พูดตรง ๆ คือ: แฟ้มคดีจริงทุกแฟ้มมีความขัดแย้งในตัวเอง พยานสองคนให้ เวลาที่ไม่ตรงกัน ข้ออ้างที่อยู่ของผู้ต้องสงสัยขัดแย้งกับบันทึกตำแหน่งเสาสัญญาณ คำร้องทุกข์หนึ่งบอกว่า ผู้โทรเป็นผู้หญิง อีกฉบับที่บรรยายบทพูดเดียวกันเป๊ะบอกว่าเป็นผู้ชาย นี่คือสภาพปกติของวัสดุการสืบสวน ไม่ใช่ข้อบกพร่องที่ต้องทำความสะอาดก่อนเริ่มให้เหตุผล
Classical logic offers two responses, both bad. Resolve every contradiction before reasoning — which means deciding who is lying before you have investigated, which is the tunnel vision of the closing chapter, formalised. Or reason anyway and derive nonsense.
ตรรกศาสตร์คลาสสิกเสนอทางออกสองแบบ และทั้งคู่แย่พอกัน แบบแรกคือคลี่คลายความขัดแย้งทุกจุดก่อนให้ เหตุผล — ซึ่งหมายถึงการตัดสินว่าใครโกหกก่อนที่คุณจะสืบสวนเสร็จ นี่คือการมองอุโมงค์ของบทปิดท้าย ใน รูปแบบทางการ แบบที่สองคือให้เหตุผลต่อไปเลยแล้วได้ข้อสรุปที่ไร้สาระออกมา
The paraconsistent answer is the one good investigators already use informally: hold the contradiction as a marked, live state attached to that specific proposition, keep reasoning about everything else, and treat the contradiction as an object of investigation in its own right. The contradiction is frequently the most informative thing in the file — it is where somebody is wrong, and finding out who is often the case.
คำตอบแบบทนความขัดแย้งคือสิ่งที่นักสืบที่ดีใช้กันอยู่แล้วอย่างไม่เป็นทางการ: ถือความขัดแย้งไว้เป็น สถานะที่ถูกทำเครื่องหมายและยังมีชีวิตอยู่ ผูกติดกับประพจน์นั้นโดยเฉพาะ ให้เหตุผลต่อไปกับทุกอย่างที่ เหลือ และปฏิบัติต่อความขัดแย้งนั้นเป็นวัตถุของการสืบสวนในตัวมันเอง ความขัดแย้งมักเป็นสิ่งที่ให้ข้อมูล มากที่สุดในแฟ้ม — มันคือจุดที่มีใครสักคนผิด และการหาว่าใครผิดก็มักจะเป็นตัวคดีเองพอดี
4 · The assumption that turns silence into a lie
4 · ข้อสมมติที่ทำให้ความเงียบกลายเป็นคำโกหก
Raymond Reiter (1978) named the closed-world assumption: in a closed-world database, anything not derivable from what is stored is inferred to be false. Keith Clark's negation as failure (1978) is the corresponding proof-theoretic rule — failing to prove P licenses concluding not-P. [ESTABLISHED] (closed-world assumption, overview and primary references)
Raymond Reiter (1978) ตั้งชื่อข้อสมมติโลกปิด (closed-world assumption): ในฐานข้อมูลโลกปิด อะไรก็ตามที่พิสูจน์ไม่ได้จากสิ่งที่เก็บไว้ จะถูกอนุมานว่าเป็น*เท็จ* กฎ negation as failure ของ Keith Clark (1978) คือกฎเชิงทฤษฎีพิสูจน์ที่สอดคล้องกัน — การพิสูจน์ P ไม่สำเร็จ ทำให้สรุปว่าไม่ใช่ P ได้ [ESTABLISHED] (closed-world assumption, overview and primary references)
For an airline reservation system this is correct and necessary. If the database has no seat booked for you, you have no seat.
สำหรับระบบจองที่นั่งสายการบิน นี่ถูกต้องและจำเป็น ถ้าฐานข้อมูลไม่มีที่นั่งที่จองไว้ให้คุณ คุณก็ไม่มี ที่นั่ง
For a criminal intelligence system it is a catastrophe wearing the clothes of a convention. Under a closed-world assumption:
แต่สำหรับระบบข่าวกรองอาชญากรรม มันคือหายนะที่สวมชุดของธรรมเนียมปฏิบัติ ภายใต้ข้อสมมติโลกปิด:
- "No prior arrests" becomes "has not offended."
- "Not flagged in the fraud registry" becomes "not a mule account."
- "No record of this person" becomes "this person is clean."
- "ไม่มีประวัติจับกุมมาก่อน" กลายเป็น "ไม่เคยกระทำผิด"
- "ไม่ถูกปักธงในทะเบียนการฉ้อโกง" กลายเป็น "ไม่ใช่บัญชีม้า"
- "ไม่มีประวัติของบุคคลนี้" กลายเป็น "บุคคลนี้บริสุทธิ์"
Each of those inferences is invalid, and each is made constantly, usually invisibly, because the assumption is buried in the query rather than stated in the design.
การอนุมานแต่ละข้อนั้นไม่สมเหตุสมผล และแต่ละข้อก็ถูกทำอยู่ตลอดเวลา มักจะมองไม่เห็น เพราะข้อสมมติ นั้นถูกฝังอยู่ในคิวรี ไม่ได้ถูกระบุไว้ในการออกแบบ
The open-world assumption — what is not known is simply not known — is the correct posture for investigation, and it has a cost that must be stated: under it, you cannot conclude innocence from absence either. That is uncomfortable and it is also true. It is the formal version of a rule you already know: absence of a log is not evidence that nothing happened.
ข้อสมมติโลกเปิด (open-world assumption) — สิ่งที่ไม่รู้ก็คือไม่รู้ เฉย ๆ — คือท่าทีที่ถูกต้อง สำหรับการสืบสวน และมันมีต้นทุนที่ต้องพูดให้ชัด: ภายใต้ข้อสมมตินี้ คุณสรุปความบริสุทธิ์จากการไม่มี ข้อมูลไม่ได้เช่นกัน นั่นไม่สบายใจแต่ก็เป็นความจริง มันคือรูปแบบทางการของกฎที่คุณรู้อยู่แล้วว่า การไม่มีบันทึกไม่ใช่หลักฐานว่าไม่มีอะไรเกิดขึ้น
Note what this implies about Thailand's Central Fraud Registry (Chapters 5 and 7). A system that suspends a person's accounts at every bank on the strength of a flag is operating on presence. The harder question is what its silence means — and the documentation gap at the end of Chapter 6 says nobody has published an answer.
สังเกตว่านี่หมายถึงอะไรต่อระบบทะเบียนกลางการฉ้อโกงของไทย (บทที่ 5 และ 7) ระบบที่ระงับบัญชีของ บุคคลหนึ่งในทุกธนาคารด้วยแรงของการปักธงเพียงจุดเดียว กำลังทำงานอยู่บนพื้นฐานของการมีอยู่ คำถามที่ ยากกว่าคือความเงียบของมันหมายถึงอะไร — และช่องว่างด้านเอกสารที่ท้ายบทที่ 6 บอกว่ายังไม่มีใคร เผยแพร่คำตอบ
5 · The formalism built for exactly this, and its known failure
5 · กลไกทางการที่สร้างขึ้นมาเพื่อเรื่องนี้โดยเฉพาะ และความล้มเหลวที่รู้กันอยู่แล้วของมัน
If you want ignorance to be representable rather than merely flagged, the standard machinery is Dempster–Shafer theory — Arthur Dempster (1967), formalised in Glenn Shafer's A Mathematical Theory of Evidence (1976). [ESTABLISHED] (Dempster, Upper and Lower Probabilities Induced by a Multivalued Mapping, Ann. Math. Statist. 38(2); Shafer 1976)
ถ้าคุณต้องการให้ภาวะไม่รู้*แทนค่าได้*จริง ไม่ใช่แค่ถูกปักธงไว้เฉย ๆ กลไกมาตรฐานคือทฤษฎี 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)
Its structural gift is that a claim carries a pair: a lower bound called belief and an upper bound called plausibility. Total ignorance is representable as belief 0, plausibility 1 — "I have no evidence for it and no evidence against it." A single probability cannot express that at all: a probability of 0.5 means balanced evidence, which is an entirely different epistemic state from no evidence, and this is the single most consequential confusion in applied evidence handling.
ของขวัญเชิงโครงสร้างของมันคือ ข้อกล่าวอ้างหนึ่งข้อจะพกคู่ค่าไปด้วย: ขอบล่างเรียกว่าความเชื่อ และขอบบนเรียกว่าความเป็นไปได้ ภาวะไม่รู้อย่างสมบูรณ์แทนค่าได้เป็น belief 0, plausibility 1 — "ผมไม่มีหลักฐานสนับสนุนมันและไม่มีหลักฐานคัดค้านมันเลย" ความน่าจะเป็นค่าเดียวไม่สามารถแสดงสิ่งนี้ ได้เลย: ความน่าจะเป็น 0.5 หมายถึง*หลักฐานที่สมดุลกัน* ซึ่งเป็นสภาวะทางญาณวิทยาที่ต่างไปจาก*การไม่มี หลักฐาน*โดยสิ้นเชิง และนี่คือความสับสนที่ส่งผลมากที่สุดเพียงจุดเดียวในงานจัดการหลักฐานภาคปฏิบัติ
And now the failure, which must travel with it. Lotfi Zadeh's counterexample (1979) is the standard demolition of naive use of Dempster's rule of combination:
และนี่คือความล้มเหลวที่ต้องพกไปด้วยกันเสมอ ตัวอย่างโต้แย้งของ Lotfi Zadeh (1979) คือการทุบ ทำลายมาตรฐานของการใช้กฎการรวมหลักฐานของ Dempster อย่างไร้เดียงสา:
Two doctors examine a patient and agree the diagnosis is meningitis (M), concussion (C), or brain tumour (T). The first assigns m(M) = 0.99 and m(T) = 0.01. The second assigns m(C) = 0.99 and m(T) = 0.01. Both regard a tumour as nearly impossible.
Dempster's rule returns m(T) = 1. Certain brain tumour.
แพทย์สองคนตรวจคนไข้คนเดียวกันและเห็นตรงกันว่าการวินิจฉัยคือเยื่อหุ้มสมองอักเสบ (M) สมองกระทบ กระเทือน (C) หรือเนื้องอกในสมอง (T) แพทย์คนแรกให้ m(M) = 0.99 และ m(T) = 0.01 แพทย์คนที่สองให้ m(C) = 0.99 และ m(T) = 0.01 ทั้งสองคนเห็นว่าเนื้องอกแทบจะเป็นไปไม่ได้
กฎของ Dempster คืนค่า m(T) = 1 เนื้องอกในสมองแน่นอน
The mechanism is normalisation: the rule discards the roughly 0.98 of mass where the two sources flatly contradict each other, and everything that survives lands on the single hypothesis both happened to touch. [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)
กลไกเบื้องหลังคือการทำให้เป็นมาตรฐาน: กฎนี้ทิ้งมวลประมาณ 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)
Two experts who agree an outcome is nearly impossible, combined, produce certainty in that outcome. That is what happens when a combination rule is applied to sources that disagree. Anyone building an evidence-fusion system should be able to reproduce this example from memory before writing a line of code.
ผู้เชี่ยวชาญสองคนที่เห็นตรงกันว่าผลลัพธ์หนึ่งแทบจะเป็นไปไม่ได้ เมื่อนำมารวมกัน กลับให้ความแน่นอนใน ผลลัพธ์นั้น นี่คือสิ่งที่เกิดขึ้นเมื่อกฎการรวมค่าถูกนำไปใช้กับแหล่งข้อมูลที่ไม่ตรงกัน ใครก็ตามที่กำลัง สร้างระบบผสานหลักฐานควรทำตัวอย่างนี้ซ้ำได้จากความจำ ก่อนที่จะเขียนโค้ดแม้แต่บรรทัดเดียว
Modern work under imprecise probability — Peter Walley's Statistical Reasoning with Imprecise Probabilities (1991), lower and upper previsions, credal sets — offers a more conservative treatment of the same intuition. [ESTABLISHED] (imprecise probability, overview)
งานสมัยใหม่ภายใต้ความน่าจะเป็นไม่เที่ยง (imprecise probability) — หนังสือ Statistical Reasoning with Imprecise Probabilities (1991) ของ Peter Walley, previsions ขอบล่างและขอบบน, credal sets — เสนอวิธีจัดการที่ระมัดระวังกว่าต่อสัญชาตญาณเดียวกันนี้ [ESTABLISHED] (imprecise probability, overview)
6 · Where this is actually used
6 · ที่ที่สิ่งนี้ถูกใช้งานจริง
Now the honest part, and it is short.
ทีนี้มาถึงส่วนที่ตรงไปตรงมา และมันสั้นมาก
In forensic science, courtroom evidence, or named police case-management systems: no documented application found. [ABSENT]
ในนิติวิทยาศาสตร์ หลักฐานในชั้นศาล หรือระบบจัดการคดีของตำรวจที่มีชื่อเรียกใด ๆ: ไม่พบการนำไปใช้ จริงที่มีบันทึกไว้ [ABSENT]
I searched specifically for Dempster–Shafer, paraconsistent, or many-valued reasoning in forensic practice, DNA evidence interpretation, court use, or deployed criminal-intelligence platforms. The searches returned nothing deployed.
ผมค้นหาโดยเฉพาะเจาะจงสำหรับ Dempster–Shafer ตรรกศาสตร์ทนความขัดแย้ง หรือการให้เหตุผลแบบหลายค่า ในการปฏิบัติงานนิติวิทยาศาสตร์ การตีความหลักฐาน DNA การใช้งานในศาล หรือแพลตฟอร์มข่าวกรองอาชญากรรม ที่ใช้งานจริง การค้นหาไม่พบสิ่งใดที่ถูกนำไปใช้งานจริงเลย
Two adjacent items exist and are worth naming precisely so the absence is not overstated:
มีสองรายการที่ใกล้เคียงอยู่ และควรเอ่ยถึงให้ชัดเจน เพื่อไม่ให้การไม่มีอยู่นี้ถูกพูดเกินจริง:
- Coulson and May (2015), at the IMA Conference on Mathematics in Defence, applied
- Coulson and May (2015) ในงาน IMA Conference on Mathematics in Defence นำ Dempster–Shafer
Dempster–Shafer to intelligence analysis — and describe it as the first time the method had been so applied. A proposal tested on a toy scenario, not adopted practice. [ESTABLISHED] as a paper. (Coulson & May, IMA Conference on Mathematics in Defence, 2015)
มาใช้กับการวิเคราะห์ข่าวกรอง — และบรรยายว่าเป็น*ครั้งแรก*ที่วิธีนี้ถูกนำไปใช้แบบนี้ เป็นข้อเสนอที่ ทดสอบกับสถานการณ์จำลอง ไม่ใช่แนวปฏิบัติที่ถูกนำไปใช้จริง [ESTABLISHED] ในฐานะบทความวิชาการ (Coulson & May, IMA Conference on Mathematics in Defence, 2015)
- A 2025 paper applying paraconsistent logic to cargo-theft and logistics security in São Paulo.
- บทความปี 2025 ที่นำตรรกศาสตร์ทนความขัดแย้งมาใช้กับการโจรกรรมสินค้าและความมั่นคงด้านโลจิสติกส์ใน
Adjacent, not case files or courts. [ESTABLISHED] as a paper. (Logistics 9(1):37, 2025)
เซาเปาลู ใกล้เคียงเท่านั้น ไม่ใช่แฟ้มคดีหรือชั้นศาล [ESTABLISHED] ในฐานะบทความวิชาการ (Logistics 9(1):37, 2025)
Meanwhile the field's actual working formalism, as Chapters 3 and 5 describe at length, is the likelihood ratio — and it has judicial history, professional standards, and a court that has already told forensic scientists when they may not use it.
ในขณะเดียวกัน กลไกที่ใช้งานจริงในสาขานี้ ตามที่บทที่ 3 และ 5 บรรยายไว้อย่างละเอียด คืออัตราส่วน ภาวะน่าจะเป็น — และมันมีประวัติศาสตร์ทางตุลาการ มาตรฐานวิชาชีพ และมีศาลที่เคยบอกนักนิติวิทยาศาสตร์ แล้วว่าเมื่อไรที่ห้ามใช้มัน
So the verdict has two halves and both must be said.
ดังนั้นคำตัดสินจึงมีสองส่วน และต้องพูดทั้งสองส่วน
The mathematics is settled and the diagnosis is correct. Ignorance is not a low probability. Contradiction is not noise. A closed-world query on an open world is a fallacy with a name and a date. These are not open questions.
คณิตศาสตร์นั้นยุติแล้วและการวินิจฉัยนั้นถูกต้อง ภาวะไม่รู้ไม่ใช่ความน่าจะเป็นต่ำ ความขัดแย้งไม่ใช่ สัญญาณรบกวน คิวรีแบบโลกปิดบนโลกที่เปิดคือความผิดพลาดทางตรรกะที่มีชื่อเรียกและมีวันที่ระบุ นี่ไม่ใช่ คำถามที่ยังเปิดอยู่
The application is essentially unbuilt. If you build on it, you are not adopting best practice. You are ahead of the literature, which means you carry the burden of demonstrating it works — and the sober reading of Chapter 6 is that being ahead of the evaluation literature is precisely the condition under which harm has occurred.
การนำไปใช้งานแทบไม่เคยถูกสร้างขึ้นเลย ถ้าคุณสร้างต่อยอดจากมัน คุณไม่ได้ทำตามแนวปฏิบัติที่ดีที่สุด คุณกำลังนำหน้าวรรณกรรมวิชาการ ซึ่งหมายความว่าคุณแบกภาระในการพิสูจน์ว่ามันได้ผล — และการอ่านบทที่ 6 อย่างจริงจังก็คือ การนำหน้าวรรณกรรมประเมินผลนั้นเองคือเงื่อนไขที่ทำให้เกิดอันตรายขึ้นมาแล้วพอดี
7 · What to actually do
7 · สิ่งที่ควรทำจริง ๆ
The synthesis is one rule, and it does not require adopting any of the exotic formalisms above:
บทสรุปรวมคือกฎเดียว และมันไม่ต้องอาศัยกลไกทางการแปลกใหม่ใด ๆ ข้างต้นเลย:
**Use discrete states for the status of evidence. Use likelihood ratios for the weight of evidence. Never use one number for both.**
**ใช้สถานะแบบไม่ต่อเนื่อง (discrete states) สำหรับ*สถานะ*ของหลักฐาน ใช้อัตราส่วนภาวะน่าจะเป็น สำหรับ*น้ำหนัก*ของหลักฐาน อย่าใช้ตัวเลขเดียวสำหรับทั้งสองอย่างเด็ดขาด**
Two fields, not one. A record carries status ∈ {established, contested, claimed, absent} — what we have been told and by whom — and separately, where and only where the data supports it, a likelihood ratio with its stated proposition level (Chapter 5).
สองฟิลด์ ไม่ใช่ฟิลด์เดียว บันทึกหนึ่งรายการพก status ∈ {established, contested, claimed, absent} — สิ่งที่เราถูกบอกและใครเป็นคนบอก — และ*แยกต่างหาก* เฉพาะที่ที่ข้อมูลรองรับเท่านั้น จะมีอัตราส่วน ภาวะน่าจะเป็นพร้อมระดับข้อเสนอที่ระบุไว้ (บทที่ 5)
What this buys, concretely:
สิ่งที่วิธีนี้ซื้อมาได้ อย่างเป็นรูปธรรม:
- A person with no record cannot be scored as low-risk, because "absent" is not a number and will not
- บุคคลที่ไม่มีประวัติจะถูกให้คะแนนเป็นความเสี่ยงต่ำไม่ได้ เพราะ "absent" ไม่ใช่ตัวเลขและจะไม่ถูก
multiply into a total. LASER's failure becomes structurally impossible rather than merely discouraged.
คูณเข้าไปในผลรวม ความล้มเหลวแบบ LASER จะเป็นไปไม่ได้ในเชิงโครงสร้าง ไม่ใช่แค่ถูกห้ามปรามเฉย ๆ
- Conflicting witness accounts are held as
contestedand stay visible as an open question, instead
- คำให้การของพยานที่ขัดแย้งกันจะถูกเก็บไว้เป็น
contestedและยังคงมองเห็นได้ในฐานะคำถามที่เปิดอยู่
of being averaged into a middling score that hides the disagreement — which is the failure mode Zadeh's example dramatises.
แทนที่จะถูกนำไปเฉลี่ยจนได้คะแนนกลาง ๆ ที่ซ่อนความไม่ลงรอยกันไว้ — ซึ่งเป็นรูปแบบความล้มเหลวที่ ตัวอย่างของ Zadeh แสดงให้เห็นอย่างชัดเจน
- A vendor's efficacy figure and a court docket cannot be added together, because
claimedand
- ตัวเลขประสิทธิผลของผู้ขายกับสำนวนคดีในศาลจะนำมาบวกรวมกันไม่ได้ เพราะ
claimedกับestablished
established are different states rather than different confidences.
เป็นสถานะที่ต่างกัน ไม่ใช่ระดับความเชื่อมั่นที่ต่างกัน
- Querying "who has no flag" returns unknown, not innocent.
- การสอบถามว่า "ใครไม่มีธง" จะได้คำตอบเป็น*ไม่ทราบ* ไม่ใช่บริสุทธิ์
None of this requires Dempster–Shafer, Belnap's truth tables, or a paraconsistent inference engine. It requires refusing to collapse four distinguishable states into one float — which is a schema decision, made once, at the start, by someone who understood that the four states were different.
ทั้งหมดนี้ไม่ต้องอาศัย Dempster–Shafer ตารางค่าความจริงของ Belnap หรือเครื่องอนุมานแบบทนความ ขัดแย้งเลย มันต้องการเพียงการปฏิเสธที่จะยุบสี่สถานะที่แยกแยะได้ลงเป็นตัวเลขทศนิยมตัวเดียว — ซึ่งเป็น การตัดสินใจเชิงสคีมา ที่ทำครั้งเดียวตั้งแต่ต้น โดยคนที่เข้าใจว่าสี่สถานะนั้นต่างกันจริง ๆ
And to answer the question that prompted this appendix directly: ternary logic is not an alternative kind of AI, and balanced-ternary hardware — the Soviet Setun machine of 1958 — is a historical curiosity with no bearing on any of this [ESTABLISHED] (Setun, Russian Virtual Computer Museum). The value of many-valued logic here is not computational. It is that it gives you the vocabulary to notice that your system has been lying to you about what it knows.
และเพื่อตอบคำถามที่จุดประกายภาคผนวกนี้โดยตรง: ตรรกศาสตร์สามค่าไม่ใช่ AI อีกประเภทหนึ่ง และ ฮาร์ดแวร์เลขฐานสามสมดุล — เครื่อง Setun ของโซเวียตปี 1958 — เป็นเรื่องน่าสนใจทางประวัติศาสตร์ที่ไม่ เกี่ยวข้องกับเรื่องนี้เลย [ESTABLISHED] (Setun, Russian Virtual Computer Museum). คุณค่าของตรรกศาสตร์หลายค่าในที่นี้ไม่ใช่เชิงการคำนวณ แต่มันให้คำศัพท์แก่คุณสำหรับสังเกตว่าระบบของ คุณกำลังโกหกคุณเรื่องสิ่งที่มันรู้อยู่
The Move — Give absence its own field. In any record, table, or schema you build about evidence, make "we have no information" a distinct, storable state that is not zero, not null-as-false, and not a low score — and make it impossible for that state to enter an arithmetic operation. If a value can be absent, the code must be unable to average it. This is the single design decision that separates a system that reports what it knows from one that reports what it happens to have.
ท่าประจำบท — ให้การไม่มีข้อมูลมีฟิลด์ของตัวเอง ในบันทึก ตาราง หรือสคีมาใด ๆ ที่คุณสร้างเกี่ยวกับหลักฐาน ให้ทำ "เราไม่มีข้อมูล" เป็นสถานะที่แยกออก มาต่างหาก จัดเก็บได้ ไม่ใช่ศูนย์ ไม่ใช่ null-ที่แปลว่าเท็จ และไม่ใช่คะแนนต่ำ — และทำให้สถานะนั้นเข้า สู่การดำเนินการทางเลขคณิตไม่ได้เลย ถ้าค่าหนึ่งสามารถไม่มีข้อมูลได้ โค้ดต้องเอาค่านั้นไปเฉลี่ยไม่ได้ นี่คือการตัดสินใจด้านการออกแบบเพียงจุดเดียวที่แยกระบบที่รายงานสิ่งที่มันรู้ ออกจากระบบที่รายงานสิ่ง ที่มันบังเอิญมีอยู่
What would change my mind: a deployed, independently evaluated investigative system using four-valued or belief-function representation, showing better outcomes than a conventional confidence score, would move this appendix from reasoning to evidence. As of August 2026 no such system is documented, and I am recommending a design principle whose diagnosis is proven and whose remedy is not.
อะไรจะทำให้ผมเปลี่ยนใจ: ระบบสืบสวนที่ถูกนำไปใช้งานจริงและได้รับการประเมินอย่างเป็นอิสระ ซึ่งใช้ การแทนค่าแบบสี่ค่าหรือแบบฟังก์ชันความเชื่อ และแสดงผลลัพธ์ที่ดีกว่าคะแนนความเชื่อมั่นแบบเดิม จะย้าย ภาคผนวกนี้จากการให้เหตุผลไปเป็นหลักฐาน ณ เดือนสิงหาคม 2026 ยังไม่มีระบบเช่นนั้นถูกบันทึกไว้ และผม กำลังแนะนำหลักการออกแบบหนึ่งที่การวินิจฉัยได้รับการพิสูจน์แล้ว แต่ทางแก้นั้นยังไม่ได้