Inconsistency management for traffic regulations: formalization and complexity results

Authors:
Harald Beck;Thomas Eiter;Thomas Krennwallner
Affiliations:
Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria
Venue:
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Year:
2012

Citing 11
Cited 0

Abduction from logic program: semantics and complexity

Theoretical Computer Science
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Symbolic diagnosis and its formalisation

The Knowledge Engineering Review
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Complexity results for answer set programming with bounded predicate arities and implications

Annals of Mathematics and Artificial Intelligence
Normality and faults in logic-based diagnosis

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A uniform integration of higher-order reasoning and external evaluations in answer-set programming

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Answer set programming at a glance

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

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