非精確謂詞邏輯推理
關(guān)鍵詞：賭局 非精確概率 自然擴(kuò)張 謂詞邏輯
摘要：非精確概率邏輯是經(jīng)典命題邏輯的擴(kuò)張,因?yàn)樗脑再|(zhì)都是由命題邏輯的元性質(zhì)推廣而來的。自然擴(kuò)張推廣了命題邏輯的演繹過程;融貫性推廣了命題邏輯的演繹封閉且一致。但是如何把謂詞邏輯同非精確概率結(jié)合起來,以形成非精確謂詞邏輯?為了讓IP概率邏輯能夠表達(dá)謂詞,必須另辟蹊徑。通過在狀態(tài)描述上引入非精確概率,然后把非精確概率擴(kuò)展到QFSL,進(jìn)而通過IP推理的自然擴(kuò)張擴(kuò)展到SL上。這樣就實(shí)現(xiàn)了非精確概率同謂詞邏輯的結(jié)合,得出了非精確概率謂詞邏輯推理。換言之,通過把主觀主義嫁接在卡爾納普的邏輯主義之上,可以實(shí)現(xiàn)這一步。
邏輯學(xué)研究雜志要求:
{1}來稿所涉及的項(xiàng)目如果為國家或地方基金課題，請?jiān)趤砀逯凶⒚髡n題項(xiàng)目、編號、來源，本刊將優(yōu)先錄用。
{2}來稿須注明未一稿兩投，曾在其他公開雜志以摘要或簡報(bào)形式發(fā)表者不在此限。
{3}題目：力求簡明、醒目，能準(zhǔn)確反映文章主題。應(yīng)避免使用非公知公用的縮略語、字符和代號等，如必須使用，應(yīng)在文中第一次出現(xiàn)時(shí)，對其作出通俗易懂的說明。
{4}文后須列出參考文獻(xiàn)條目（序號和文中出現(xiàn)的順序相對應(yīng)）。主要責(zé)任者如超過3人，可在第三個(gè)責(zé)任者后加“，等”，否則需列出全部著、譯者。
{5}文章摘要篇幅以200~300 字為宜。摘要的作用是補(bǔ)充題名的不足，介紹文章主要內(nèi)容以引導(dǎo)讀者閱讀全文。摘要一般要求：目的、方法、結(jié)果和結(jié)論4個(gè)要素，采用第三人稱表述。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
