KEPEMIMPINAN KARAKTERISTIK TNI AU: ANALISIS EFEKTIFITAS KESIAPAN SERTA KOMITMEN ORGANISASIONAL, STRUKTURASI ADAPTIF, RESPONSIBILITAS DAN AKUNTABILITAS DINAMIS UNTUK KESEJAHTERAAN ANGGOTA TNI AU (Studi Kasus di Koopsud I Jakarta)

Penelitian ini mengkaji praktik manajerial serta kebijakan-kebijakan yang dilakukan oleh manajemen puncak TNI AU dalam proses dan praktiknya untuk mensejahterakan anggotanya melalui dimensi kepemimpinan karakteristik, kesiapan organisasional, komitmen organisasional, strukturasi adaptif, akuntabilitas dinamis, dan kesejahteraan sosial. Metode penelitian menggunakan pendekatan kualitatif etnografi. Ruang lingkup penelitian meliputi organisasi TNI AU Koopsud 1 Jakarta secara keseluruhan. Penelitian menggunakan tiga tingkatan informan (3 pembuat kebijakan, 12 pelaksana kebijakan, dan 17 penerima kebijakan), memperhatikan reliabilitas, validitas dan kredibilitas data informan. Hasil penelitian menunjukkan: (1) kepemimpinan karakteristik mampu mengoptimalkan kesejahteraan para anggota TNI AU; (2) kepemimpinan karakteristik di TNI AU telah menguatkan kesiapan dan komitmen organisasional dalam penyejahteraan personel TNI AU; (3) kepemimpinan karakteristik mampu mengoptimalkan kinerja organisasi melalui aspek strukturasi adaptif; (4) kepemimpinan karakteristik mampu mengoptimalkan kinerja secara akuntabilitas dinamis; (5) aspek formulasi dan sasaran strategik untuk manajemen sumber daya manusia didasari atas kapasitas kepemimpinan karakteristik; (6) kepemimpinan karakteristik penting untuk menjalankan prosedur, sistem dan untuk menjadi dasar pembuatan kebijakan

The dynamic logic of policies and contingent planning

International audienceIn classical deterministic planning, solutions to planning tasks are simply sequences of actions, but that is not sufficient for contingent plans in non-deterministic environments. Contingent plans are often expressed through policies that map states to actions. An alternative is to specify contingent plans as programs, e.g. in the syntax of Propositional Dynamic Logic (PDL). PDL is a logic for reasoning about programs with sequential composition, test and non-deterministic choice. However, as we show in the paper, none of the existing PDL modalities directly captures the notion of a solution to a planning task under non-determinism. We add a new modality to star-free PDL correctly capturing this notion. We prove the appropriateness of the new modality by showing how to translate back and forth between policies and PDL programs under the new modality. More precisely, we show how a policy solution to a planning task gives rise to a program solution expressed via the new modality, and vice versa. We also provide an axiomatisation of our PDL extension through reduction axioms into standard star-free PDL