Syllogistic yapıların matematiksel modellenmesi üzerine
On the mathematical modeling of syllogistic structures
- Tez No: 593418
- Danışmanlar: DR. ÖĞR. ÜYESİ ARİF GÜRSOY
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2019
- Dil: Türkçe
- Üniversite: Ege Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Bilgisayar Bilimleri Bilim Dalı
- Sayfa Sayısı: 63
Özet
Önerme, yalnızca bir iddiayı, yargıyı, öneriyi ve bildiriyi dile getiren cümlelere denir. Ayrıca, bir özne, bir yüklem ve bir bağlaçtan oluşan, doğru ya da yanlış bir mantıksal değer taşıyan ve yargı bildiren dilsel birimlerdir. Koşullu önermeler ise yargının bir koşula bağlı olduğu önermelerdir. Bu önermeler, bu tezde iki basit önermenin“ise”bağlacıyla birleştirilmesiyle oluşur. Syllogism, iki öncülden tümdengelimsel akıl yürütme yolu ile bir hüküm türetilmesine denir. Bu çalışmada, syllogistic yapılardaki koşullu önermeler yönlü graflar ile modellenmiştir. Kullanılan tüm koşullu önermelerin değerlerini doğru kabul ederek“p ise q'dur.”önermesinden yola çıkılmıştır. Örnek olarak, koşullu bağlaç ile oluşturulan karmaşık bir önermeler listesi graf teori ile modellenmiştir. Bu grafta tepeler terimleri, ayrıtlar da iki önerme arasındaki koşullu bağlacı ifade edecek şekilde tasarlanmıştır. Bu grafta, DFS (Depth First Search) algoritması ile her bir terimin ulaşabileceği diğer tüm terimleri dolayısıyla yeni önermeler yapılmıştır ve teoremler türetilmiştir. Sonuç olarak, karmaşık şekilde sunulmuş bir önerme listesinde anlaşılamayacak olan yeni türetilen çıkarımlar graf teori yardımıyla analiz edilmiş ve inceleme sonucu ortaya çıkan ve değerleri doğru olan yeni önermelerin ortaya çıktığı gösterilip bu koşullu önermeler ile teoremler üretilmiştir.
Özet (Çeviri)
The propositions express only a claim, a judgment, a proposal or a declaration. They are linguistic units, which consist of a subject, a predicate, and a conjunction and they have a true or false logical value and proclaim a judgment. Conditional propositions are propositions in which the judiciary depends on a condition. These propositions are formed by combining two simple propositions with the conjunction“if”. Syllogism is called the derivation of a provision from two premises through deductive reasoning. In this study, conditional propositions that their structures are syllogistic, are modelled with directional graphs. It is evolved out of proposition“p are q”by accepting that the values of all conditional propositions that used are true. Exemplarily; a list of complex propositions that generate with conditional link is modelled with theory of graph. This graph is calculated in such a way as to nodes express propositions and edges express conditional link between two propositions. In that graph, other propositions that every structures can reach and create theorems with algorithm DFS (Depth First Search) was argued. As a result, new inferences that cannot appeared in a complex indicated propositions list are analysed and new propositions that are true and emerge after examination are shown.
Benzer Tezler
- Sillojistik akıl yürütmenin bilgisayarda modellenmesi üzerine
On modelling of syllogistic reasoning on computer
SELÇUK TOPAL
Doktora
Türkçe
2015
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. TAHSİN ÖNER
- Preferences, timing, and limitations during reasoning: A dual process approach
Akıl yürütme sırasındaki tercihler, zamanlama ve sınırlamalar: İkili süreç yaklaşımı
BURAK BERK GÜLTEKİN
Yüksek Lisans
İngilizce
2022
PsikolojiYeditepe ÜniversitesiBilişsel Bilim Ana Bilim Dalı
DR. ÖĞR. ÜYESİ SARA SABAN
- Fuzzy-syllogistic reasoning
Bulanık tasımsal çıkarsama
MIKHAIL ZARECHNEV
Yüksek Lisans
İngilizce
2015
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİzmir Yüksek Teknoloji EnstitüsüBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. BORA İSMAİL KUMOVA
- Mantıkta hitabet
The Rhetoric in logic
HÜSEYİN ER
Yüksek Lisans
Türkçe
1999
FelsefeDokuz Eylül ÜniversitesiFelsefe ve Din Bilimleri Ana Bilim Dalı
DOÇ. DR. İBRAHİM EMİROĞLU