Article Per Year (5 Year)
p-Index From 2021 - 2026
0
P-Index
This Author published in this journals
All Journal Proceedings of KNASTIK Teknik dan Ilmu Komputer
Djoni Dwijono
Sistem Informasi Fakultas Teknologi Informasi Universitas Kristen Duta Wacana
Computer Science & IT

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 3 Documents
Search

 1 
Heuristik untuk Mempercepat Pembuktian Validitas Argumen dengan Tablo Semantik di Logika Predikat Dwijono, Djoni
Teknik dan Ilmu Komputer VOL. 7 NO. 25 Januari-Maret 2018
Publisher : Teknik dan Ilmu Komputer

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

AbstrakPembuktian validitas suatu argumen dengan menggunakan Tablo Semantik pada ranah logika predikat dapat dilakukan dengan memakai aturan-aturannya. Namun jika mengikuti aturannya, maka jalan pembuktiannya dapat menjadi panjang dan melebar karena aturan tersebut tidak memberi pedoman pengambilan bentuk logika yang diambil untuk dijalankan sesuai aturannya. Pengambilan aturan tersebut jika diberi tambahan heuristik-heuristik yang sesuai, maka pembuktian validitas argumen dapat menjadi lebih pendek.Kata Kunci: Heuristik, Tablo Semantik, Logika Predikat, Validitas ArgumenAbstractThe validity of an argument using the Semantic Tableaux in predicate logic can be verified by applying the rules. But, if the rules are followed, the verification path will be longer and wider since the rule does not provide guidance to choose which logic form to follow according to the rules. Taking these rules in addition to appropriate heuristic methods, can shorten the argument validity verification.Keywords: Heuristic Method, Semantic Tableaux, Predicate Logic, Argument ValidityTanggal Terima Naskah : 29 Mei 2017Tanggal Persetujuan Naskah : 17 Oktober 2017
TEKNIK BAWAH-ATAS UNTUK MEMPERMUDAH PENYELESAIAN DEDUKSI ALAMI DENGAN SISTEM GENTZEN Dwijono, Djoni
Proceedings of KNASTIK 2012
Publisher : Duta Wacana Christian University

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Natural Deduction settlement in the realm of propositional logic, normally resolvedthrough top-down techniques, which means that the deduction starts from an expressionthat has been given and or with the assumption, then the rules of certain inferenproduce the next process is called derivation. This method done continuously until thelogical expression to be proved as the results are really materialized.Top-downapproach has certain difficulties not easily solved the difficulty to find an expressionthat became the beginning of proof or of the assumptions used. The difficulty isattempted facilitated by the completion of proof is reversed by bottom-up techniques.Verification process should start from the proved to find beginning of the proof.Toexplain the process of bottom-up approach, in this paper will be given an example onone of the Natural Deduction proof by Gentzen system.
PEMBUKTIAN PADA DEDUKSI ALAMI DENGAN TEKNIK TABEL DAN TEKNIK GARIS HORISONTAL Dwijono, Djoni
Proceedings of KNASTIK 2010
Publisher : Duta Wacana Christian University

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Melakukan proses deduksi pada berbagai sistem deduksi alami, dan di sini adalah sistem Gentzen, dapat dilakukan dengan berbagai teknik atau cara. Semua teknik tersebut dapat menunjukkan proses deduksi yang dilakukan pada suatu sistem deduksi alami, tetapi setiap teknik tentu memiliki kelebihan dan kekurangan masing-masing.Pada makalah ini akan diperlihatkan dan dibahas proses deduksi yang dikerjakan melalui teknik tabel dan teknik garis horisontal, memperbandingkan dan menganalisis kelebihan dan kekurangan dari masing-masing teknik tersebut. Perbandingan tersebut meliputi kemudahan-kemudahan dan informasi-informasi yang diperoleh dari proses deduksi yang dilakukan. Berdasarkan hasil perbandingan tersebut, akan diperoleh teknik manakah yang sebaiknya digunakan untuk melakukan proses deduksi pada deduksi alami dengan Sistem Gentzen, dan sebenarnya juga dapat digunakan pada sistem deduksi alami lainnya.
Co-Authors