Model checking
پشکنینی مۆدێل
Proposed Kurdish term — under reviewزاراوەی پێشنیارکراو — لە ژێر پێداچوونەوەدایە Definitionپێناسە
Deciding whether KB ⊨ α by checking every model: if α is true in every model where the KB is true, the KB entails α. With n symbols there are 2ⁿ models to check.
بڕیاردانە لەسەر ئەوەی ئایا KB ⊨ α بە پشکنینی هەموو : ئەگەر α لە هەموو ئەو مۆدێلانەدا ڕاست بێت کە KB تێیاندا ڕاستە، ئەوا α لە KB دەکەوێتەوە. بە n هێما 2ⁿ مۆدێل هەیە بۆ پشکنین.
Exampleنموونە
With 5 symbols, model checking examines 2⁵ = 32 models.
بە 5 هێما، 2⁵ = 32 مۆدێل دەپشکنێت.
Other Kurdish renderings in useوەرگێڕانە کوردییەکانی تر
پشکنینی مۆدێلەکە، پشکنینەکانی مۆدێل، پشکنینێکی مۆدێل، پشکنینی مۆدێلی، پشکنینەکانی مۆدێلی، پشکنینێکی مۆدێلی
Note on the Kurdish termتێبینی دەربارەی زاراوە کوردییەکە
Built on the owner's پشکنین (checking) and مۆدێل. Proposed.