Using coalgebra and coinduction to define ontology-based multi-agent systems

Authors:
Maja Hadzic;Elizabeth Chang
Affiliations:
Digital Ecosystems and Business Intelligence Institute (DEBII), Curtin University of Technology, GPO Box U1987, Perth 6845, Western Australia, Australia.;Digital Ecosystems and Business Intelligence Institute (DEBII), Curtin University of Technology, GPO Box U1987, Perth 6845, Western Australia, Australia
Venue:
International Journal of Metadata, Semantics and Ontologies
Year:
2008

Citing 8
Cited 1

Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
A Final Coalgebra Theorem

Category Theory and Computer Science
Behavioural differential equations: a coinductive calculus of streams, automata, and power series

Theoretical Computer Science
Medical ontologies to support human disease research and control

International Journal of Web and Grid Services
Ontology-based Multi-agent Systems Support Human Disease Study and Control

Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
On Logics for Coalgebraic Simulation

Electronic Notes in Theoretical Computer Science (ENTCS)
Soft computing agents for e-Health in application to the research and control of unknown diseases

Information Sciences: an International Journal
IS=DBS+interaction: towards principles of information system design

ER'00 Proceedings of the 19th international conference on Conceptual modeling

A coalgebraic approach to non-determinism: Applications to multilattices

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

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.