Utilization of the MLV system in qualitative reasoning about the physical world
MLV dizgesinin fiziksel dünya hakkında nitel uslamlamada kullanımı
- Tez No: 29944
- Danışmanlar: DOÇ. DR. VAROL AKMAN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- 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
- Yıl: 1993
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar ve Enformatik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- 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
- Fare embriyonik kök hücresinden farklılaştırılan epidermal seri hücrelerinden keratinositlerin primer yara iyileşiminde kullanımı
Utilization of the keratinocytes from epidermal lineage cells which differentiated from mouse embryonic sem cells, on primer wound healing
ELGİN TÜRKÖZ ULUER
Tıpta Uzmanlık
Türkçe
2009
Histoloji ve EmbriyolojiCelal Bayar ÜniversitesiHistoloji ve Embriyoloji Ana Bilim Dalı
DOÇ. DR. H. SEDA VATANSEVER
- Galvanizli atıların vitrifiye bünyelerde kullanımının araştırılması
Utilization of the galvanized wastes in the vitrified bodies
ERSİN GÜNGÖR
Yüksek Lisans
Türkçe
2010
Seramik MühendisliğiDumlupınar ÜniversitesiSeramik Mühendisliği Ana Bilim Dalı
PROF. DR. İSKENDER IŞIK
- Limon kabuğu hidrolizatının penisilin üretiminde kullanımı
Utilization of the lemon peel hydrolysate in the penicillin production
NALAN YILDIRIM
Yüksek Lisans
Türkçe
2005
BiyolojiAtatürk ÜniversitesiBiyoloji Ana Bilim Dalı
Y.DOÇ.DR. BAŞARAN KURBANOĞLU
- Vize - Pınarhisar (Kırklareli) bölgesi kalkerlerinin restorasyonda kullanılabilirliği
Utilization of the Vize - Pınarhisar (Kırklareli) region limestones restorations
MURAT DAL
Doktora
Türkçe
2008
Jeoloji MühendisliğiTrakya ÜniversitesiMimarlık Ana Bilim Dalı
PROF. DR. AYSE GÜLÇİN KÜÇÜKKAYA
- Sürdürülebilirlik kavramı bağlamında geri kazanılmış agregalı beton
Recycled aggregate concrete in the context of sustainability concept
DİLEK DİLHAN ALTINIŞIK