Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

摘要: Smart Cities is a vision driven by the availability of governmental data that fosters many challenging applications. One them management inconsistent traffic regulations, i.e., handling signs and measures in urban areas such as wrong sign posting, or errors acquisition administration software. We investigate scenarios formally model regulations using logic-based approach for measures, logical theories describe emerging conflicts on graph-based street model. Founded this model, we consider major reasoning tasks including consistency testing, diagnosis, repair, analyze their computational complexity different representation formalisms. Our results provide basis an ongoing implementation approach.