Advertisement
Published in:
2003 | OriginalPaper | Chapter
Towards a formalised HMS model
Author : C. A. Johnson
Published in: Agent-Based Manufacturing
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
An abstract model of holonic systems is presented using concepts of cooperating knowledge-based systems. The model is shown to be fault tolerant and to handle failures as locally as is possible. The model is sufficiently abstract to enable theoretical properties to be derived. In particular it is shown that if a task is reported as being completed correctly, then this is indeed the case. Tasks that are not explicitly aborted by the system are guaranteed to terminate successfully.