Recently, Lakemeyer and Levesque pr

Recently, Lakemeyer and Levesque proposed a logic of onlyknowing
which precisely captures three forms of nonmonotonic
reasoning: Moore’s Autoepistemic Logic, Konolige’s
variant based on moderately grounded expansions, and Reiter’s
default logic. Defaults have a uniform representation
under all three interpretations in the new logic. Moreover, the
logic itself is monotonic, that is, nonmonotonic reasoning is
cast in terms of validity in the classical sense. While Lakemeyer
and Levesque gave a model-theoretic account of their
logic, a proof-theoretic characterization remained open. This
paper fills that gap for the propositional subset: a sound and
complete axiom system in the new logic for all three varieties
of default reasoning. We also present formal derivations for
some examples of default reasoning. Finally we present evidence
that it is unlikely that a complete axiom system exists
in the first-order case, even when restricted to the simplest
forms of default reasoning.

ผลลัพธ์ (ไทย) 1:

ล่าสุด Lakemeyer และ Levesque นำเสนอตรรกะของ onlyknowingซึ่งแม่นยำจับได้สามรูปแบบ nonmonotonicใช้เหตุผล: ของมัวร์ Autoepistemic ตรรกะ Konolige ของตัวแปรตามขยายปานกลางป่นเล็กน้อย และของ Reiterตรรกะของเริ่มต้น เริ่มมีการแสดงรูปแบบเหมือนกันภายใต้ตีความสามทั้งหมดในตรรกะใหม่ นอกจากนี้ การตรรกะของตัวเองคือ monotonic คือ nonmonotonic เหตุผลคือโยนในตั้งแต่ในความรู้สึกคลาสสิก ในขณะที่ Lakemeyerและ Levesque บัญชีรุ่น theoretic ของพวกเขาตรรกะ การจำแนกหลักฐาน theoretic ยังคงเปิด นี้กระดาษเติมช่องว่างนั้นสำหรับชุดย่อย propositional: เสียง และระบบสัจพจน์สมบูรณ์ตรรกะใหม่สำหรับสายพันธุ์ที่สามทั้งหมดของเหตุผลเริ่มต้น นอกจากนี้เรายังมีรากศัพท์อย่างเป็นทางการตัวอย่างเหตุผลเริ่มต้น สุดท้าย เรานำเสนอหลักฐานที่เป็นระบบสัจพจน์สมบูรณ์อยู่น่าในกรณีสั่งแรก แม้จำกัดง่ายที่สุดรูปแบบเริ่มต้นเหตุผล

ผลลัพธ์ (ไทย) 2:

เมื่อเร็ว ๆ นี้และ Lakemeyer Levesque เสนอตรรกะของ onlyknowing
ที่แม่นยำจับสามรูปแบบของเชิงเดี่ยวสภาพเหตุผล: มัวร์ Autoepistemic ลอจิก Konolige ของตัวแปรขึ้นอยู่กับการขยายตัวในระดับปานกลางมีเหตุผลและไรเตอร์ของตรรกะเริ่มต้น เริ่มต้นมีการแสดงที่เหมือนกันภายใต้การตีความทั้งสามในตรรกะใหม่ นอกจากนี้ลอจิกตัวเองเป็นต่อเนื่องนั่นคือเหตุผลเชิงเดี่ยวสภาพถูกโยนในแง่ของความถูกต้องในความรู้สึกคลาสสิก ในขณะที่ Lakemeyer และ Levesque ให้บัญชีแบบทฤษฎีของตรรกะลักษณะพิสูจน์ทฤษฎียังคงเปิดอยู่ นี้กระดาษที่เติมช่องว่างสำหรับเซตประพจน์: เสียงและระบบความจริงที่สมบูรณ์ในตรรกะใหม่สำหรับทั้งสามสายพันธุ์ของเหตุผลเริ่มต้น นอกจากนี้เรายัง derivations อย่างเป็นทางการในปัจจุบันสำหรับตัวอย่างบางส่วนของเหตุผลที่เริ่มต้น ในที่สุดเรานำเสนอพยานหลักฐานว่ามันไม่น่าเป็นไปได้ว่าระบบความจริงที่สมบูรณ์ในกรณีที่สั่งซื้อครั้งแรกแม้ในขณะที่การจำกัด การที่ง่ายรูปแบบของการเริ่มต้นการใช้เหตุผล

ผลลัพธ์ (ไทย) 3:

เมื่อเร็วๆ นี้ และ lakemeyer เลเวสก์เสนอตรรกะของ onlyknowing
ซึ่งแน่นอนจับสามรูปแบบของ nonmonotonic
เหตุผลของมัวร์ autoepistemic ตรรกะของตัวแปรตาม konolige
ปานกลางกักบริเวณ ขยาย ของไรเตอร์
เริ่มต้นและตรรกะ เริ่มต้นมี
แทนเครื่องแบบภายใต้สามตีความทั้งหมดในตรรกะใหม่ นอกจากนี้
ตรรกะตัวเองอย่างเดียว นั่นคือnonmonotonic เหตุผลคือ
หล่อ ในแง่ของความถูกต้องในความรู้สึกคลาสสิก ในขณะที่ lakemeyer
เลเวสก์ให้รูปแบบและทฤษฎีบัญชีของตรรกะของพวกเขา
, พิสูจน์ทฤษฎีการยังคงเปิด กระดาษ
เติมช่องว่างสำหรับย่อยเชิงประพจน์ : เสียงและสมบูรณ์ระบบสัจพจน์
ในตรรกะใหม่ของทั้งสามพันธุ์
เหตุผลเริ่มต้น นอกจากนี้เรายังนำเสนอแหล่งที่มาอย่างเป็นทางการสำหรับ
ตัวอย่างบางส่วนของเหตุผลที่เริ่มต้น สุดท้ายเราแสดงหลักฐาน
ว่ามันยากที่ระบบสัจพจน์ที่สมบูรณ์อยู่แล้ว
ในคดีแรกที่สั่ง แม้ว่าจำกัดแบบฟอร์มที่ง่ายที่สุด
เหตุผลเริ่มต้น