scholarly journals An Algorithmic Interpretation of a Deep Inference System

2008 ◽  
pp. 482-496 ◽  
Author(s):  
Kai Brünnler ◽  
Richard McKinley
Keyword(s):  
Inference System ◽  
Deep Inference

scholarly journals Deep inference and expansion trees for second-order multiplicative linear logic

2018 ◽  
Vol 29 (8) ◽  
pp. 1030-1060
Author(s):  
LUTZ STRAßBURGER
Keyword(s):  
Original Work ◽  
Linear Logic ◽  
Second Order ◽  
Inference System ◽  
Herbrand’S Theorem ◽  
Deep Inference ◽  
Herbrand's Theorem

In this paper, we introduce the notion of expansion tree for linear logic. As in Miller's original work, we have a shallow reading of an expansion tree that corresponds to the conclusion of the proof, and a deep reading which is a formula that can be proved by propositional rules. We focus our attention to MLL2, and we also present a deep inference system for that logic. This allows us to give a syntactic proof to a version of Herbrand's theorem.

scholarly journals A Deep Inference System for the Modal Logic S5

Studia Logica ◽  
2007 ◽  
Vol 85 (2) ◽  
pp. 199-214 ◽  
Author(s):  
Phiniki Stouppa
Keyword(s):  
Modal Logic ◽  
Inference System ◽  
Deep Inference

Aplikasi Peramalan Kebutuhan Beban Listrik Menggunakan Metode Adaptive Neuro Fuzzy Inference System (ANFIS)

2017 ◽  
Vol 3 (1) ◽  
pp. 36-48
Author(s):  
Erwan Ahmad Ardiansyah ◽  
Rina Mardiati ◽  
Afaf Fadhil
Keyword(s):  
Fuzzy Inference System ◽  
Fuzzy Inference ◽  
Inference System ◽  
Neuro Fuzzy

Prakiraan atau peramalan beban listrik dibutuhkan dalam menentukan jumlah listrik yang dihasilkan. Ini menentukan  agar tidak terjadi beban berlebih yang menyebabkan pemborosan atau kekurangan beban listrik yang mengakibatkan krisis listrik di konsumen. Oleh karena itu di butuhkan prakiraan atau peramalan yang tepat untuk menghasilkan energi listrik. Teknologi softcomputing dapat digunakan  sebagai metode alternatif untuk prediksi beban litrik jangka pendek salah satunya dengan metode  Adaptive Neuro Fuzzy Inference System pada penelitian tugas akhir ini. Data yang di dapat untuk mendukung penelitian ini adalah data dari APD PLN JAWA BARAT yang berisikan laporan data beban puncak bulanan penyulang area gardu induk majalaya dari januari 2011 sampai desember 2014 sebagai data acuan dan data aktual januari-desember 2015. Data kemudian dilatih menggunakan metode ANFIS pada software MATLAB versi b2010. Dari data hasil pelatihan data ANFIS kemudian dilakukan perbandingan dengan data aktual dan data metode regresi meliputi perbandingan anfis-aktual, regresi-aktual dan perbandingan anfis-regresi-aktual. Dari perbandingan disimpulkan bahwa data metode anfis lebih mendekati data aktual dengan rata-rata 1,4%, menunjukan prediksi ANFIS dapat menjadi referensi untuk peramalan beban listrik dimasa depan.

FACE RECOGNITION USING FUZZY INFERENCE SYSTEM

2009 ◽  
Vol 8 (3) ◽  
pp. 887-897
Author(s):  
Vishal Paika ◽  
Er. Pankaj Bhambri
Keyword(s):  
Neural Networks ◽  
Fuzzy Inference ◽  
Facial Features ◽  
Facial Appearance ◽  
Feature Points ◽  
Inference System ◽  
Detection Techniques ◽  
The Face ◽  
Hair Style ◽  
Facial Images

The face is the feature which distinguishes a person. Facial appearance is vital for human recognition. It has certain features like forehead, skin, eyes, ears, nose, cheeks, mouth, lip, teeth etc which helps us, humans, to recognize a particular face from millions of faces even after a large span of time and despite large changes in their appearance due to ageing, expression, viewing conditions and distractions such as disfigurement of face, scars, beard or hair style. A face is not merely a set of facial features but is rather but is rather something meaningful in its form.In this paper, depending on the various facial features, a system is designed to recognize them. To reveal the outline of the face, eyes, ears, nose, teeth etc different edge detection techniques have been used. These features are extracted in the term of distance between important feature points. The feature set obtained is then normalized and are feed to artificial neural networks so as to train them for reorganization of facial images.

Sign in / Sign up

Export Citation Format

Share Document