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, MVL sistemi, Sistem tanıma, Multivalued Logics (MVL), Qualitative Process Theory (QPT), Qualitative Physics, Envisioning, Commonsense Reasoning. in, MLV system, System identification
- Yıl: 1993
- Dil: İngilizce
- Üniversite: İhsan Doğramacı Bilkent Üniversitesi
- Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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
- Petkim-Yarımca Kaprolaktam Fabrikası anon ünitesi artık alkali çözeltisinin değerlendirilmesi
Utilization of the waste alkali solution from the anon unit of Petkim-Yarımca caprolactam plan
CEVDET AKOSMAN
Yüksek Lisans
Türkçe
1987
Kimya MühendisliğiAnkara ÜniversitesiKimya Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. ALİ Y. BİLGESÜ
- Ç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
1998
Güzel SanatlarMimar Sinan Güzel Sanatlar ÜniversitesiHeykel Ana Sanat Dalı
PROF. ALİ TEOMAN GERMANER
- Peynir suyu laktoz permeatının mikrobiyolojik besiyerlerinde kullanılabilirliği
The Utilization of whey lactose permate in microbiological media
REMZİYE YILMAZ
- Erzurum il merkezinde 15-49 yaş grubu annelerin sağlık ocakları tarafından verilen ana çocuk sağlığı hizmetlerini kullanma durumları ve etkileyen faktörler
Utilization conditions of the maternal child health services offered by public health centers by mothers aged 15-45 living in the provincial center of Erzurum and the affecting factors on the utilization
DİLEK KILIÇ
Yüksek Lisans
Türkçe
1998
Halk SağlığıAtatürk ÜniversitesiHalk Sağlığı Ana Bilim Dalı
YRD. DOÇ. DR. TALAT EZMECİ
- Utilization of lignacellulosic compounds for the production of cellulases by torula thermophila
Lignoselülozik maddelerin torula thermophilea tarafından selülaz üretimi amacı ile kullanılması
HALİL DÜNDAR
Yüksek Lisans
İngilizce
1999
BiyoteknolojiOrta Doğu Teknik ÜniversitesiBiyoteknoloji Ana Bilim Dalı
DOÇ. DR. ZÜMRÜT B. ÖGEL