Goals Project Members Financial SupportDECaFf-KB
D
istributed Environment for Cooperation among Formalisms for Knowledge Bases
Goals Project Members Financial Support
Publications Software Workshops, Conferences and Related Events
Goals:
Formal reconstruction of theories for knowledge representation, envisaging a uniform characterisation of input/output patterns for different theories
Formulation of a general theory of message-passing and cooperation among knowledge representations, based on these patterns
Implementation of this general theory as a system development environment to enable different systems to cooperate during problem-solving
Project Members:
Universidade de Sao Paulo (Brazil), Department of Computer Science
local coordinator: Dr.
Flavio S. Correa da Silva (also general project coordinator) Universidade Estadual do Ceara (Brazil), Department of Mathematics and Computer Science
local coordinator: Dr.
Wamberto W. M. de Vasconcelos University of Edinburgh (Scotland), Department of Artificial Intelligence,
Software Systems and Processes Research Group
Financial Support:
Fundacao CAPES – Fundacao Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior
Publications:
Cooperation Between Knowledge-Based Systems
Correa da Silva, F. S., Vasconcelos,
W. W. M., Robertson, D. S., 1997. 4th. World Congress on Expert Systems,
Mexico 1998 (also available as Research Report rt-mac-9703, Computer
Science, University of Sao Paulo)
Why Ontologies are not Enough for Knowledge Sharing
Correa da Silva, F. S., Vasconcelos,
W. W. M., Agusti, J., Robertson, D. S., Melo,
A. C. V. 1998. 12th. International Conference on Industrial and
Engineering Applications of Artificial Intelligence and Expert Systems,
Egypt 1999 (also available as Research Report rt-mac-9802, Computer
Science, University of Sao Paulo)
A Lightweight Capability Communication Mechanism
Robertson, D., Agusti, J., Correa da
Silva, F. S., Vasconcelos, W. W. M, Melo, A. C. V. 13th. International
Conference on Industrial and Engineering Applications of Artificial
Intelligence and Expert Systems, USA 2000 (also available as Research Report
rt-mac-9912, Computer Science, University of Sao Paulo)
Knowledge Sharing Between a Probabilistic Logic and Bayesian Belief Networks
Correa da Silva, F. S., Araujo, R. C.,
Agusti, J., Melo, A. C. V. 8th. Conference on Information Processing and
Management of Uncertainty, Spain 2000 (also available as Research Report
rt-mac-9913, Computer Science, University of Sao Paulo)
Sharing Resource-Sensitive Knowledge Using Combinator Logics
Finger, M., Vasconcelos,
W. 2000. Brazilian Symposium of Artificial Intelligence, 2000
(also available as Research Report rt-mac-00xx, Computer Science, University
of Sao Paulo)
On The Insufficiency of Ontologies: Problems in Knowledge Sharing and
Alternative Solutions
Correa da Silva, F. S., Vasconcelos,
W., Robertson, D. S., Brilhante, V., Melo, A. C. V., Finger, M. and Agusti,
J. 2002. Knowledge-Based Systems, vol. 15 (3). Elsevier, NL
Software:
Workshops, Conferences and Related Events:
The First Workshop on Formal Methods in Knowledge Sharing
Edinburgh (Scotland), July 13th 1998.