A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite

Structured representation for requirements and specifications

This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System

Computational experimentation to understand C2 for Teams of Autonomous Systems and People

The technological capabilities of autonomous systems (AS) continue to accelerate. Although AS are replacing people in many skilled mission domains and demanding environmental circumstances, people and machines have complementary capabilities, and integrated performance by AS and people working together can be superior to that of either AS or people working alone. We refer to this increasingly important phenomenon as Teams of Autonomous Systems and People (TASP), and we identify a plethora of open, command and control (C2) research, policy and decision making questions. Computational experimentation offers unmatched yet largely unexplored potential to address C2 questions along these lines. The central problem is, this kind of C2 organization experimentation capability has yet to be developed and demonstrated in the TASP domain. This is where our ongoing research project begins to make an important contribution. In this article, we motivate and introduce such TASP research, and we provide an overview of the computational environment used to experiment on TASP C2 organizations and phenomena. We summarize in turn the research method. Key results follow, and we conclude then by summarizing our agenda for continued research along these lines.Consortium for Robotics and Unmanned Systems Education and Research (CRUSER)Consortium for Robotics and Unmanned Systems Education and Research (CRUSER)Approved for public release; distribution is unlimited