Using coalgebra and coinduction to define ontology-based multi-agent systems
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 soc...
| Main Authors: | , |
|---|---|
| Format: | Journal Article |
| Published: |
Inderscience
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11937/4536 |
| _version_ | 1848744543685443584 |
|---|---|
| author | Hadzic, Maja Chang, Elizabeth |
| author_facet | Hadzic, Maja Chang, Elizabeth |
| author_sort | Hadzic, Maja |
| building | Curtin Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T06:03:08Z |
| format | Journal Article |
| id | curtin-20.500.11937-4536 |
| institution | Curtin University Malaysia |
| institution_category | Local University |
| last_indexed | 2025-11-14T06:03:08Z |
| publishDate | 2008 |
| publisher | Inderscience |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | curtin-20.500.11937-45362017-09-13T16:03:56Z Using coalgebra and coinduction to define ontology-based multi-agent systems Hadzic, Maja Chang, Elizabeth dynamic systems coinduction information retrieval multi-agent systems intelligent retrieval ontology agent-based systems MAS coalgebra 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. 2008 Journal Article http://hdl.handle.net/20.500.11937/4536 10.1504/IJMSO.2008.023568 Inderscience fulltext |
| spellingShingle | dynamic systems coinduction information retrieval multi-agent systems intelligent retrieval ontology agent-based systems MAS coalgebra Hadzic, Maja Chang, Elizabeth Using coalgebra and coinduction to define ontology-based multi-agent systems |
| title | Using coalgebra and coinduction to define ontology-based multi-agent systems |
| title_full | Using coalgebra and coinduction to define ontology-based multi-agent systems |
| title_fullStr | Using coalgebra and coinduction to define ontology-based multi-agent systems |
| title_full_unstemmed | Using coalgebra and coinduction to define ontology-based multi-agent systems |
| title_short | Using coalgebra and coinduction to define ontology-based multi-agent systems |
| title_sort | using coalgebra and coinduction to define ontology-based multi-agent systems |
| topic | dynamic systems coinduction information retrieval multi-agent systems intelligent retrieval ontology agent-based systems MAS coalgebra |
| url | http://hdl.handle.net/20.500.11937/4536 |