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

Abstract

Ö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. Anahtar Sözcükler: Çok-değerli Mantıklar (MVL), Nitel Süreç Kuramı (QPT), Nitel Fizik, Öngörme, Sağduyusal Uslamlama. iv

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. Keywords: Multivalued Logics (MVL), Qualitative Process Theory (QPT), Qualitative Physics, Envisioning, Commonsense Reasoning. in