Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

A Heuristic Proof Procedure for First-Order Logic Prosedur Bukti Heuristik untuk Logik Urutan Pertama

Keehang KWON

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Diilhamkan oleh prosedur bukti cekap yang dibincangkan dalam Logik kebolehkiraan [3],[5],[6], kami menerangkan prosedur pembuktian heuristik untuk logik urutan pertama. Ini ialah varian sistem jujukan Gentzen [2] dan mempunyai ciri-ciri berikut: (a) ia melihat jujukan sebagai permainan antara mesin dan persekitaran, dan (b) ia melihat bukti sebagai strategi kemenangan mesin. Dari sudut pandangan berasaskan permainan ini, heuristik yang kuat boleh diekstrak dan tahap determinisme yang saksama dalam carian bukti boleh diperolehi. Artikel ini mencadangkan LKg sistem deduktif baharu berkenaan dengan logik peringkat pertama dan membuktikan kekukuhan dan kesempurnaannya.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E103-D No.3 pp.549-552
Tarikh penerbitan
2020/03/01
Diumumkan
2019/11/21
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2019FCL0003
Jenis Manuskrip
Special Section LETTER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —)
kategori

Pengarang

Keehang KWON
  DongA University

Kata kunci

Contents [show]