AAAI 2022 Tutorial - Yapay Zeka Planlama Teorisi ve Uygulaması — Temel Kavramlar, Yöntemler ve Çıkarımlar

Somut bir öneriyle başlayın: planlama görevinizi kompakt bir sürece haritalayın ve yeniden üretilebilir bir deney çalıştırın. Trafik yönetimi veya lojistik planlama gibi önemli bir kullanım senaryosu seçin ve bunu başlangıç durumundan bir hedefe doğru ilerleyen doğrusal bir eylem dizisi olarak çerçeveleyin. Alan adını bilinen ve platform detaylarından bağımsız tutun, böylece onlar birden fazla planlayıcı ile test edilir. Etkileşimleri gözlemlemek, yürütme süresini ölçmek ve birkaç işlemi kıyaslama olarak izlemek için 2–3 ajan içeren küçük bir test yatağı oluşturun.

Teoriden pratiğe, üç temel direği belirleyin: durum alanı araması, planlama grafikleri ve kısıt tabanlı yöntemler. Uygulamada, büyük arama alanlarını gezinmek ve sağlam kararlar almanıza daha hızlı yardımcı olmak için analitik ile sezgisel rehberliği harmanlayın. Dağıtımdan önce kilitlenmeleri, kaynak çatışmalarını veya ihlal edilen kısıtları ortaya çıkarmak için model denetimi ve hafif doğrulama uygulayın; onlar hızlı yineleme için faydalıdır.

Yaklaşımları karşılaştırmanıza üç pratik eksen yardımcı olur: temsil (STRIPS benzeri veya PDDL varyantları), eşzamanlılık yönetimi (bağımsız eylemler vs paylaşılan kaynaklar) ve değerlendirme (kıyaslamalar, metrikler ve yeniden üretilebilir çalıştırmalar). Önkoşulları ve etkileri net tutan bir temsil seçin, böylece planlayıcılar süreç bağımlılıkları hakkında akıl yürütebilsin. Dalları budamak için sezgisel rehberlik kullanın ve adil karşılaştırmaları etkinleştirmek için aynı zaman sınırı ile sabit bir görev kümesi üzerinde test edin.

Önemli çıkarımlar, alanlar arası taşınan modüler kodlamaları, net temel çizgilerle paylaşılan bir kıyaslama套ını ve varsayımların belgelenmesini içerir. Planlayıcıları stres test etmek için simülasyon kullanın, sonuçları karşılaştırmak için analitik çalıştırın ve zamanlama, bellek ve plan uzunluğunu yakalayın. Eşzamanlı ortamlarda canlılık ve kısıt memnuniyetini doğrulamak için doğrulama ile model denetimi eşleştirin.

Kamu Yönetimi Uygulamaları ve Pratik Rehberlik

Servis taleplerini yönlendirme veya saha personelini atama gibi gerçek bir görevi çözen odaklı bir pilot uygulayın. Bütçe, personel sayısı, vaka önceliği, servis seviyesi hedefleri ve zaman pencerelerini temsil eden değişkenlerden oluşan yapılandırılmış bir model oluşturun. Politika kısıtlarını ve yasal gereklilikleri yansıtan koşullu kurallar tanımlayın. Uygun eylem dizileri üretmek için otomatik planlama kullanın ve dağıtımdan önce güvenlik, adillik ve uygulanabilirliği doğrulamak için model denetimi uygulayın. Mevcut verilerle bir deneme çalıştırın, planlanmış sonuçları gerçeklerle karşılaştırın ve gerçek verimlilik kazanımlarını ölçün. Çaba, daha geniş dağıtımdan önce varsayımları sıkılaştırmak için net bir geri bildirim ve yineleme alanı içermelidir.

Planlayıcıyı mevcut belediye sistemlerine bağlayın ve kullanıcıların planları keşfetmesi, parametreleri ayarlaması ve eylemleri onaylaması veya reddetmesi için paylaşılan bir alan oluşturun. Beklenen bekleme süreleri ve maliyet üzerindeki etkiyi göstermek için gerçek zamanlı bir gösterge paneli kullanın, ön saha personeli ve yöneticilerin bilinçli kararlar almasına yardımcı olur. Bu, yönetici ve ön saha kullanıcılarının kısıtlar üzerinde işbirliği yapmasını sağlar, aynı zamanda gizliliği ve uyumu sağlar. Bu entegrasyon, sorunsuz veri akışı ve kararlar için şeffaf bir denetim izi sağlar, güveni ve benimsenmeyi artırır.

