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
- Konut bölgelerinde parsel düzeni uygulamasının kent topraklarının rasyonel kullanımı çerçevesinde mimari açıdan değerlendirilmesi
An Architeet's Criticism of the Currently Practised method of plot formation in residential areas from the point of View of rational utilization of urban deatories
SUZAN ESİRGEN
Yüksek Lisans
Türkçe
1986
Şehircilik ve Bölge PlanlamaGazi ÜniversitesiŞehir ve Bölge Planlama Ana Bilim Dalı
DOÇ. DR. UMUR ERKMAN
- Çekirdeksiz kuru üzümde uygulanan politikanın Ege Bölgesinde üretim ve üretici açısından sonuçlarının değerlendirilmesi
Başlık çevirisi yok
GÜVEN ÖZERİN
- Endüstri işletmelerinde optimal kapasite yaklaşımı ve kapasite kullanımı teknikleri
Başlık çevirisi yok
ZİHNİ HİÇ
- Valsli kurutucuda patates püresi eldesi üzerine çalışmalar
Başlık çevirisi yok
ÜNAL RIZA YAMAN
Yüksek Lisans
Türkçe
1986
Gıda MühendisliğiEge ÜniversitesiGıda Mühendisliği Ana Bilim Dalı
DOÇ. DR. COŞKAN ILICALI
- Digital alan kalp hastalarının ilaç kullanımına uyumu ve uyumu etkileyen faktörler
The Drug adaptability of heart patients taking digitalis and factors affecting the adaptability
MÜYESSER ERDEM
Yüksek Lisans
Türkçe
1987
HemşirelikCumhuriyet ÜniversitesiHemşirelik Ana Bilim Dalı
YRD. DOÇ. DR. YUSUF SARIOĞLU