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

International Journal of Metadata, Semantics and Ontologies

Volumn 3, Issue 3, 2008, Pages 197-209

  Hadzic, Maja ^a   Chang, Elizabeth ^a  

^a CURTIN UNIVERSITY   (Australia)

Author keywords

Coalgebra; Coinduction; Dynamic system; Intelligent information retrieval; Ontology based multi agent system

Indexed keywords

ALGEBRA; DYNAMICAL SYSTEMS; INTELLIGENT AGENTS; ONTOLOGY; SEARCH ENGINES;

COALGEBRAS; COINDUCTION; DYNAMIC PROCESS; FORMAL FRAMEWORK; HUMAN DISEASE; INFORMATION SOCIETY; INTELLIGENT INFORMATION RETRIEVAL; ONTOLOGY-BASED MULTI-AGENT SYSTEM;

MULTI AGENT SYSTEMS;

EID: 62149148755     PISSN: 17442621     EISSN: 1744263X     Source Type: Journal    
DOI: 10.1504/IJMSO.2008.023568     Document Type: Article

References (14)

1. Aczel, P. (1988) 'Non-well-founded sets', CSLI (Center for the Study of Languages and Information) Lecture Notes 14.
2. Aczel, P. and Mendler, N. (1989) 'A final coalgebra theorem', in Pitt, D.H., Poigné, A. and Rydeheard, D.E. (Eds.): Category Theory and Computer Science, Lecture Notes in Computer Science 389, Springer, Berlin, pp.357-365.
3. Barrett, T.B., Hauger, R.L., Kennedy, J.L., Sadovnick, A.D., Remick, R.A., Keck, P.E., McElroy, S.L., Alexander, M., Shaw, S.H. and Kelsoe, J.R. (2003) 'Evidence that a single nucleotide polymorphism in the promoter of the G protein receptor kinase 3 gene is associated with bipolar disorder', Molecular Psychiatry, Vol. 8, pp.546-557.
4. Cirstea, C. (2004) 'On logics for coalgebraic simulation', Theoretical Computer Science, Vol. 106, pp.63-90.
5. Fernández, M., Gómez-Pérez, A. and Juristo, N. (1997) 'METHONTOLOGY: From ontological art towards ontological engineering', Proceedings of AAAI'97 Spring Symposium Series, Workshop on Ontological Engineering, Stanford University, California, pp.33-40.
6. Goldin, D., Thalheim, B. and Srinivasa, S. (2000) 'Information systems = databases + interaction: Towards principles of information system design', Proceedings of the 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, pp.140-153.
7. Hadzic, M. and Chang, E. (2005a) 'Medical ontologies to support human disease research and control', International Journal of Web and Grid Service, Vols. 1-2, pp.139-150.
8. Hadzic, M. and Chang, E. (2005b) 'Ontology-based multi-agent systems support human disease study and control', Proceedings of the International Conference on Self-Organization and Adaptation of Multi-agent and Grid Systems, Glasgow, Scotland, pp.129-141.
9. Hadzic, M., Ulieru, M. and Chang, E. (2006) 'Soft computing agents for e-health applied to the research and control of unknown diseases', Information Sciences (Special Journal Issue on 'Softcomputing Meets Agents'), Vol. 176, pp.1190-1214.
10. Rutten, J.J.M.M. (1999) 'Automata, power series, and coinduction: Taking input derivatives seriously', Proceedings of the 26th International Colloquium on Automata, Languages and Programming, Prague, Czech Republic, pp.645-654.
11. Rutten, J.J.M.M. (2000) 'Universal coalgebra: A theory of systems', Theoretical Computer Science, Vol. 249, No. 1, pp.3-80.
12. Rutten, J.J.M.M. (2003) 'Behavioural differential equations: A coinductive calculus of streams, automata, and power series', Theoretical Computer Science, Vol. 308, Nos. 1-3, pp.1-53.
13. Wegner, P. and Goldin, D. (1999) 'Interaction as a framework for modeling', Conceptual Modeling - Current Issues and Future Directions, Lecture Notes in Computer Science 1565, pp.243-257.
14. Wegner, P. and Goldin, D. (2005) Interaction, Computability, and Church'sHThesis, Retrieved: 24 May, from: http://www.cs.brown.edu/ people/pw/papers/bcj1.pdf