DECaFf-KB

Distributed 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

 

local coordinator: Mr. Dave S. Robertson

Financial Support:

Fundacao CAPES Fundacao Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior

The British Council

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.