Önemli özellikleri doğrulamak için yapılandırılmış akıl yürütme ve model denetimi uygulayın: güvenlik, politika uyumu ve adillik. Darboğazları ve aşmaları meydana gelmeden önce tespit etmek için öngörücü tahminlerden yararlanarak bir akıl yürütme katmanı oluşturun. Sorunları veri temizleme, kısıt yönetimi ve risk kontrolleri için modüllere ayırın, sistemler evrilirken sürdürülebilirliği sağlayın. Otomatik planlamadaki ilerlemeler, yönetişimi feda etmeden verimliliği artırarak alternatif planları hızlıca karşılaştırmanıza olanak tanır. Karar gerekçelerini net bir şekilde yayınlayın ki inceleme alanı açık ve hesap verebilir kalsın.

Pratik değerlendirme kriterleri ve kıyaslamaları belirleyin: ortalama işleme süresi, vaka başına maliyet, hata oranı ve kullanıcı memnuniyetini izleyin. Planları çeşitli talepler altında stres test etmek için pilot operasyonlardan gerçek veriler kullanın ve model denetimi sonuçlarını risk zarflarını ve yedek prosedürleri ayarlamak için kullanın. Kullanıcılar için planları okuma ve politika güncellenmesi gerektiğinde müdahale etme konusunda sürekli eğitim sağlayın. Veri gizliliğini ve paydaş endişelerini saygı duyan deneysel döngüleri benimseyerek yönetişim gereklilikleriyle uyumlu bir yol haritası tutun, istikrarlı ilerleme ve ölçülebilir etki sağlayın.

Küçük bir hizmet kümesiyle ölçeklendirmeye başlayın, ardından modüler bileşenler ve paylaşılan kütüphanelerle departmanlar arası yaklaşımı çoğaltın. Yeni politikaları ve mali kısıtları yansıtmak için değişkenlerin yaşayan bir kataloğunu tutun ve veri geldiğinde modeli yinelemeli olarak ayarlayın (ayarlayarak). İş akışını geleceğe yönelik tasarlayın, tepe dönemlerinde kaynak tahsisini bilgilendirerek önceden planlama yapın. Erken kazanımları, gereken çabayı ve zaman çizelgelerini vurgulayan pratik bir geçiş planı belgeleyin, böylece ajanslar planlama uygulamalarını kesinti olmadan benimseyebilir ve net, gerçek dünya faydalarıyla.

Kamu Sektöründe Politika Sorunlarını AI Planlama Alanlarına Haritalama

Öneri: Bağlam odaklı çerçeveleme, bir politika sorununun bağlamını birleştirerek onu bir planlama sorununa çevirme. Hedefleri ve kısıtları temsil edin ve tanımlı bir sonuca doğru ilerleyen eylem kombinasyonlarını birleştirin. Gerçek programlarda programlama çalışmasını yönlendiren bir ürün üretmek için ileri planlama kullanın ve rt-1gt tarzı senaryolarla ilerlemeyi kıyaslayın, bu sonuçları karşılaştırmaya yardımcı olur.

Bunu kamu sektöründe uygulamak için, politika araçlarını küçük, modüler bir kaldıraç kümesi kullanarak planlama alanı eylemlerine haritalayın. Bu eylemleri küçük pilotlarda test edilebilir tasarlayın ve sonuçları erken değerlendirin. Ek kısıtlar getirerek ve yargı alanları arasında genelleştirmeye izin vererek daha az önyargı koruyun; modelleri rafine etmek ve hangi müdahalelerin ölçekleneceğini karar vermek için birden fazla bağlamdan alınan verileri kullanın.

Uygulama adımları şunları içerir: alan dilini programlama terimlerinde resmileştirin, net önkoşullar ve etkilerle eylemleri sayın ve riski düşük tutmak için kısıtları kodlayın. Aday planlar üretmek için bilgilendirilmiş bir makine planlayıcısı çalıştırın, çalışmalarını belirtilen hedeflere karşı inceleyin ve yeni veri geldiğinde iyileştirmek için yineleyin. Önerilen çalışmaların hedef sonuca teslim olmasını sağlayın.

Geffner'in belirsizlik altında planlama hakkındaki bakış açıları, alan bilgisini otomatik arama ile dengelemeyi bilgilendirir, farklı ayarlara alınan bağlamlar arasında genelleşen kombinasyonları seçmeyi yönlendirir. Bu içgörüleri rt-1gt kıyaslamalarına bağlamak, politika planlarının uygulanabilir programlara çevrilmesini sağlar.

