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

• URL: http://arxiv.org/abs/2109.04634v1
• Date: Fri, 10 Sep 2021 02:43:08 GMT
• Title: Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
• Authors: Brendan Hall (Honeywell Advanced Technology, Plymouth, USA), Sarat Chandra Varanasi (The University of Texas at Dallas, Richardson, USA), Jan Fiedor (Honeywell Internation s.r.o & Brno University of Technology, Brno, Czech Republic), Joaqu\'in Arias (Universidad Rey Juan Carlos, Madrid, Spain), Kinjal Basu (The University of Texas at Dallas, Richardson, USA), Fang Li (The University of Texas at Dallas, Richardson, USA), Devesh Bhatt (Honeywell Advanced Technology, Plymouth, USA), Kevin Driscoll (Honeywell Advanced Technology, Plymouth, USA), Elmer Salazar (The University of Texas at Dallas, Richardson, USA), Gopal Gupta (The University of Texas at Dallas, Richardson, USA)
• Abstract summary: We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and change. We also show how ASP and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements.
• Score: 0.745426949232689
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and change. We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements. This event calculus model can be used to automatically validate the requirements. Since ASP is an expressive knowledge representation language, it can also be used to represent contextual knowledge about cyber-physical systems, which, in turn, can be used to find gaps in their requirements specifications. We illustrate our approach through an altitude alerting system from the avionics domain.

Related papers

• Digital requirements engineering with an INCOSE-derived SysML meta-model [0.0]
  We extend the Model-Based Structured Requirement SysML Profile to comply with the INCOSE Guide to Writing Requirements. The resulting SysML Profile was applied in two system architecture models at NASA Jet Propulsion Laboratory.
  arXiv  Detail & Related papers  (2024-10-12T03:06:13Z)
• Automated Process Planning Based on a Semantic Capability Model and SMT [50.76251195257306]
  In research of manufacturing systems and autonomous robots, the term capability is used for a machine-interpretable specification of a system function. We present an approach that combines these two topics: starting from a semantic capability model, an AI planning problem is automatically generated.
  arXiv  Detail & Related papers  (2023-12-14T10:37:34Z)
• Machine Learning with Requirements: a Manifesto [114.97965827971132]
  We argue that requirements definition and satisfaction can go a long way to make machine learning models even more fitting to the real world. We show how the requirements specification can be fruitfully integrated into the standard machine learning development pipeline.
  arXiv  Detail & Related papers  (2023-04-07T14:47:13Z)
• Grounded Decoding: Guiding Text Generation with Grounded Models for Embodied Agents [111.15288256221764]
  Grounded-decoding project aims to solve complex, long-horizon tasks in a robotic setting by leveraging the knowledge of both models. We frame this as a problem similar to probabilistic filtering: decode a sequence that both has high probability under the language model and high probability under a set of grounded model objectives. We demonstrate how such grounded models can be obtained across three simulation and real-world domains, and that the proposed decoding strategy is able to solve complex, long-horizon tasks in a robotic setting by leveraging the knowledge of both models.
  arXiv  Detail & Related papers  (2023-03-01T22:58:50Z)
• Technical Report on Neural Language Models and Few-Shot Learning for Systematic Requirements Processing in MDSE [1.6286277560322266]
  This paper is based on the analysis of an open-source set of automotive requirements. We derive domain-specific language constructs helping us to avoid ambiguities in requirements and increase the level of formality.
  arXiv  Detail & Related papers  (2022-11-16T18:06:25Z)
• ROAD-R: The Autonomous Driving Dataset with Logical Requirements [54.608762221119406]
  We introduce the ROad event Awareness dataset with logical Requirements (ROAD-R) ROAD-R is the first publicly available dataset for autonomous driving with requirements expressed as logical constraints. We show that it is possible to exploit them to create models that (i) have a better performance, and (ii) are guaranteed to be compliant with the requirements themselves.
  arXiv  Detail & Related papers  (2022-10-04T13:22:19Z)
• Natural Language Processing for Systems Engineering: Automatic Generation of Systems Modelling Language Diagrams [0.10312968200748115]
  An approach is proposed to assist systems engineers in the automatic generation of systems diagrams from unstructured natural language text. The intention is to provide the users with a more standardised, comprehensive and automated starting point onto which subsequently refine and adapt the diagrams according to their needs.
  arXiv  Detail & Related papers  (2022-08-09T19:20:33Z)
• OG-SGG: Ontology-Guided Scene Graph Generation. A Case Study in Transfer Learning for Telepresence Robotics [124.08684545010664]
  Scene graph generation from images is a task of great interest to applications such as robotics. We propose an initial approximation to a framework called Ontology-Guided Scene Graph Generation (OG-SGG)
  arXiv  Detail & Related papers  (2022-02-21T13:23:15Z)
• SOLIS -- The MLOps journey from data acquisition to actionable insights [62.997667081978825]
  In this paper we present a unified deployment pipeline and freedom-to-operate approach that supports all requirements while using basic cross-platform tensor framework and script language engines. This approach however does not supply the needed procedures and pipelines for the actual deployment of machine learning capabilities in real production grade systems.
  arXiv  Detail & Related papers  (2021-12-22T14:45:37Z)
• Neural model robustness for skill routing in large-scale conversational AI systems: A design choice exploration [34.29393761770914]
  We show how different modeling design choices impact the model robustness in the context of skill routing on a state-of-the-art commercial conversational AI system. We show that applying data augmentation can be a very effective and practical way to drastically improve model robustness.
  arXiv  Detail & Related papers  (2021-03-04T22:54:33Z)
• Semantic based model of Conceptual Work Products for formal verification of complex interactive systems [3.0458872052651973]
  We describe an automatic logic reasoner to verify objective specifications for conceptual work products. The conceptual work products specifications serve as a fundamental output requirement, which must be clearly stated, correct and solvable. Our Work Ontology with tools from Semantic Web is needed to translate class and state diagrams for verification of solvability with automatic reasoning.
  arXiv  Detail & Related papers  (2020-08-04T15:10:44Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.