Automated reasoning on exceptions in commitment-based multiagent systems
Taahhüt tabanlı çok etmenli sistemlerde istisnai durumlar üzerine otomatik akıl yürütme
- Tez No: 325519
- Danışmanlar: DOÇ. PINAR YOLUM
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2012
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 215
Özet
İstisnai durumlar insanların hayatında önemli bir yer oluşturmaktadır. Bir kişi göreviyle ilgili üzerine düşeni yapmadığından, veya bulunulan ortamdan kaynaklanan nedenlerden dolayı işler planlandığı gibi gitmediğinde, beklenmedik durumlar oluşur. İnsanların istisnai durumlarla karşılaştıklarında normal çalışmalarına geri dönebilmeleri için bunlarla başa çıkmaları gerekir. Fakat bu, insanlar için başarması kolay bir iş değildir. Öncelikle, bir şeylerin yanlış gittiğini anlamalıdırlar (tespit). Daha sonra, sorunun neden kaynaklandığını bulmalıdırlar (teşhis). Bunlara ek olarak, bazı durumlarda ileride istisnai bir durum oluşacağını önceden belirlemek bu durumu önlemek için gerekli adımların atılmasına yardımcı olur (öngörü). Bunlara dayanarak, bu tezde etmenlerin istisnai durumlar üzerine otomatik olarak akıl yürütmelerini öneriyoruz. Problem alanlarını çok etmenli sistemler olarak modelleyip, etmenler arasındaki etkileşimi taahhütler ile şekillendiriyoruz. İstisnai durumlarla başa çıkabilmek için mantık tabanlı otomatik metodlar sunuyoruz. Bu metodların geçerliliğini ve bütünlüğünü ispatlıyoruz. Bu metodları, oluşabilecek istisnai durumlar açısından farklı karakteristikleri olan sosyal ağlar ve e-ticaret alanlarında inceliyoruz. Bu tezdeki katkılarımız üç tanedir. İlk olarak, literatürde yer alan istisnai durumların kapsamını sadece taahhüt ihlali ile sınırlı kalmayacak şekilde genişletiyoruz. İkinci olarak, istisnai durumları daha oluşmadan fark edebilecek model denetleme tabanlı bir öngörü sistemi sunuyoruz. Son olarak, taahhütler arasındaki zamansal ilişkileri bir etmenin işleyişinde neyin yanlış gittiğini teşhis edebilmek için inceliyoruz.
Özet (Çeviri)
Exceptions constitute a significant portion of people's lives. When things do not go as planned, due to environmental reasons or because one does not bring about his responsibility in a given task, unexpected situations occur. When faced with exceptions, people need to deal with them in a timely fashion in order to restore proper working. However, dealing with exceptions is not an easy task for people to accomplish. First, it requires understanding that something has gone wrong (detection). Second, the actual source of the problem needs to be identified (diagnosis). Moreover, in some situations, identifying that an exception will possibly occur in the future helps changing the course of previously planned actions in order to avoid the exception (prediction). Accordingly, this thesis proposes to use agents for automating the reasoning on exceptions. We model the problem domains with open multiagent systems, and use commitments to formalize agent interactions. We propose automated methods based on computational logic for detecting, predicting, and diagnosing exceptions. We prove that our methods are sound and complete.We study our methods on two domains, online social networks and e-commerce, which exhibit different characteristics forthe exceptions that may arise in them. Our specific contributions in this thesis are three-fold. First, we extend the scope of detected exceptions in the literature such that an exception is not limited to a commitment violation. Second, we provide a prediction system based on model checking that identifies exceptions before they even occur. Finally, we investigate the temporal relations among commitments in orderto diagnose what has gone wrong during an agent's execution.
Benzer Tezler
- Bilişsel robotlarda yaşam boyu deneyimsel öğrenme ile hata kotarma
Failure recovery by long-term experience-based learning for cognitive robotics
SERTAÇ KARAPINAR
Yüksek Lisans
Türkçe
2013
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. SANEM SARIEL TALAY
- Otomatik vezne makinaları (ATMs) ve uygulamaları
Autamated teller machines (ATMs) and applications
A. C. BANU ÇAĞLAR
Yüksek Lisans
Türkçe
1994
BankacılıkMarmara ÜniversitesiBankacılık Ekonomisi ve İşletmeciliği Ana Bilim Dalı
PROF. DR. METE DOĞRUER
- Yapı bilgi modellemesi (5D) ile maliyet yönetiminin avantaj ve dezavantajlarının tespiti
Determining advantages and disadvantages of 5D BIM cost management
FARUK GÜLERSES
Yüksek Lisans
Türkçe
2018
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. ESİN ERGEN PEHLEVAN
- Multi-robot systems in cognitive factories: representation, reasoning, execution and monitoring
Bilişsel fabrikalarda çoklu-robot sistemleri: Gösterim, akıl yürütme, icra ve takibi
KADİR HASPALAMUTGİL
Yüksek Lisans
İngilizce
2011
Mühendislik BilimleriSabancı ÜniversitesiMühendislik Bilimleri Ana Bilim Dalı
YRD. DOÇ. DR. ESRA ERDEM
YRD. DOÇ. DR. VOLKAN PATOĞLU
- Fuzzy-syllogistic reasoning
Bulanık tasımsal çıkarsama
MIKHAIL ZARECHNEV
Yüksek Lisans
İngilizce
2015
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİzmir Yüksek Teknoloji EnstitüsüBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. BORA İSMAİL KUMOVA