Son not: Politika sorunlarını yapılandırın ki planlama alanı programlar arası yeniden kullanımı desteklesin, yeni dağıtımlar için daha düşük bariyer sağlayarak ve tekrarlanan modellemenin yükünü azaltarak. Sonuç, bağlamı ve hedefleri gelecekteki kısıtlara ve ek gerekliliklere uyum sağlayacak eyleme geçirilebilir programlama adımlarına haritalar.

Yönetişim Verileri İçin Planlama Algoritmalarını Seçme ve Uyarlama

Açık eylem şemaları kullanan ve yönetişim farkındalığı olan veri adaptörü kullanan kısmi sipariş planlama yaklaşımıyla başlayın, uygulamanın ölçeklenebilir olmasını ve veri setleri arasında kökeni korumayı sağlayın.

Çekirdek mantık ardıl durumları açık tutar, önkoşulları, etkileri ve veri kısıtlarını modelleyerek planlayıcının bağımlılıklar hakkında açıkça akıl yürütmesini ve veri değiştiğinde onları yeniden sıralamasını sağlar.

Yönetişim bağlamlarında, veri formatları değişir ve etiketler gürültülü olabilir; bilgiyi modüler bir şekilde temsil edin ve veri kalitesi dalgalanmalarına rağmen planlayıcının tüm planı yeniden çalıştırılmadan uyum sağlamasına izin verin, her şeyden önce.

Zaman kısıtları önemlidir: Planlayıcıları politika pencereleri içinde uygulanabilir diziler bulan son tarihler ve bütçelenmiş adımlarla parametreleyin, hatta gelen yönetişim verisi miktarı zamanla büyüdüğünde bile.

Yönetişim ihtiyaçlarına uyum sağlamak için, net bir API, versiyonlanmış kurallar ve veri gizliliği kalkanı olan küçük, açık bir ürün çalıştırın: bir planlama hizmeti; araştırmacılar yedekleri test edebilir ve diğer yerlerde ve alanlarda plan kalitesi üzerindeki etkiyi ölçebilir.

Uygulamada, yaklaşım çok fazla varyansı yönetir: yapay kısıtları yumuşak veya sert olarak ele alabilir ve planlayıcının eylemlere bağlı kalmadan önce kontrol ettiği açık bekçiler olarak temsil edilen kısıtlar, yönetişim iş akışlarında sağlamlığı ve izlenebilirliği sağlar.

Kamu Planlarında Belirsizlik, Olası Durumlar ve Dinamik Ortamları Ele Alma

Kentsel kamu planları için açık olası durum yönetimi ile modüler, belirsizlik farkındalığı olan planlama yığını dağıtmayı önerin, dünya değiştiğinde hızlı yeniden planlamayı etkinleştirir.

Yığını beş çekirdek modül etrafında yapılandırın: tahmin, belirsizlik altında akıl yürütme, eylemlere haritalama, yürütme izleme ve politika çevirisi. Her modül kentsel algılamadan, kamu girdisinden ve idari kayıtlardan veri akışları üzerinde çalışır ve ölçeklenebilirliği ve uyum sağlayıcılığı korumak için iyi tanımlı arayüzler üzerinden iletişim kurar. Yüksek riskli kentsel bağlamlarda, bu kurulum sinyaller çeliştiğinde bile kararları tutarlı tutar. Şu anda, kamu ajansları geçici güncellemelere dayanır; önerilen yığın bu süreçleri standartlaştırır ve takımlar arası sapmayı azaltır.

Belirsizlik yönetimi, önemli durumları temsil etmek için senaryo ağaçları veya olasılıksal modeller kullanır. Sistem her planı olası durumlara karşı değerlendirir ve 1-güvenlik kısıtlarını saygı duyarak fayda fonksiyonunu maksimize eden eylemleri seçer. Operasyonel planlar için planlama ufku uzunluğunu 1 ila 3 gün olarak tutun ve günlük yenileyin; daha uzun vadeli stratejiler haftalık kaba rafinasyonlarla güncellenebilir. Bu yaklaşım, tek bir ilçeden çok ilçeli dağıtımlara kadar ölçeklenebilir olarak tasarlanmıştır.

Politika hedeflerini eyleme çevirmek için, değerleri ve hedefleri planlama kısıtlarına ve ödül sinyallerine haritalayan bir çeviri katmanı uygulayın. Bu haritalama, güvenlik, erişilebilirlik, verimlilik ve eşitlik gibi kentsel değerlere karşılık gelir. Çevrilmiş hedefleri planlama kararlarını yönlendirmek için kullanın ve ardından sonuçları saha ekipleri ve otomatik denetleyiciler için eyleme geçirilebilir emirlere geri çevirin. Önemli nesneleri içeren kamu planlarında (trafik sinyalleri, transit filoları, kamu etkinlikleri), sağlam akıl yürütmeyi desteklemek için nesnelerin ve durumlarının bir kayıt defterini tutun. Planlayıcıların önemsediği şey–güvenlik, hareketlilik ve eşitlik–sonuçları kamu beklentileriyle uyumlu tutmak için değer fonksiyonunda temsil edilmelidir. Çevrilmiş hedefler, yönetişim ve yürütme arasında net bir köprü sağlar.

