To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical ...logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. * Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. * The first full book on commonsense reasoning to use the event calculus. * Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. * Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. * Includes fully worked out proofs and circumscriptions for every example.
Abstract and complex material about an introduction to programming if it is based on writing computer programs will be very difficult to understand if it is directly given to elementary school ...students. The development of the storytelling method with an Object Oriented Programming (OOP) approach for an introduction to simple programming becomes relevant. The OOP approach for an introduction to simple programming in elementary school will lead students to understand programming logic. The stages in developing it include analysis, design and development. The results of the trial show that the media experts gave very appropriate responses to be used, as well as the Material Experts I and II. This can be interpreted that development is very feasible to be tested in the field to get student responses.
Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory. Probabilistic Logic Programming is at the ...intersection of two wider research fields: the integration of logic and probability and Probabilistic Programming.
Logic enables the representation of complex relations among entities while probability theory is useful for model uncertainty over attributes and relations. Combining the two is a very active field of study.
Probabilistic Programming extends programming languages with probabilistic primitives that can be used to write complex probabilistic models. Algorithms for the inference and learning tasks are then provided automatically by the system.
Probabilistic Logic programming is at the same time a logic language, with its knowledge representation capabilities, and a Turing complete language, with its computation capabilities, thus providing the best of both worlds.
Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. Foundations of Probabilistic Logic Programming aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, and learning and highlights connections between the methods.
Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online.
ABSTRAKPerubahan laju aliran air pada pembangkit listrik pikohidro dapat menyebabkan daya dan tegangan yang dihasilkan generator menjadi tidak stabil. Penelitian ini bertujuan untuk merancang Maximum ...Power Point Tracking (MPPT) dengan algoritma logika fuzzy pada Permanent Magnet Synchronous Generator (PMSG) dengan penstabil tegangan untuk aplikasi pembangkit listrik pikohidro. Pada penelitian ini digunakan dua unit konverter DC/DC tipe buck-boost yang dipasang secara serial. MPPT logika fuzzy dirancang untuk mengendalikan konverter pertama, sedangkan pengendali PI digunakan pada konverter kedua. Hasil pengujian secara simulasi dengan skenario kecepatan turbin konstan menunjukkan PMSG mampu menghasilkan daya maksimum 167 Watt pada kecepatan turbin 600 rpm dengan tegangan keluaran 14 V. Pengujian dengan skenario perubahan kecepatan turbin dan perubahan beban menunjukkan PMSG mampu menjejaki daya maksimum serta menghasilkan tegangan keluaran yang stabil dengan overshoot terbesar sekitar 33%.Kata kunci: MPPT, PMSG, logika fuzzy, pengendali PI, pikohidro ABSTRACTThe changes in the water flow rate on pycohydro power plant can cause the power and voltage generated by the generator to become unstable. This study aims to design Maximum Power Point Tracking (MPPT) with fuzzy logic algorithm on Permanent Magnet Synchronous Generator (PMSG) with voltage regulator for picohydro power plant applications. In this study, two units buck-boost DC/DC converter were installed in series. The fuzzy logic MPPT is designed to control the first converter, while the PI controller is used in the second converter. Simulation test results with a constant turbine speed scenario show that PMSG is able to produce a maximum power of 167 Watts at a turbine speed of 600 rpm with an output voltage of 14 V. Tests with scenarios of changes in turbine speed and changes in load show PMSG is able to track maximum power and produce a stable output voltage with the biggest overshoot is about 33%.Keywords: MPPT, PMSG, fuzzy logic, PI controller, pycohydro
The life of pesantren students (santri) are often connoted to simplicity in standing alone and live what it is worth. Although they live in simplicity, the mahasantri in IDIA Prenduan have happiness ...logic in their life. The blissfulness means a happiness that is felt by someone. Therefore, this research covered about the logic of happiness of mahasantri in IDIA Prenduan, and the factors of happiness that is enjoyed by mahasantri IDIA Prenduan. By qualitative descriptive method, found that they are happy in living at pesantren campus because they have new friends from all of corner Indonesian Archipelago. In addition, the existence of programs and learning systems that prioritize the lesson kepesantrenan (ma'hadi) and Islamic Shari'a are being a factor of happiness for mahasantri in IDIA Prenduan university. Togetherness in learning and worship also contribute to other factors of santri happiness. Moreover, the Kiai often raise the theme of gratitude in the lectures and lessons given by the Kiai in IDIA Prenduan. In addition, in the interest of education, IDIA Prenduan efforts to direct its santri to be the the patient and sincere person type. Sincerity is the soul of all branches of human belief and that result of it is the happiness.
Tujuan dari riset ini ialah untuk melihat keefektifan media rubattri dalam mengembangkan penalaran matematis Anak Usia Dini. Riset ini mengaplikasikan desain one-group pretest and posttest terhadap ...kelompok subjek eksperimen yang mendapat treatmen. Dalam penelitian ini, sampel diambil dari 14 anak (7 perempun dan 7 laki-laki) yang berusia antara 5 dan 6tahun. Observasi an dokumentasi menjadi metode dalam menghimpun data dalam riset ini. Uji efektivitas, uji normalitas, dan hipotesis statistik adalah metode untuk manganalisa data penelitian. Hasil uji normalitas membuktikan dataa tersebar dengan normal yakni signifikansi pretest 0,255 dan posttest 0,225 (˃) 0,05. Temuan penelitian menunjukkan bahwa media rubattri secara signifikan meningkatkan kemampuan logika matematika anak usia dini. Hipotesis 0 (H0) tidak diterima dan hipotesis alternatif (Ha) diterimayang dibuktikan dengan nilai signifikansi kecerdasan logika matematis anak 0,000˂0,05. Hal ini menunjukkan bahwsanya media Rubattri bermanfaat untuk menstimulasi kemampuan logis matematis pada Anak Usia Dini.
Formalin merupakan zat kimia berbahaya yang memiliki bau menyengat, tidak memiliki warna atau jernih, dan mudah terbakar. Formalin, yang seharusnya digunakan untuk bahan pengawet mayat, banyak ...disalahgunakan oleh oknum pedagang, salah satunya untuk mengawetkan makanan. Formalin memiliki efek berbahaya jika masuk ke dalam tubuh manusia. Oleh karena itu, dibutuhkan alat praktis yang dapat mendeteksi keberadaan formalin dalam makanan. Pembuatan alat pendeteksi formalin menggunakan sistem inferensi fuzzy metode Mamdani sangat bermanfaat untuk mendeteksi formalin dan tingkat keamanan makanan secara cepat dan ekonomis. Alat pendeteksi formalin ini menggunakan deret sensor, yaitu sensor HCHO dan sensor MQ-7, yang dipadukan dengan sistem pakar, yaitu logika fuzzy. Sensor HCHO bekerja seperti indra pencium untuk mendeteksi formalin pada makanan, sedangkan sensor MQ-7 digunakan untuk mendeteksi karbon monoksida (CO). Pada proses pengujian, dibutuhkan pemanas (heater) untuk membuat sampel makanan mengalami penguapan. Uap inilah yang dideteksi oleh kedua sensor gas tersebut dan diposes dengan logika fuzzy metode Mamdani. Untuk mengetahui akurasi alat, hasil pengujian menggunakan alat dibandingkan dengan pengujian pada kit formalin dan Fuzzy Logic Toolbox pada MATLAB. Hasil pengujian menunjukkan bahwa kadar formalin yang paling sedikit pada sampel tahu adalah sampel H, yaitu sebesar 0,60 ppm, sedangkan kadar formalin yang paling banyak pada sampel tahu adalah sampel E, yaitu sebesar 13,64 ppm. Kadar formalin yang paling sedikit pada ikan asin adalah sampel P, sebesar 7,14 ppm, sedangkan kadar formalin yang paling banyak pada sampel ikan asin adalah sampel T, yaitu sebesar 193,81 ppm. Jika dibandingkan dengan hasil dari kit formalin, dari pengujian sebanyak dua puluh sampel, diperoleh nilai akurasi sebesar 95%. Keluaran yang dihasilkan oleh alat hampir sama dengan yang dihasilkan MATLAB, yaitu 85% memiliki selisih 0,01 dan 15% memiliki selisih 0,02. Rata-rata error antara keluaran alat dan MATLAB adalah 0,77%.
Pneumonia is a disease that attacks almost every human being, ranging from young people to adults. Doctors often find it difficult to identify someone who has pneumonia, because pneumonia has several ...levels of classification, making it possible to experience symptoms that are also different. Pulmonary specialist experts classify pneumonia classification to be "mild" and "severe", making it easier for doctors to diagnose pneumonia. One of the right methods is to use fuzzy logic because it tends to have symptoms and diagnoses that are biased/fuzzy. The conclusion of testing several primary data obtained from interviews and system testing is that the implementation of the pneumonia diagnosis system with Tsukamoto fuzzy logic can help experts determine the level of pneumonia according to the symptoms experienced by the patient, with the value of user acceptance testing at 95%.
ABSTRAKPengontrolan suhu adalah proses yang sering digunakan dalam pemakaian seharihari. Diantaranya adalah pengontrolan suhu pada proses pengeringan cat menggunakan teknik oven atau pengering paksa. ...Pada penelitian ini pengontrolan suhu digunakan untuk proses pengeringan cat pada plat panel listrik dengan cara membuat suhu stabil pada 60ºC selama 30 menit. Untuk mempertahankan suhu pada ruangan mesin oven cat sebesar 60ºC tersebut, maka kinerja dari elektrik heater sebagai sumber panas dikontrol menggunakan AC-AC konverter dengan metode logika kontrol fuzzy. Hasil yang diperoleh adalah suhu dalam ruangan mesin oven cat bisa mencapai set point 60ºC selama waktu 5 menit 13 detik dan suhu bisa dipertahankan 61ºC dengan persentase error sebesar 1,67%. Konstruksi oven dalam penelitian ini digunakan pada bengkel pengecatan panel sehingga tidak lagi tergantung menggunakan panas matahari atau menggunakan kondisi suhu luar ruangan.Kata kunci: Mesin Oven Cat, Sensor Suhu, Panel Box, Logika Kontrol Fuzzy ABSTRACTTemperature control is a process that is often used in everyday use. Among them is temperature control in the paint drying process using oven or forced drying techniques. In this study, temperature control was used for the drying process of paint on electrical panel plates by making the temperature stable at 60ºC for 30 minutes. To maintain the temperature in the paint oven machine room at 60ºC, the performance of the electric heater as a heat source is controlled using an AC-AC Converter with the Fuzzy Logic Control method. The results obtained are that the temperature in the paint oven machine room can reach a set point of 60ºC for 5 minutes 13 seconds and the temperature can be maintained at 61ºC with an error percentage of 1.67%. The construction of the oven in this study was used in a panel painting workshop so that it is no longer dependent on using solar heat or using outdoor temperature conditions.Keywords: Paint Booth, Temperatur Sensor, Panel Box, Fuzzy Logic Control