Geri Dön

Utilization of the MLV system in qualitative reasoning about the physical world

MLV dizgesinin fiziksel dünya hakkında nitel uslamlamada kullanımı

  1. Tez No: 29944
  2. Yazar: MİNE ÜLKÜ ŞENCAN
  3. Danışmanlar: DOÇ. DR. VAROL AKMAN
  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: Çok-değerli Mantıklar (MVL), Nitel Süreç Kuramı (QPT), Nitel Fizik, Öngörme, Sağduyusal Uslamlama. iv, Multivalued Logics (MVL), Qualitative Process Theory (QPT), Qualitative Physics, Envisioning, Commonsense Reasoning. in
  7. Yıl: 1993
  8. Dil: İngilizce
  9. Üniversite: İhsan Doğramacı Bilkent Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar ve Enformatik Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 72

Özet

ÖZET MVL DİZGESİNİN FİZİKSEL DÜNYA HAKKINDA NİTEL USLAMLAMADA KULLANIMI Mine Ülkü Şencan Bilgisayar ve Enformatik Mühendisliği, Yüksek Lisans Danışman: Doç. Dr. Varol Akman Temmuz 1993 Matthew Ginsberg'ün MVL teorem tanıtlama dizgesinin çıkarım mekanizması kullanılarak deneysel bir program, QRM, gerçekleştirilmiştir. QRM dinamik dizgeler hakkında nitel terimler kullanarak uslamlama yapabilir. Kenneth For- bus'un Nitel Süreç Kuramı'na (QPT) göre tanımlanmış fiziksel bir dizgenin ve rilen başlangıç durumundan itibaren ulaşabileceği diğer durumları betimleyen ağacı öngörebilir. Bu tezde, bilgi gösterimi ve QPT'ye dayalı temel nitel us lamlama konuları üzerinde durulmaktadır. MVL'in Nitel Fizik programları yazılımında neler sağlayabileceğine dair bazı önerilerde bulunulmaktadır.

Özet (Çeviri)

ABSTRACT UTILIZATION OF THE MVL SYSTEM IN QUALITATIVE REASONING ABOUT THE PHYSICAL WORLD Mine Ülkü Şencan M.S. in Computer Engineering and Information Science Advisor: Assoc. Prof. Varol Akman July, 1993 An experimental program, QRM, has been implemented using the inference mechanism of the Multivalued Logics (MVL) Theorem Proving System of Matthew Ginsberg. QRM has suitable facilities to reason about dynamical systems in qualitative terms. It uses Kenneth Forbus's Qualitative Process Theory (QPT) to describe a physical system and constructs the envisionment tree for a given initial situation. In this thesis, we concentrate on knowledge representation issues, and basic qualitative reasoning tasks based on QPT. We offer some insights about what MVL can provide for writing Qualitative Physics programs.

Benzer Tezler

  1. Tez No

    72097

    Çağdaş Türk heykel sanatında eş yada geçmiş zamanlı kültürel verilerden yararlanma

    Utilization of the products of the past and contemporary cultures in the modern Turkish sculpture

    FATMA AKYÜREK

    Sanatta Yeterlik

    Türkçe

    Türkçe

    1998

    Güzel SanatlarMimar Sinan Güzel Sanatlar Üniversitesi

    Heykel Ana Sanat Dalı

    PROF. ALİ TEOMAN GERMANER

  2. Tez No

    464472

    Sosyal medya üzerinden elde edilen istihbaratın güvenlik maksatlı kullanılması

    Utilization of the intelligence gained from social media for security

    SELAMİ BALTACI

    Yüksek Lisans

    Türkçe

    Türkçe

    2017

    Kamu YönetimiMarmara Üniversitesi

    Uluslararası İlişkiler Ana Bilim Dalı

    DOÇ. DR. EMEL PARLAR DAL

  3. Tez No

    469556

    MOXO d-CPT DEHB testi çocuk versiyonunun dikkat eksikliği ve hiperaktivite bozukluğunda değerlendirme aracı olarak kullanılması

    Utilization of the MOXO continuous performance test child version for attention deficit/hyperactivity disorder as an evaluation tool

    SELİN KIRNAZ

    Yüksek Lisans

    Türkçe

    Türkçe

    2017

    Psikolojiİstanbul Ticaret Üniversitesi

    Eğitim Bilimleri Ana Bilim Dalı

    PROF. DR. GÖKHAN MALKOÇ

  4. Tez No

    289312

    Nilüfer Halk Sağlığı Eğitim ve Araştırma Bölgesi'nde yaşayanların ayaktan tanı-tedavi ve koruyucu sağlık hizmetlerini kullanımları ve etkileyen etmenler

    Utilization of the outpatient health services and preventive care and factors which affect inNilüfer Public Health Training and Research Area

    RUKİYE ÇETİN SEÇKİN

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    2009

    Halk SağlığıUludağ Üniversitesi

    Halk Sağlığı Ana Bilim Dalı

    PROF. DR. A. HAMDİ AYTEKİN

  5. Tez No

    501687

    Klasik Arap edebiyatında bir mizah tekniği olarak kutsal metnin gücünden yararlanma

    Utilization of the power of the holy scripture as a humour tecnique in Classical Arabic literature

    MUHAMMED EFİL

    Doktora

    Türkçe

    Türkçe

    2018

    DilbilimUludağ Üniversitesi

    Temel İslam Bilimleri Ana Bilim Dalı

    DOÇ. DR. ŞENER ŞAHİN

Geri Dön