• Bir formülasyon seçin: veri kalitesi ve garantilere bağlı olarak sağlam optimizasyon, koşullu planlama veya POMDP tabanlı yaklaşımlar.
• Zamanında yeniden planlamayı desteklemek için veri kalitesi metrikleri ve gecikme sınırları ile gerçek zamanlı algılama hattı geliştirin.
• 1-güvenlik ve risk bütçelerini dahil edin; kararlar kritik güvenlik ihlallerinden kaçınsın.
• Sınırlı bir kentsel ilçede başlayarak ve genişleterek ölçeklenebilir dağıtım için tasarlayın; modülleri durumlar arası yeniden kullanın.
• Gerçek dünya durumlarını kullanarak değerlendirin; plan sürekliliğini, karar gecikmesini ve kamu memnuniyetini ölçün.
• Değişim yönetimi: mevcut iş akışlarıyla kademeli entegre edin; personelin sonuçları yorumlaması için eğitim modülleri sağlayın.
• Net haritalama ve akıl yürütme kurallarını koruyun: olaylar geliştikçe olası durumları güncelleyin; açıklamaların karar vericilere erişilebilir olmasını sağlayın.

Araştırmacılar, düzgün tasarlanmış bir yığının kentsel tatbikatlarda kırılma olaylarını azalttığını göstermiştir; paydaşları dahil etmek kabulü artırır; yaklaşım gerçek dünya değerine çevrilir. Mimari, trafik sinyalleri, sayaçlar, sensörler ve kalabalık akışları gibi nesneler hakkında akıl yürütmeyi destekler ve planlama döngüsü uzunluğu operasyonel tempoya göre ayarlanabilir. Mevcut dünya koşullarına karşı haritalama ve değerlendirme, planların politika değerleri ve kamu beklentileriyle uyumlu kalmasına yardımcı olur.

Planlama Modellerine Yasal, Etik ve Eşitlik Kısıtlarını Dahil Etme

Her planlama döngüsünde yasal, etik ve eşitlik kurallarını uygulayan bir kısıt katmanını kodlayın. Yasalar ve güvenlik için sert kısıtlar dahil edin, yeni düzenlemeleri yansıtmak için zamanında güncellemelerle; adillik ve güvenlik için istenen sonuçları ayarlayın ve güvenlik ve adillik hedeflerini takip edin. Neden öğelerin seçildiğini veya reddedildiğini göstermek için özel bir denetim arayüzü kullanın, hesap verebilirliği ve şeffaf karar izlerini etkinleştirin.

Kısıtları sert kurallar ve yumuşak cezalar karışımı olarak temsil edin. Yasal kısıtlar için, hız limitlerini, yol hakkını, gizlilik korumalarını sert sınırlar olarak uygulayın; etik ve eşitlik hususları için, korunmuş gruplar veya hizmetten yoksun topluluklar üzerindeki orantısız etkiyi cezalandıran yumuşak kısıtlar kullanın. Bunları politika önceliklerini yansıtan ağırlıklarla planlayıcının hedefine haritalayın; bu çerçeve, risk eşikleri üzerinde kalırken ve kararları gerekçelendirirken güvenliği ve eşitliği optimize eder. Etkileri nicelleştirmek için analitiklerden veri toplayın; yasal rehberlik evrildiğinde ağırlıkları ayarlayın. Kısıtlar ihlal edildiğinde, alınan eylemleri kaydedin ve uyumlu alternatiflere geçin.

Veri ve değerlendirme: Modelleri doğru ve pratikte uygulanan tutmak için trafik analitiği, sensör beslemeleri ve kullanıcı geri bildiriminden zamanında veri kullanın. Çeşitli senaryolar çalıştırarak alanlar arası genellemeyi doğrulayın; kısıtlar arası etkileşimleri inceleyin (örneğin, güvenlik vs. gizlilik). Çapraz doğrulama ve yedek kaynaklarla kötü veri kalitesini hafifletin. Ödülleri ve cezaları test etmek için simülasyonlar ve gerçek dünya pilotları uygulayın, kendi kendine sürüş kararlarının güvenli ve kabul edilebilir kalmasını sağlayın; zaman kısıtlarının kullanıcı deneyimini bozmadığından emin olun. İşte pratik bir rehber: çekirdek kısıtlarla başlayın ve uygulamalar olgunlaştıkça kademeli olarak genişletin.

