Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation

Abstract

Artificial intelligence is rapidly encroaching on the field of service regulation. This work-in-progress article presents the design principles behind Horae, a unified specification language to model multimodal regulation rules across a diverse set of domains. We show how Horae facilitates an intelligent service regulation pipeline by further exploiting a fine-tuned large language model named RuleGPT that automates the Horae modeling process, thereby yielding an end-to-end framework for fully automated intelligent service regulation.

Publication
In ICWS (SRG) 2024
Yutao Sun
Yutao Sun
Ph.D. Candidate

My research interest lies in the general scope of service computing and regulation.

Mingshuai Chen
Mingshuai Chen
ZJU100 Young Professor

My research interests include formal verification, programming theory, and logical aspects of computer science.