Using coalgebra and coinduction to define ontology-based multi-agent systems
Access Status
Authors
Date
2008Type
Metadata
Show full item recordCitation
Source Title
ISSN
Faculty
School
Remarks
Copyright © 2008 Inderscience Enterprises Limited. All rights reserved.
A link to the Journal's website is available at: http://www.inderscience.com/ijmso
Collection
Abstract
In the past, algebra has been predominantly used to define computer systems. However, computer systems are becoming more dynamic nowadays and algebra is not suitable any more to define such systems. For this reason, coalgebra and coinduction have been introduced into the computer and information society. Coalgebra and coinduction present a powerful mechanism for representing many different kinds of dynamic systems using a common formal framework. We make use of coinductive reasoning to provide a framework and define a dynamic process within the ontology-based multi-agent system. The principle is illustrated on a system specially designed to intelligently retrieve human disease information.
Related items
Showing items related by title, author, creator and subject.
-
Chang, Elizabeth; Dillon, Tharam S.; Hussain, Farookh (2006)Trust has played a central role in human relationships and hence has been the subject of study in many fields including business, law, social science, philosophy and psychology. It has played a pivotal role in forming ...
-
Ko, Ming Hsiao (2009)Fusion is a fundamental human process that occurs in some form at all levels of sense organs such as visual and sound information received from eyes and ears respectively, to the highest levels of decision making such as ...
-
Hadzic, Maja; Chang, Elizabeth (2010)We define a digital ecosystem (DES) as the dynamic and synergetic complex of digital communities consisting of interconnected, interrelated, and interdependent digital species situated in a digital environment that interact ...