Hybrid Temporal Representation and Reasoning using Answer Set Programming
Abstract: Reasoning over time and events has applications in event scheduling, event monitoring and analysis, activity recognition, Semantic Web and Digital Forensics. Two main problems in temporal reasoning are constraint satisfaction and constraint optimization. In the literature there are qualitative, quantitative and hybrid formalisms that can express temporal information, however existing models have major limitations at both the representation and the reasoning side. In particular, they cannot accommodate soft constraints (preferences), commonsense knowledge and can only solve polynomial-time fragments of the decision problem. The objective of this project is to create a hybrid calculus that can express a variety of temporal information and develop a generic solution method using Answer Set Programming (ASP). ASP is a Logic Programming paradigm designed to solve computationally hard problems. Temporal constraints are formulated as logical rules in ASP such that stable models of the logic program correspond to the solutions of the constraint satisfaction and optimization problem. The proposed method can solve the general NP-complete problem, generate a schedule of events and explain source of inconsistency among the constraints. Computational experiments are performed to assess scalability and efficiency. Application of this framework is illustrated by sample scenarios from event scheduling and Digital Forensics.
Bio: Yusuf Izmirlioglu studied his undergraduate education at Electrical and Electronics Engineering Department of Bilkent University between 1999-2003. He has obtained M.A degree in Economics from University of Pittsburgh in 2011 and Ph.D. degree in Computer Science and Engineering from Sabanci University in 2020. Currently, Yusuf Izmirlioglu is a post-doctoral researcher at Computer Science department of New Mexico State University since February 2021. His research interests include Artificial Intelligence, Computational Economic Systems and Philosophy of Science. Within Artificial Intelligence, he works on Qualitative Spatial and Temporal Reasoning, Multi-agent Epistemic Reasoning, Logic Programming, Constraint Programming. His research includes applications of these models to different domains such as Robotic Planning, Geographical Information Systems, Digital Forensics, Smart Grid, Energy Systems. His professional experience involves software development and digital design projects in electronic warfare and civilian industry.
DATE: June 12, Monday @ 13:30
Place: EA 409