Software Platform Based on the hLARM Formalism for Modeling Complex Systems

ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY(2024)

引用 0|浏览0
暂无评分
摘要
The problem of defining, analyzing and reasoning behaviors, facts and uncertainties in complex systems asks for new modeling formal methods and software tools that can deal with managing such collections of heterogeneous and dynamical interacting entities. The purpose of this paper is to present in detail the implementation of a new software modeling platform which is based on the hLARM (Hybrid Logic-Algebraic Relational Modeling) formalism which aims to alleviate the process of designing and managing such systems. The development of the platform is thoroughly analyzed from its conceptual background and up to the algorithms which support all the inference procedures involved.
更多
查看译文
关键词
Complexity,modeling,platform,relational modeling,trust factors
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要