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 presents 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. The feasibility and effectiveness of our framework are demonstrated over a benchmark of various real-world regulation domains.

Publication
arXiv, abs/2406.06600
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.

He Li
He Li
Bachelor Student

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