Geri Dön

A framework for generalized syllogisms

Genelleştirilmiş tasımlar için bir çatı

PDF İndir

  1. Tez No: 511831
  2. Yazar: ERSİN ÇİNE
  3. Danışmanlar: DOÇ. DR. YUSUF MURAT ERTEN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2018
  8. Dil: İngilizce
  9. Üniversite: İzmir Yüksek Teknoloji Enstitüsü
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 44

Özet

Akıl yürütme, hem doğal zeka hem de yapay zeka için vazgeçilmez bir iş. Otomatik akıl yürütmede, ifade gücü nispeten yüksek olan mantıklar gerçek dünya hakkındaki karmaşık gerçekleri tanımlamak ve türetmek için kullanılır. Birçok gerçek, tasımsal mantık gibi ifade gücü zayıf mantıklarda ifade edilemez ve bu yüzden doğal olarak bu mantıklar otomatik akıl yürütme amaçlı kullanılmaz. İfade güçlerinin zayıflıklarına rağmen önermeleri sezgisel olan mantıklar iki konuda avantaj sağlayabilir: zaman karmaşıklığı düşük olan akıl yürütme ve doğal dildeki ifadelerle daha yüksek bir uyuşma oranı. Tarihte bilinen ilk biçimsel mantık olan tasımsal mantık o kadar sezgiseldir ki bilişsel bilimciler insanın akıl yürütme şeklini anlamak ve modellemek için sıklıkla bu mantığa başvurur. Burada problem şu ki, bu mantığın sözdizim ve anlambilimi, bilgi temsili için pek yeterli değildir. Bu yüzden tasımsal mantığın önermeleri, avantajlı yanlarından olabildiğince az feragat ederek kullanışlı ek özelliklerle donatılarak genelleştirilmelidir. Bu tez çalışmasının amacı, genelleştirilmiş tasımsal önermeler üzerinde düşük zaman karmaşıklı ve tamamen otomatikleştirilmiş tümdengelim uygulamasına temel oluşturacak olan mantığı ve çatıyı tasarlamak suretiyle tasımsal akıl yürütme ve otomatik akıl yürütme arasındaki uçurumu kapatmaktır. Bu tez çalışmasında, pratik bir genelleştirilmiş tasımsal mantık ailesi tanımlayıp, bu mantıkların teorik özelliklerini ve diğer bazı mantıklarla olan ilişkilerini irdeledik ve alternatif temsil ve yöntemler içeren kapsamlı çatılar tanımladık.

Özet (Çeviri)

Reasoning is an indispensable action both for natural intelligence and for artificial intelligence. In automated reasoning, relatively expressive logics are used to define and derive complex facts about the real world. Many facts cannot be expressed in inexpressive logics such as syllogistic logic and thus, those logics are naturally ignored for automated reasoning. Despite their inexpressiveness, logics with intuitive propositions can provide two advantages: favorable complexity properties for reasoning tasks, and better correspondence with the natural language statements. Syllogistic logic, the first known formal logic in history, is so intuitive that it is often studied by cognitive scientists in order to understand and model human reasoning. The problem is that its syntax and semantics do not allow for representing much knowledge. Hence, propositions of syllogistic logic should be generalized with useful extensions without sacrificing the advantageous properties much. The aim of this thesis work is to bridge the gap between syllogistic reasoning and automated reasoning via designing the underlying logic and framework for performing time-efficient fully-automated deduction over generalized syllogistic propositions. In this thesis work, we define a practical family of generalized syllogistic logics, reveal the theoretical properties of those logics and their relationships with some other logics, and specify comprehensive frameworks with alternative representations and methods.

Benzer Tezler

  1. Tez No

    188880

    A framework for integrating knowledge management and decision support systems by using knowledge discovery techniques: A case study forecasting financial time series

    Bilgi yönetimi ve karar destek sistemlerinin bilgi keşfi teknikleri kullanılarak birleştirilmesi için bir çatı oluşurulması: Bir örnek çalışma finansal zaman serilerinin tahmini

    ZARİFE GONCA GÜLSER

    Yüksek Lisans

    İngilizce

    İngilizce

    2006

    Bilim ve TeknolojiBoğaziçi Üniversitesi

    Y.DOÇ.DR. BERTAN BADUR

  2. Tez No

    389476

    Development of a control framework for hybrid renewable energy system in microgrid

    Mikro ağdaki yenilenebilir hibrit enerji kaynağı için bir denetim çerçevesi geliştirilmesi

    EDİN GOLUBOVİC

    Doktora

    İngilizce

    İngilizce

    2014

    Elektrik ve Elektronik MühendisliğiSabancı Üniversitesi

    Mekatronik Ana Bilim Dalı

    PROF. DR. ASIF SABANOVIC

  3. Tez No

    716125

    Generalized discrete fourier transform with non-linear phase :theory and design

    Başlık çevirisi yok

    HANDAN AGIRMAN TOSUN

    Doktora

    İngilizce

    İngilizce

    2010

    Elektrik ve Elektronik MühendisliğiThe New Jersey Institute of Technology (NJIT)

    DR. ALİ N. AKANSU

  4. Tez No

    693584

    Sürdürülebilir insan kaynakları yönetiminin uygulanırlığı: Türkiye örneği

    Applicability of the sustainable human resources management: The case of Turkey

    KUBİLAYHAN GÖÇ

    Doktora

    Türkçe

    Türkçe

    2021

    İşletmeİstanbul Teknik Üniversitesi

    İşletme Ana Bilim Dalı

    PROF. DR. FATMA KÜSKÜ AKDOĞAN

  5. Tez No

    332227

    Phase models and computations for oscillators

    Osilatörler için faz modelleri ve hesaplamaları

    ÖNDER ŞUVAK

    Doktora

    İngilizce

    İngilizce

    2013

    Elektrik ve Elektronik MühendisliğiKoç Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    PROF. DR. ALPER DEMİR

Geri Dön