{"type":"ScholarlyArticle","title":"Automated Reasoning for City Infrastructure Maintenance Decision Support","authors":[{"name":"Lijun Wei","slug":"lijun-wei","given":"Lijun","family":"Wei","affiliation":"School of Computing , University of Leeds , United Kingdom"},{"name":"Derek R. Magee","slug":"derek-r-magee","given":"Derek R.","family":"Magee","affiliation":"School of Computing , University of Leeds , United Kingdom"},{"name":"Vania Dimitrova","slug":"vania-dimitrova","given":"Vania","family":"Dimitrova","affiliation":"School of Computing , University of Leeds , United Kingdom"},{"name":"Barry Clarke","slug":"barry-clarke","given":"Barry","family":"Clarke","affiliation":"School of Civil Engineering , University of Leeds , United Kingdom"},{"name":"Heshan Du","slug":"heshan-du","given":"Heshan","family":"Du","affiliation":"School of Computing , University of Leeds , United Kingdom; School of Computer Science , University of Nottingham Ningbo China"},{"name":"Quratul-ain Mahesar","slug":"quratul-ain-mahesar","given":"Quratul-ain","family":"Mahesar","affiliation":"School of Computing , University of Leeds , United Kingdom"},{"name":"Kareem Al Ammari","slug":"kareem-al-ammari","given":"Kareem","family":"Al Ammari","affiliation":"School of Computing , University of Leeds , United Kingdom"},{"name":"Anthony G. Cohn","slug":"anthony-g-cohn","given":"Anthony G.","family":"Cohn","affiliation":"School of Computing , University of Leeds , United Kingdom"}],"abstract":"We present an interactive decision support system for assisting city infrastructure inter-asset management. It combines real-time site specific data retrieval, a knowledge base co-created with domain experts and an inference engine capable of predicting potential consequences and risks resulting from the available data and knowledge. The system can give explanations of each consequence, cope with incomplete and uncertain data by making assumptions about what might be the worst case scenario, and making suggestions for further investigation. This demo presents multiple real-world scenarios, and demonstrates how modifying assumptions (parameter values) can lead to different consequences.","doi":"10.24963/ijcai.2018/868","url":"https://ijcai.org/proceedings/2018/868","pdf":"https://ijcai.org/proceedings/2018/0868.pdf","markdown":"https://ijcai.org/proceedings/2018/868.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/868","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Demos","track":"Demos","number":868,"pages":{"first":5877,"last":5879},"keywords":["Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief","Uncertainty in AI: Uncertainty in AI","Multidisciplinary Topics and Applications: Multidisciplinary Topics and Applications"],"videos":[],"references":[{"position":1,"raw":"[AbcNews, 2018] AbcNews. Rome sinkhole swallows sev- eral cars in residential street. https://ab.co/2GHHSJD, 2018. Accessed: 2018-05-04.","title":"AbcNews. Rome sinkhole swallows several cars in residential street","authors":"Abcnews","year":"2018","venue":null,"doi":null,"url":"https://ab.co/2GHHSJD","internal_url":null},{"position":2,"raw":"[Clarke et al., 2017] Barry G. Clarke, Derek Magee, Vania Dimitrova, Anthony G. Cohn, Heshan Du, Quratul ain Ma- hesar, Ali M. Sadeghioon, C.D.F. Rogers, David Gunn, David Enwisle, Helen Reeves, Ross Stirling, and Stephanie Glendinning. A decision support system to proactively manage subsurface utilities. In International Symposium for Next Generation Infrastructure, Institution of Civil En- gineers, London, 11-13 Sep 2017.","title":"A decision support system to proactively manage subsurface utilities","authors":"G Barry, Derek Clarke, Vania Magee, Anthony G Dimitrova, Heshan Cohn, Du, Ali M Quratul Ain Mahesar, C D F Sadeghioon, David Rogers, David Gunn, Helen Enwisle, Ross Reeves, Stephanie Stirling, Glendinning","year":"2017","venue":"International Symposium for Next Generation Infrastructure, Institution of Civil Engineers","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Du et al., 2016] Heshan Du, Vania Dimitrova, Derek Magee, Ross Stirling, Giulio Curioni, Helen Reeves, Barry Clarke, and A.G. Cohn. An ontology of soil properties and pro- cesses. In Proceedings of the 15th International Semantic Web Conference (ISWC), page 30-37, 2016.","title":"An ontology of soil properties and processes","authors":"Heshan Du, Vania Dimitrova, Derek Magee, Ross Stirling, Giulio Curioni, Helen Reeves, Barry Clarke, A G Cohn","year":"2016","venue":"Proceedings of the 15th International Semantic Web Conference (ISWC)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Du et al., 2017] Heshan Du, Barry Clarke, David Entwisle, Mehran Eskandari Torbaghan, Richard Collins, Ross Stir- ling, Giulio Curioni, David Gunn, Helen Reeves, Vania Dimitrova, and Anthony Cohn. Ontologies for describing properties and processes of city infrastructure assets: the ground, roads and pipes. In University of Leeds. [Dataset] https://doi.org/10.5518/190, 2017.","title":"Ontologies for describing properties and processes of city infrastructure assets: the ground, roads and pipes","authors":"Heshan Du, Barry Clarke, David Entwisle, Mehran Eskandari Torbaghan, Richard Collins, Ross Stirling, Giulio Curioni, David Gunn, Helen Reeves, Vania Dimitrova, Anthony Cohn","year":null,"venue":null,"doi":"10.5518/190,2017","url":"https://doi.org/10.5518/190,2017","internal_url":null},{"position":5,"raw":"[Forgy, 1982] Charles L. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 19(1):17 -37, 1982.","title":"Rete: A fast algorithm for the many pattern/many object pattern match problem","authors":"Charles L Forgy","year":"1982","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Glendinning, 2015] Amy Glendinning. Mancunian way sinkhole: Collapsed road 'becoming tourist attraction' as visitors flock to see massive abyss. http://bit.ly/2IDYjTt, 2015. Accessed: 2018-05-04.","title":"Mancunian way sinkhole: Collapsed road 'becoming tourist attraction' as visitors flock to see massive abyss","authors":"Amy Glendinning","year":"2018","venue":null,"doi":null,"url":"http://bit.ly/2IDYjTt,2015","internal_url":null},{"position":7,"raw":"[Heckerman and Shortliffe, 1992] David E. Heckerman and Edward H. Shortliffe. From certainty factors to belief net- works. Artif. Intell. Med., 4(1):35-52, February 1992.","title":"From certainty factors to belief networks","authors":"David E Heckerman, Edward H Shortliffe","year":"1992","venue":"Artif. Intell. Med","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Mahesar et al., 2017] Quratul-ain Mahesar, Vania Dimitrova, Derek Magee, and A. G. Cohn. Uncertainty management for rule-based decision support systems. In IEEE Inter- national Conference on Tools with Artificial Intelligence (ICTAI), Boston, USA, 06-08 Nov 2017.","title":"Uncertainty management for rule-based decision support systems","authors":"Mahesar","year":"2017","venue":"IEEE International Conference on Tools with Artificial Intelligence (ICTAI)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[McCurry, 2016] Justin McCurry. Huge sinkhole opens up in japanese city. http://bit.ly/2GKX0ll, 2016. Accessed: 2018-05-04.","title":"Huge sinkhole opens up in japanese city","authors":"Justin Mccurry","year":"2018","venue":null,"doi":null,"url":"http://bit.ly/2GKX0ll,2016","internal_url":null},{"position":10,"raw":"[Poole and Mackworth, 2017] David L. Poole and Alan K. Mackworth. Artificial Intelligence: Foundations of Compu- tational Agents. Cambridge University Press, New York, NY, USA, 2nd edition, 2017.","title":"Artificial Intelligence: Foundations of Computational Agents","authors":"David L Poole, Alan K Mackworth","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Rogers et al., 2012] C.D.F. Rogers, T. Hao, S.B. Costello, M.P.N. Burrow, N. Metje, D.N. Chapman, J. Parker, R.J. Ar- mitage, J.H. Anspach, J.M. Muggleton, K.Y. Foo, P. Wang, S.R. Pennock, P.R. Atkins, S.G. Swingler, A.G. Cohn, K. Goddard, P.L. Lewin, G. Orlando, M.A. Redfern, A.C.D. Royal, and A.J. Saul. Condition assessment of the surface and buried infrastructure -A proposal for integration. Tun- nelling and Underground Space Technology, 28:202-211, 2012.","title":"Condition assessment of the surface and buried infrastructure -A proposal for integration","authors":"C D F Rogers, T Hao, S B Costello, M P N Burrow, N Metje, D N Chapman, J Parker, R J Armitage, J H Anspach, J M Muggleton, K Y Foo, P Wang, S R Pennock, P R Atkins, S G Swingler, A G Cohn, K Goddard, P L Lewin, G Orlando, M A Redfern, A C D Royal, A J Saul","year":"2012","venue":"Tunnelling and Underground Space Technology","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}