Etkileşim yönetimi için eyleme geçirilebilir kalıplar: Kısıtlar çeliştiğinde, güvenlik ve eşitlik önceliklerini tercih edin; hedefleri dengelemek için leksikografik veya kısıtlı optimizasyon kullanın. Kendi kendine sürüş dağıtımlarında, her zaman yasal gereklilikleri önceliklendirin; istenen bir rota eşitlik kısıtlarını ihlal ederse, zaman eklese bile uyumlu bir alternatife yeniden yönlendirin. Sistem, beklenmedik girdileri güvenli yedek planları tetikleyerek ve hesap verebilirlik için alınan eylemleri kaydederek yönetir. Sapmaları izleyin ve hesap verebilirlik için operatörlere açıklamalar sağlayın. Bu kalıpları lojistik, kentsel planlama ve acil durum yanıtı gibi diğer alanlara uygulayın ki geniş uygulanabilirlik sağlansın.

Takımlar için uygulama yol haritası: politika belirtimi, kısıt çözücü ve değerlendirme aracı üç katmanlı mimari tasarlayın. Yasalar veya etik rehberler evrildiğinde değiştirilebilen modüler uygulamalar kullanın; alanlar ve analitikler arası genellemeyi desteklemek için ortak temsilleri kullanın, sorumlu AI planlamasında sürekli ilerlemeleri etkinleştirin. Bu yaklaşım, ödülleri ve maliyetleri şeffaflıkla ele alan zamanında, doğru kararlara odaklanır, böylece kendi kendine sürüş, trafik ve servis alanları politika hedefleriyle uyumlu kalır.

Planlama Tabanlı Kamu Girişimleri İçin Etki ve Hesap Verebilirliği Ölçme

Ulaşımı, maliyetleri ve sonuçları raporlayan ve veritabanlarında demirlenmiş, otomasyonla yenilenen üç aylık bir etki gösterge paneli yayınlayın. Ulaşım ve eşitlik açısından iki puan kartı tanımlayarak başlayın, katılım ve servis erişilebilirliği gibi metriklerle: çıktı ölçümleri (ulaşım, katılım) ve sonuç ölçümleri (servis teslimindeki değişiklikler, kentsel eşitlik). Kapsamayı görselleştirmek için hizmetler ve mahallelerin paylaşılan bir rota haritasını kullanın ve kabul edilebilir performans için sınırlar ayarlayın. Bu metrikler, proaktif kurs düzeltmelerini etkinleştirir ve sezgiye yalnız dayanamaz, şeffaf hesap verebilirliği destekler. Beklenmedik kaymaları belirlemek için hedef değer setleri ve temel çizgiye karşılaştırma kullanın, özellikle nüfus ihtiyaçları ilçeler arasında hareket ettiğinde.

Dinamikleri nicelleştirmek için iş akışlarını Petri grafikleri ve nurix esinli ağlarla modelleyin. Her örnek için, küçük kentsel takımlar arasında hareketleri, konumları ve akışı yakalayın; görevler ve kaynaklar için ulaşılabilir setleri hesaplayın; katılımcılar, cihazlar ve zaman adımları için tam sayı sayıları kullanın. Değişen senaryolar altında etkiyi tahmin etmek için formüller geliştirin ve yeni veri geldiğinde planı uyarlayın; grafikler ilerlemeyi görselleştirir ve kapsama değişikliklerini vurgular. Bu yaklaşım, örtük varsayımları açık hale getirerek ve otomasyonun tekrarlanan işi azaltabileceği yeri netleştirerek avantaj sağlar.

Şeffaf veri yönetişimi ve paylaşılan metrikler aracılığıyla hesap verebilirliği sağlayın. Proje planlarını sonuçlara bağlayan, net sahiplik ve denetim izleriyle hafif bir veri mimarisi oluşturun. Paydaşlar ve kontrol kurulları için gösterge panelleri yayınlayın; sonuçlar üzerinde sınırları göstermek için şeffaf varsayımlar ve duyarlılık analizleri kullanın. Uygulamada, veri kökeni ve düzenli denetimler bu girişimleri güvenilir tutar, hedef odaklı raporlar ise kentsel planlayıcıların çabaları ölçeklendireceği veya duraklatacağı yeri karar vermesine, ve girişimin türünü uygun yorum için belgelemelerine yardımcı olur.