Abstract:The automation of High-Level Context (HLC) reasoning across intelligent systems at scale is imperative because of the unceasing accumulation of contextual data, the trend of the fusion of data from multiple sources (e.g., sensors, intelligent systems), and the intrinsic complexity and dynamism of context-based decision-making processes. To mitigate the challenges posed by these issues, we propose a novel Hierarchical Ontology-State Modeling (HOSM) framework CSM-H-R, which programmatically combines ontologies and states at the modeling phase and runtime phase for attaining the ability to recognize meaningful HLC. It builds on the model of our prior work on the Context State Machine (CSM) engine by incorporating the H (Hierarchy) and R (Relationship and tRansition) dimensions to take care of the dynamic aspects of context. The design of the framework supports the sharing and interoperation of context among intelligent systems and the components for handling CSMs and the management of hierarchy, relationship, and transition. Case studies are developed for IntellElevator and IntellRestaurant, two intelligent applications in a smart campus setting. The prototype implementation of the framework experiments on translating the HLC reasoning into vector and matrix computing and presents the potential of using advanced probabilistic models to reach the next level of automation in integrating intelligent systems; meanwhile, privacy protection support is achieved in the application domain by anonymization through indexing and reducing information correlation. An implementation of the framework is available at <a class="link-external link-https" href="https://github.com/songhui01/CSM-H-R" rel="external noopener nofollow">this https URL</a>.

Hierarchical states in the Compositional Interchange Format

Constraint Function Based Hierarchical Control of Discrete Event Systems

Formal composition of hybrid systems

Compositional Separation of Control Flow and Data Flow

A Hierarchical Situation Calculus

CIF 3: Model-Based Engineering of Supervisory Controllers

Extension of the Hierarchical CDFG for the High-Level SOC System Design

Hierarchical organisation of predicate-semantic models

Representing and Manipulating Situation Hierarchies Using Situation Lattices.

A Hierarchical CDFG As Intermediate Representation for Hardware/software Codesign

Hierarchical Finite State Controllers for Generalized Planning

A conceptual modeling framework for discrete event simulation using hierarchical control structures

CSM-H-R: A Context Modeling Framework in Supporting Reasoning Automation for Interoperable Intelligent Systems and Privacy Protection

Rephrasing interoperability in terms of connector behaviours

Restructuring a concurrent refinement algebra

Once and for all: how to compose modules -- The composition calculus

Safe Composition of Systems of Communicating Finite State Machines

Hierarchical Conversation Flow Transition and Reasoning for Conversational Machine Comprehension.

Translating Hierarchical Block Diagrams into Composite Predicate Transformers

Associative composition of components with double-sided interfaces

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method