Trajnostnost se nanaša na ravnovesje socialnih, gospodarskih in okoljskih dejavnikov, cilj tega koncepta pa je življenje v sožitju z naravo. Trajnostni razvoj se po drugi strani nanaša na doseganje ...urbanih ciljev za prihodnost ter na hkratno povečevanje blaginje in učinkovito prenašanje virov na naslednje generacije. Za oblikovanje politike in spremljanje napredka na tem področju se uporabljajo kazalniki trajnostnosti, ki jih oblikujejo razne ustanove in se razlikujejo glede na državo. V gospodarstvih v razvoju, kot je Turčija, je bilo do zdaj opravljenih malo raziskav o merjenju trajnostnosti. Avtorici sta v članku proučili ravni trajnostnosti turških mest z uporabo mehke logike, pri čemer sta oblikovali tudi merljiv in ponovljiv številski model za analizo njihove trajnostnosti. Za merjenje trajnostnosti sta uporabili 27 kazalnikov v okviru glavnih komponent ekologije, gospodarstva in socialnih vidikov, trajnostnost mest pa sta ocenili z mehkimi pravili. Na podlagi rezultatov sta vseh 81 turških provinc razdelili na kvantilne razrede in jih kartirali. Uporabljeni analitični pristop je lahko uporaben za urbaniste, oblikovalce politik in odločevalce, raziskava, predstavljena v tem članku, pa prispeva k boljšemu poznavanju in razumevanju trajnostnosti.
Teknologi otomatisasi sistem kendali dan mikrokontroler merupakan salah satu cara yang digunakan untuk mendeteksi kondisi air dan ketinggian air serta sistem untuk mengendalikan pompa air secara ...otomatis. Adapun proses otomatisasi dalam pengatur ketinggian air ini sangat penting agar dapat menghemat kebutuhan air pada kolam ikan. Dalam penelitian ini dibuatlah teknologi otomatisasi menggunakan logika fuzzy berbasis mikrokontroler, untuk sistem pendeteksi kondisi air dan ketinggian air serta sistem untuk mengendalikan pompa air, yang dapat diatur secara otomatis sesuai batas atas (maximal) dan batas bawah (minimal) serta dapat melakukan penggantian air kolam secara otomatis apabila air kolam sudah keruh.
Iš logikos istorijos Valevičius, V.
Problemos,
10/2014, Letnik:
26
Journal Article
Odprti dostop
A. Vaišvilos knygos „Logikos mokslas Lietuvoje“ recenzija. Knygos autorius apžvelgia lietuviškos logikos terminijos raidą, neotomistinės logikos šaltinius, nes pastaroji dominavo tuometinėse Lietuvos ...mokyklose ir universitete. Nagrinėjami matematinės logikos pradmenys Lietuvoje – K. Raičinskio darbai, V. Sezemano paradoksų problemos sprendimas. Aprašomas dialektinės logikos atsiradimas ir plitimas Lietuvoje. Recenzentas priekaištauja autoriui dėl smulkaus šaltinių aprašinėjimo ir vertinimų, knygos fragmentiškumo, pernelyg išsamaus K. Raičinskio logistinės sistemos dėstymo, kuri nepadarė didesnės įtakos Lietuvos logikos vystymuisi.
How We Reason Johnson-Laird, Philip
2008, 2006, 2008-10-23
eBook
Good reasoning can lead to success; bad reasoning can lead to catastrophe. Yet, it's not obvious how we reason, and why we make mistakes. This new book by one of the pioneers of the field, Philip ...Johnson-Laird, looks at the mental processes that underlie our reasoning. It provides the most accessible account yet of the science of reasoning.
The problem of inducing, learning or inferring grammars has been studied for decades, but only in recent years has grammatical inference emerged as an independent field with connections to many ...scientific disciplines, including bio-informatics, computational linguistics and pattern recognition. This book meets the need for a comprehensive and unified summary of the basic techniques and results, suitable for researchers working in these various areas. In Part I, the objects of use for grammatical inference are studied in detail: strings and their topology, automata and grammars, whether probabilistic or not. Part II carefully explores the main questions in the field: What does learning mean? How can we associate complexity theory with learning? In Part III the author describes a number of techniques and algorithms that allow us to learn from text, from an informant, or through interaction with the environment. These concern automata, grammars, rewriting systems, pattern languages or transducers.
Persemaian merupakan fase awal pada pertumbuhan tanaman, fase ini sangat penting dan menentukan pertumbuhan tanaman. Dalam prosesnya, persemaian memerlukan kondisi lingkungan yang sesuai secara ...konsisten. Persemaian Otomatis Full Closed System, pada prinsipnya sama dengan pertanian presisi yaitu plant factory, bedanya persemaian otomatis full closed system khusus pada fase persemaian saja. Tujuan dari penelitian ini adalah menyusun tahapan untuk memperoleh nilai logika fuzzy dan merumuskan nilai PWM mikrokontroler, dengan set poin suhu 27 °C dan kelembaban 70%. Budidaya tanaman yang termasuk di dalamnya persemaian, dapat dilakukan sepanjang tahun tanpa ada batasan waktu, dikarenakan kondisi lingkungan sesuai dengan kebutuhan tanaman tanpa tergantung dengan kondisi lingkungan luar. Metode persemaian konvensional, sangat bergantung pada kondisi lingkungan mikro tanaman (suhu, kelembaban dan intensitas cahaya) dan nilai lingkungan mikro juga sangat fluktuatif. Penelitian ini menggunakan logika fuzzy untuk mengontrol lingkungan mikro persemaian otomatis, dengan set poin suhu 27 °C dan kelembaban 70%, menggunakan pendekatan fuzzy Tsukamoto, nilai output PWM akhir pada kontrol suhu dan kelembaban pada penelitian ini adalah 613.8.
Untuk menyetujui judul penelitian yang diajukan mahasiswa oleh dosen pembimbing membutuhkan cara yang cukup rumit guna menghasilkan kualitas penelitan yang baik dan sebaran bidang ilmu yang merata. ...Salah satu cara yang dapat digunakan untuk membantu persetujuan judul penelitian tersebut adalah dengan menggunakan sistem pembobotan judul penelitian yang diusulkan mahasiswa. Dengan sistem pembobotan judul penelitian tersebut dosen pembimbing dapat terbantu dalam menyetujui judul penelitian yang diajukan oleh mahasiswa bimbingannya, sehingga kualitas penelitian semakin meningkat dan sebaran bidang ilmu penelitian juga lebih merata. Sistem pembobotan judul penelitian ini menggunakan kombinasi logika fuzzy (samar) dan pembuatan keputusan berdasar beberapa atribut (Multi Atribut Decission Making / MADM). Penentuan bobot judul penelitian berdasarkan pada beberapa aspek, yaitu 1) Kriteria, dimana kriteria penentuan bobot bisa diisi atau disesuaikan dengan program studi lain; 2) Bobot, yang mana digunakan segai pembobotan atau prioritas masing – masing kriteria; 3) Jenis kriteria yang terbagi menjadi menjadi dua (kriteria keuntungan dan kriteria biaya); dan 4) Batas bobot minimum lolos. Hasil dari pembobotan judul penelitian ini berupa angka bobot antara 0 sampai dengan 1, yang dapat diketahui lolos tidaknya judul penelitian yang diajukan sesuai dengan batas bobot minimum lolos.
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.