Towards an axiom system for default

Towards an axiom system for default logic
G Lakemeyer, HJ Levesque - PROCEEDINGS OF THE NATIONAL …, 2006 - aaai.org
Abstract 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.

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

ต่อระบบสัจพจน์การตรรกะค่าเริ่มต้นG Lakemeyer, HJ Levesque -ตอนของเดอะเนชั่นแนล..., 2006 - aaai.orgบทคัดย่อล่า Lakemeyer และ Levesque นำเสนอตรรกะของ onlyknowing ซึ่ง จับสามรูปแบบเหตุผล nonmonotonic แม่นยำ: ตรรกะของมัวร์ Autoepistemic ตัวแปรของ Konolige ที่ขยายปานกลางป่นเล็กน้อย และตรรกะของ Reiter เริ่มต้น

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

ต่อระบบความจริงสำหรับการเริ่มต้นตรรกะ
G Lakemeyer, ฮยอนจุง Levesque - การดำเนินการของชาติ ... 2006 - aaai.org
บทคัดย่อเมื่อเร็ว ๆ นี้และ Lakemeyer Levesque เสนอตรรกะของ onlyknowing ที่
แม่นยำจับสามรูปแบบของการให้เหตุผลเชิงเดี่ยวสภาพ: มัวร์ Autoepistemic ลอจิก
ของตัวแปร Konolige ขึ้นอยู่กับการขยายตัวในระดับปานกลางมีเหตุผลและตรรกะเริ่มต้นของไรเตอร์

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

ต่อระบบสัจพจน์เริ่มต้นตรรกะ
g lakemeyer , Hj เลเวสก์ - รายงานการประชุมทางวิชาการแห่งชาติ . . . . . . . , 2006 - aaai . org
บทคัดย่อ และเมื่อเร็วๆ นี้ lakemeyer เลเวสก์เสนอตรรกะของ onlyknowing ซึ่ง
แม่นยำจับสามรูปแบบของ nonmonotonic เหตุผลของมัวร์ autoepistemic ตรรกะ
konolige ของตัวแปรตามไรเตอร์สายดินและปานกลาง ขยาย เป็นค่าตรรกะ