Formal Analysis of the Communication of Probabilistic Knowledge

Abstract

Abstract. This paper discusses questions about communication of probabilistic knowledge in the light of current theories of agent communication. It will argue that there is a semantic gap between these theories and research areas related to probabilistic knowledge representation and communication, that creates very serious theoretical problems if agents that reason probabilistically tiy to use the communication framework provided by these theories. The paper proposes a new formal model, which generalizes current agent communication flieories (at least the standard FIPA version of these theories) to handle probabilistic knowledge communication. We propose a new probabilistic logic as the basis for the model and new communication principles and communicative acts to support this kind of communication.

An Intelligent Tutoring System (ITS) view on AOSE

“…We continue to work in this research line of integrating probabilistic models with BDI models, studying Probabilistic Modal Logics that can handle subjective (bayesian) probabilities and BDI models (Gluz et al, 2006b), and investigating an ontology-based approach to promote the interoperability among agents that represent their knowledge through bayesian networks (Santos et al, 2007).…”

“…Examples of this are the MCOE and PAT BDI student models (see Section 5), which are based on ELP Logics (Móra et al, 1998). Recently, we have started to work with probabilistic belief models, based on Bayesian Networks (BN) that are integrated to the BDI model through a Probabilistic Modal Logic (Gluz et al, 2006b). Our current research includes looking for a formal model that can be used as a framework to specify and test (simulate, build and execute) pedagogical agents.…”

MEDIATEC – Mediação Tecnológica em Espaços Virtuais para Apoio ao Professor online

“…Mais recentemente começamos a trabalhar com a integração de redes bayesianas, que são modelos probabilísticos subjetivos, com o modelo BDI, através da utilização de lógicas probabilísticas modais como elemento comum a ambos tipos de modelos (GLUZ et al, 2006b).…”

“…O presente projeto é previsto para ser desenvolvido em três anos e encontra-se na etapa inicial de validação de categorias e formalização das mesmas através da lógica Novas Tecnologias na Educação CINTED-UFRGS robabilística modal apresentada em (GLUZ et al, 2006b) para a representação do conhecimento.…”