Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

Brendan Hall1 Sarat Chandra Varanasi2 Jan Fiedor3 Joaquín Arias4 Kinjal Basu2 Fang Li2 Devesh Bhatt1 Kevin Driscoll1 Elmer Salazar2 Gopal Gupta2 1Honeywell Advanced Technology, Plymouth, USA 2The University of Texas at Dallas, Richardson, USA 3Honeywell International s.r.o & Brno Univ. of Technology, Brno, Czech Republic 4Universidad Rey Juan Carlos, Madrid, Spain 1,3{brendan.hall, jan.fiedor, devesh.bhatt, kevin.driscoll}@honeywell.com 2{sarat-chandra.varanasi, kinjal.basu, fang.li, ees101020, gupta}@utdallas.edu 4joaquin.arias@urjc.es

[1]  Patrice Micouin.  Model Based Systems Engineering: Fundamentals and Methods , 2014 .

[2]  Alistair Mavin,et al.  Easy Approach to Requirements Syntax (EARS) , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[3]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[4]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[5]  Alistair Mavin,et al.  Big Ears (The Return of "Easy Approach to Requirements Engineering") , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[6]  Dov Dori,et al.  Object-Process Methodology , 2002, Springer Berlin Heidelberg.

[7]  E. Normand.  Single-event effects in avionics , 1996 .

[8]  Kinjal Basu,et al.  Knowledge-driven Natural Language Understanding of English Text and its Applications , 2021, AAAI.

[9]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[10]  Zhuo Chen,et al.  Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming , 2019, LOPSTR.

[11]  Michael Gelfond,et al.  Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach , 2014 .

[12]  Danna Zhou,et al.  d. , 1840, Microbial pathogenesis.

[13]  Brendan Hall,et al.  Model Integrated Decomposition and Assisted Specification (MIDAS) , 2020 .

[14]  Erik T. Mueller,et al.  Commonsense Reasoning: An Event Calculus Based Approach , 2006 .

[15]  Brendan Hall.  A CLEAR Adoption of EARS , 2018, 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS).

[16]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[17]  G. Harman.  The Inference to the Best Explanation , 1965 .

[18]  Alistair Mavin,et al.  Listens Learned (8 Lessons Learned Applying EARS) , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[19]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[20]  Darren D. Cofer,et al.  Study on the Barriers to the Industrial Adoption of Formal Methods , 2013, FMICS.

[21]  Manuel Carro,et al.  Constraint Answer Set Programming without Grounding , 2018, Theory and Practice of Logic Programming.