Formal analysis of the communication of probabilistic knowledge

IFIP International Federation for Information Processing

Volumn 217, Issue , 2006, Pages 31-40

  Gluz, João Carlos ^a,b,c   Vicari, Rosa M ^a   Flores, Cecília ^a   Seixas, Louise ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b UNIVERSIDADE ESTADUAL DO RIO GRANDE DO SUL   (Brazil)

^c FACENSA   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT COMMUNICATIONS; COMMUNICATION FRAMEWORK; COMMUNICATION PRINCIPLE; COMMUNICATIVE ACTS; CURRENT THEORIES; FORMAL ANALYSIS; FORMAL MODEL; PROBABILISTIC KNOWLEDGE;

ARTIFICIAL INTELLIGENCE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL METHODS; KNOWLEDGE REPRESENTATION; SEMANTICS;

COMMUNICATION;

EID: 33845543885     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-34747-9_4     Document Type: Article

References (14)

1. M. Abadi and J. Halpern. Decidability and Expressiveness for First-Order Logics of Probability. In Procs of IEEE Symp. on Foundatiom of Computer Science, 30, 1989.
2. F. Bacchus. Lp, a Logic for Representing and Reasoning with Statistical Knowledge. Computational Intelligence, 6:209-301, 1990.
3. B. Chaib-Draa and F. Dignun. Trends in Agent Communication Language. Computational Intelligence V. 2, n. 5. Cambridge, MA: Blackwell Publ., 2002
4. P. Cohen and H. Levesque. Rational Interaction as the Basis for Communication, In P. Cohen, J. Morgan and M. Pollack (Ed.). Intentions in Communication. Cambridge, MA: MIT Press, 1990.
5. P. Cohen and H. Levesque. Communicative Actions for Artifical Agents. In Procs of ICMAS-95. San Francisco. Cambridge: MIT Press, 1995.
6. FIPA. HPA Communicative Act Library Specification, Std. SC00037J, FIPA 2002.
7. J. C. Gluz. Formalization of the Communication of Probabilistic Knowledge in Multiagent Systems: An approach based on Probabilistic Logic (In Portuguese). PhD Thesis. Institute de Informatica, UFRGS, Porto Alegre, 2005.
8. J. C. Gluz, C. Flores, L. Seixas and R. Viccari, R. Fomial Aspects of Pedagogical Negotiation in AMPLIA System. In: Procs ofTISE-2005. Santiago, Chile, 2005.
9. J. Y. Halpem. An Analysis of First-Order Logics of Probability. Artificial Intelligence, 46: 311-350, 1990.
10. N. J. Nilsson. Probabilistic Logic. Artificial Intelligence, Amsterdam, 28:71-87, 1986.
11. M. D. Sadek. Dialogue Acts are Rational Plans. In: Procs. of ESCA/ETRW Workshop on the Structure of Multimodal Dialogue, Maratea, Italy, 1991.
12. M. D. Sadek. A Study in the Logic of Intention. In: Procs. of KR'92, p. 462-473, Cambridge, USA 1992.
13. R. M. Vicari, C. D. Flores, L. Seixas, A. Silvestre, M. Ladeira, H. A. Coelho. Multi-Agent Intelligent Environment for Medical Knowledge. Artificial Intelligence in Medicine, 27(3): 335-366, March 2003.
14. Y. Xiang, A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication. Artificial Intelligence, 87: 295-342, 1996.