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 |
| id |
curtin-20.500.11937-4536 |
|---|---|
| recordtype |
eprints |
| 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 |
| repository_type |
Digital Repository |
| institution_category |
Local University |
| institution |
Curtin University Malaysia |
| building |
Curtin Institutional Repository |
| collection |
Online Access |
| topic |
dynamic systems coinduction information retrieval multi-agent systems intelligent retrieval ontology agent-based systems MAS coalgebra |
| 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 |
| 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. |
| format |
Journal Article |
| author |
Hadzic, Maja Chang, Elizabeth |
| author_facet |
Hadzic, Maja Chang, Elizabeth |
| author_sort |
Hadzic, Maja |
| title |
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_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_sort |
using coalgebra and coinduction to define ontology-based multi-agent systems |
| publisher |
Inderscience |
| publishDate |
2008 |
| url |
http://hdl.handle.net/20.500.11937/4536 |
| first_indexed |
2018-09-06T17:52:20Z |
| last_indexed |
2018-09-06T17:52:20Z |
| _version_ |
1610881528585256960 |