Geri Dön

Qualitative reasoning about cardinal directions between spatial objects using answer set programming

Çözüm kümesi programlama kullanarak uzaysal nesneler arasındaki ana yönlerle ilgili nitel akıl yürütme

  1. Tez No: 643475
  2. Yazar: YUSUF İZMİRLİOĞLU
  3. Danışmanlar: DOÇ. DR. ESRA ERDEM
  4. Tez Türü: Doktora
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Bilim ve Teknoloji, Computer Engineering and Computer Science and Control, Science and Technology
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2020
  8. Dil: İngilizce
  9. Üniversite: Sabancı Üniversitesi
  10. Enstitü: Mühendislik ve Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 137

Özet

Nitel uzaysal akıl yürütme, sayısal verilerden ziyade doğal dilin bazı kısımlarını kullanarak yön, mesafe, büyüklük gibi uzaysal ilişkileri formel olarak biçimlendirmeyi ve bu bilgiler üzerinde otomatik akıl yürütmeyi inceleyen bir yapay zeka alanıdır. Nitel modeller, özellikle eksik bilgi veya belirsizlik nedeniyle sayısal verilerin mevcut olmadığı durumlarda faydalıdır. Bununla birlikte, insanların uzaysal ilişkileri nitel terimler aracılığıyla ifade etmeleri, bilginin tam olduğu ve sayısal verilerin mevcut olduğu durumlarda da nitel akıl yürütmenin gerekliliğini göstermektedir. Bu tez kapsamında, bir düzlemdeki uzaysal nesneler arasındaki ana yönler hakkında nitel akıl yürütme için, Ana Yönlerle Hesaplamaya (CDC) dayalı ve Çözüm Kümesi Programlama (ASP) kullanarak (NCDC-ASP olarak adlandırılan) yeni bir hesaplama yaklaşımı sunuyoruz ve bu yaklaşımı üç boyutlu uzayda nitel akıl yürütme yapabilecek şekilde (3D-NCDC-ASP) genişletiyoruz. Her iki yaklaşım, CDC'deki tüm tutarlılık kontrolü problemlerine çözümler sağlamaktadır; bu tutarlılık kontrolü problemlerinin çoğu NP zorlukta olduğu gibi mevcut sistemlerle de çözülememektedir. Dahası, her iki yaklaşım da, CDC'yi yeni kısıtlarla (yani, varsayılan CDC kısıtları ve çıkarım yapılan CDC kısıtları) ile genişleterek diğer akıl yürütme problemlerine de (örneğin sağduyuya dayalı akıl yürütme, varsayılan koşullarla monotonik olmayan akıl yürütme, tutarsızlıklar için açıklama oluşturma ve bilinmeyen ana yön ilişkilerinin çıkarımı) için çözümler sunmaktadır. Tez çalışması kapsamında, hem NCDC-ASP'nin hem de 3D-NCDC-ASP'nin doğruluğunu ispat edip, hesaplama verimliliğini kapsamlı bir şekilde deneylerle test ediyoruz. Ayrıca, bu yaklaşımların uygulanabilirliklerini ve faydalarını su altı robotlarıyla deniz florası araştırmasından adli bilişime kadar farklı alanlarda gerçekçi senaryolarla gösteriyoruz.

Özet (Çeviri)

Qualitative spatial reasoning studies representation and reasoning with different aspects of space, such as direction, distance, size using parts of natural language rather than quantitative data. Qualitative models are useful in contexts where quantitative data is not available due to incomplete knowledge or uncertainty. Qualitative reasoning is also relevant for contexts with complete information and quantitative data because human agents tend to express spatial relation or configuration by means of qualitative terms for the sake of sociable and convenient communication. We introduce a novel formal framework (called NCDC-ASP) for qualitative reasoning about cardinal directions between spatial objects on a plane, based on Cardinal Directional Calculus (CDC) and using Answer Set Programming (ASP), and extend it further (called 3D-NCDC-ASP) to 3-dimensional space. Each framework provides solutions to all consistency checking problems in CDC (i.e., for a complete/incomplete set of basic/disjunctive CDC constraints over connected/disconnected spatial objects); many of these consistency checking problems are NP-complete and cannot be solved with the existing systems. Furthermore, each framework extends CDC with novel types of constraints (i.e., default CDC constraints and inferred CDC constraints) to offer other types of reasoning as well (i.e., commonsense reasoning, nonmonotonic reasoning with defaults, explanation generation for inconsistencies, and inference of missing cardinal directional relations). We prove the soundness and completeness of both NCDC-ASP and 3D-NCDC-ASP, comprehensively evaluate their computational efficiency, and illustrate their usefulness with applications in different domains ranging from underwater robotics to digital forensics.

Benzer Tezler

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

    MLV dizgesinin fiziksel dünya hakkında nitel uslamlamada kullanımı

    MİNE ÜLKÜ ŞENCAN

    Yüksek Lisans

    İngilizce

    İngilizce

    1993

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar ve Enformatik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. VAROL AKMAN

  2. Duration analysis in QSIM and extension of QSIM to discrete time systems

    QSIM'de süre analizi ve QSIM'in kesikli zaman sistemlerine genişletilmesi

    HAKAN ÇİVİ

    Yüksek Lisans

    İngilizce

    İngilizce

    1992

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

    PROF. DR. SELAHATTİN KURU

  3. Analysis of factors influencing consumer decision making and chocie: With a comparative study in different product classes

    Türketici karar süreci ve seçimini etkileyen etkelerin analizi: Farklı ürün gruplarında karşılaştırmalı bir çalışma ile

    MELİKE DEMİRBAĞ KAPLAN

    Yüksek Lisans

    İngilizce

    İngilizce

    2005

    İşletmeİzmir Ekonomi Üniversitesi

    İşletme Ana Bilim Dalı

    PROF. DR. TUNÇDAN BALTACIOĞLU

  4. Computability-theoretic limitations of qualitative simulation

    Nitel benzetimin hesaplanabilirlik kuramına dayalı sınırları

    ÖZGÜR YILMAZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2005

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. CEM SAY