Judul: Pemodelan dan Solusi Game Mate In One Puzzle dengan Representasi Logika Answer Set Programming
Abstrak: Since the beginning of AI, mind games, such as Chess, have been studied as application fields for AI. Several variation of chess related problems have been shown to be NP-complete. This research deals with the problem of Mate in One Puzzles. We employ Answer Set Programming (ASP) to tackle this problem. ASP has been, in the last decade, the subject of active research in the field of logic programming, knowledge representation, and reasoning. ASP allows for an intuitive representation of computationally hard problems as well as efficient solving using state-of-the-art solvers, such as DLV. In this research, a representation of Mate In One Puzzles has been formulated and a prototype application system written using PHP and DLV has also been implemented. Experimental results show that the system is capable of generating solutions for Mate in One problem efficiently. However, the representation is still not efficient enough to be used for more difficult class of problems such as Mate in Two and Mate in Three.
Keyword: 

Judul: Perbandingan Answer Set Programming dan Iterative Deepening Search dalam Menyelesaikan Game N-puzzle
Abstrak: N-puzzle is one of the known NP-complete problems in the field of puzzles and games. The purpose of N-puzzle is to arrange numbers from 1 to (n2-1) in an n x n grid, with one grid contains a blank square. The research aims to compare the use of Answer Set Programming (ASP), as one of the currently used formalism to express and solve hard computational problems, with the traditional Iterative Deepening Search (IDS) in solving the N-puzzle. An encoding of N-puzzle problem and solver was devised and executed using the DLV system, while IDS is implemented as an ad-hoc program solving the N-puzzle problem. The result of experiment shows that the ASP using DLV is more effective in finding solutions, because it requires no depth parameters to find solutions, while IDS does. On the other hand, the IDS implementation was more efficient in terms of execution time.
Keyword: 

Judul: Pengaruh Kecepatan Sentrifugasi Terhadap  Karakteristik Biodiesel Jarak Pagar (Jatropha Curcas L.)
Abstrak: sumber bahan bakar diesel alternatif potensial. Proses produksinya melalui reaksi esterifikasi-transesterifikasi yang menghasilkan campuran heterogen antara fasa hidrofobik (biodiesel) dan fasa hidrofilik (gliserol). Kedua senyawa ini memiliki perbedaan berat jenis. Campuran heterogen biodiesel-gliserol umumnya dipisahkan secara settling yang memakan waktu selama 8-12 jam. Aplikasinya dalam sistem kontinyu dapat menghambat proses produksi secara keseluruhan. Oleh karena itu, dibutuhkan proses sentrifugasi untuk mempercepat waktu pemisahan. Biodiesel yang diperoleh dari hasil separasi masih mengandung sisa katalis basa sehingga proses pencucian biodiesel diperlukan dalam proses untuk menghilangkan sisa katalis tersebut. Penelitian ini bertujuan untuk mengetahui pengaruh kecepatan sentrifugasi terhadap karakteristik biodiesel jarak pagar serta mengetahui apakah proses sentrifugasi ini dapat mengefisienkan proses pencucian katalis basa pada biodiesel. Penelitian ini meliputi penelitian pendahuluan untuk mengetahui karakteristik minyak jarak pagar, dan penelitian utama untuk mengetahui pengaruh kecepatan sentrifugasi terhadap karakteristik biodiesel. Perlakuan yang diberikan dalam penelitian utama adalah kecepatan sentrifugasi 500 rpm (30 g), 1000 rpm (120 g), 1500 rpm (270 g), dan 2000 rpm (480 g). Rancangan percobaan yang digunakan dalam penelitian utama adalah Rancangan Acak Lengkap faktor tunggal. Parameter utama dalam penelitian utama adalah viskositas kinematik, densitas, dan kadar katalis basa biodiesel. Ketiga parameter ini dibandingkan dengan biodiesel hasil settling selama 12 jam. Karakteristik biodiesel yang diperoleh setelah sentrifugasi selama satu menit berupa viskositas kinematik (4,61 – 4, 71 cSt), densitas (0,8823 – 0,8848 g/cm3), kadar katalis KOH (714 – 982 ppm), perolehan biodiesel setelah sentrifugasi (77,37 – 81,49 %v/v), kadar air (0,0129 – 0,0168 %b/b), bilangan asam (0,81 – 0,93 mg KOH/ g biodiesel), kadar asam lemak bebas (0,41 – 0,47%), bilangan iod (87,00 – 87,87 g I2/100 g biodiesel), bilangan penyabunan (192,62 – 195,95 mg KOH/g biodiesel), dan angka setana (54,47 – 54,95). Selain itu juga dilakukan uji kromatografi gas-spektrometrik massa yang menunjukkan bahwa biodiesel hasil sentrifugasi dengan kecepatan 500 rpm (30 g) selama satu menit mengandung 97,25% (b/b) metil ester. Hasil uji t-student menunjukkan bahwa viskositas kinematik, densitas, dan kadar KOH biodiesel yang diperoleh dengan cara sentrifugasi lebih baik daripada biodiesel hasil settling selama 12 jam. Kecepatan sentrifugasi sebesar 500 rpm (30 g) selama satu menit sudah dapat mengefisiensikan proses pencucian katalis basa yang umumnya dilakukan sebagai tahap pemurnian biodiesel setelah separasi. Proses sentrifugasi juga dapat mereduksi waktu settling biodiesel kasar setelah transesterifikasi yang menghambat proses produksi biodiesel pada skala kontinyu.
Keyword: