qualitativespatial-temporalreasoning-australiannational定性空間推理-澳大利亞國(guó)家(編輯修改稿)
2025-02-08 08:40 本頁面
【文章內(nèi)容簡(jiǎn)介】 d disconnected to Greece Example of Networks Greece EU Russia Czech TPP NTPP EC DC U U PathConsistency ? Any two variable assignment can be extended to three variables assignment ? Forall 1 = i, j, k = n – Rij = Rij ∩ Rik 。 Rkj Example of PathConsistency Greece EU Russia Czech TPP NTPP EC DC U U Example of PathConsistency Greece EU Russia Czech TPP NTPP EC DC DC U EC 。 NTPPi = DC Conv(NTPP) = NTPPi Example of PathConsistency Greece EU Russia Czech TPP NTPP EC DC DC U DC 。 DC = U Conv(DC) = DC Example of PathConsistency Greece EU Russia Czech TPP NTPP EC DC DC DC,EC,PO,TPPi,NTPPi TPP 。 NTPPi = {DC,EC,PO,TPPi, NTPPi} Conv(NTPP) = NTPPi Example of PathConsistency ? From the information given, we were able to eliminate some possibilities of the relation between Czech and Greece Consistency ? A work is consistent iff – There is an instantiation in the domain such that all constraints are satisfied. Consistency ? A nice property of a calculus, would be that pathconsistency entails consistency for CSPs with only atomic constraints. – If all the transitive constraints are satisfied, then it can be realized. ? RCC8, Point Algebra all have this property ? But many do not… PathConsistency and Consistency ? Pathconsistency is different to (general) consistency – Consider 5 circular disks – All externally connected to each other – This is PC, but not Consistent! Important Problems in Qualitative SpatialTemporal Reasoning ? A very nice property of a qualitative calculus is that if pathconsistency entails consistency – If the work is pathconsisten
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1