볡μ‘ν λ€μ€ μμ΄μ νΈ νκ²½μμ μμ¨ μμ΄μ νΈλ λ€μν κ΄μ μμ μ§μ€μ μΆλ‘ ν΄μΌ νμ§λ§, κΈ°μ‘΄ μ κ·Ό λ°©μμ μ΄λ¬ν μ°¨μμ ν΅ν©νλ λ° μ΄λ €μμ κ²ͺμ΅λλ€. λ³Έ λ
Όλ¬Έμ κ΄μ μΈμ μΈμ§λ₯Ό μν ν΅μΌλ μνμ κ΅¬μ‘°μΈ Observer-Situation Lattice (OSL)λ₯Ό μ μν©λλ€. OSLμ κ° μμκ° κ³ μ ν κ΄μ°°μ-μν© μμ λνλ΄λ μ ν μμ 격μλ‘, μ λ
κ΄λ¦¬λ₯Ό μν μμΉμ μ΄κ³ νμ₯ κ°λ₯ν μ κ·Ό λ°©μμ μ 곡ν©λλ€.