Article Per Year (5 Year)
p-Index From 2020 - 2025
0
P-Index
This Author published in this journals
All Journal Research Report - Engineering Science
Cecilia E Nugraheni
Jurusan Teknik Informatika, Fakultas Teknologi Infromasi dan Sains Universitas Katolik Parahyangan
Engineering

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

Found 2 Documents
Search

 1 
Spesikasi Sistem Multi Agen Berparameter Secara Formal dengan TLA+ Cecilia E Nugraheni
Research Report - Engineering Science Vol. 1 (2011)
Publisher : Universitas Katolik Parahyangan

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (77.092 KB)

Abstract

Sebuah Sistem Multi Agen (SMA) adalah kumpulan agen cerdas yang berinteraksisatu dengan yang lain dan bekerja secara bersama-sama untuk mencapai suatu tu-juan. Pada penelitian SMA dipandang sebagai suatu sistem berparameter yaitusistem yang terdiri atas beberapa proses sejenis yang banyaknya ditentukan olehparameter masukan. Motivasi dari penelitian ini adalah dengan memandang SMAsebagai suatu sistem berparameter, maka proses spesikasi dan verikasi dapat di-lakukan dengan cara yang sama berapapun jumlah agen yang ada di dalam sistem.Permasalahan yang mungkin muncul dengan cara pandang ini adalah tidak se-mua SMA bersifat homogen, tidak semua agen mempunyai kapabilitas yang sama.Pada penelitian ini diusulkan sebuah solusi sederhana yaitu dengan menambahkanprekondisi pada aksi pada spesikasi SMA yang berbasis Temporal Logic of Actions(TLA). Hal ini untuk menjamin hanya agen tertentu yang dapat mengaktifkan aksitertentu. Pendekatan ini telah berhasil diterapkan pada SMA homogen maupunnon-homogen.Kata kunci: multi agent systems, parameterized systems, specication, TLA.
PEMODELAN SUDOKU SEBAGAI BLOCK WORLD PROBLEM Cecilia E Nugraheni; Luciana Abednego
Research Report - Engineering Science Vol. 1 (2013)
Publisher : Universitas Katolik Parahyangan

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (263.695 KB)

Abstract

Sudoku adalah sejenis teka-teki logika yang tujuan akhirnya adalah mengisikan angka-angka 1sampai dengan 9 ke dalam suatu kotak berukuran 9×9. Kotak ini memiliki 9 sub-kotak berukuran3 × 3. Syarat teka-teki ini adalah tidak ada angka yang berulang pada setiap baris, kolom,atau sub-kotak. Teka-teki Sudoku termasuk ke dalam permasalahan kombinatorial (NP complete).Solusi untuk teka-teki ini dapat dicari dengan bermacam-macam cara seperti algoritmagenetik [4], heuristik [1], dan sebagainya. Pada penelitian ini, teka-teki Sudoku akan dicobadipecahkan dengan memodelkannya sebagai block-world problem. Pada block-world problem,terdapat sejumlah balok pada meja dengan susunan tertentu. Balok-balok tersebut kemudiandiubah susunannya menjadi susunan balok akhir dengan bantuan dua jenis robot. Hasil daripenelitian ini berupa spesifikasi formal dari model Sudoku sebagai block-world problem yangditulis dalam notasi Temporal Logic of Actions (TLA).
Co-Authors Luciana Abednego