Using coalgebra and coinduction to define ontology-based multi-agent systems. (2nd March 2009)

• Record Type: Journal Article
• Authors: Hadzic, Maja; Chang, Elizabeth
• Is Part Of: International journal of metadata, semantics and ontologies. Volume 3:Number 3(2008)
• Page Start: 197
• Page End: 209
• Publication Date: 2009-03-02
• Subjects: coalgebra -- coinduction -- dynamic systems -- ontology -- multi-agent systems -- MAS -- agent-based systems -- intelligent retrieval -- information retrieval; Metadata -- Periodicals; Semantic Web -- Periodicals; Ontologies (Information retrieval) -- Periodicals; Data structures (Computer science) -- Periodicals; Information theory -- Periodicals; 005.74
• Languages: English
• ISSNs: 1744-2621

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.