KQML swMATH ID: 29718 Software Authors: Tim Finin, Richard Fritzson, Donald P McKay, Robin McEntire Description: KQML - A Language and Protocol for Knowledge and Information Exchange. This paper describes the design of and experimentation with the Knowledge Query and Manipulation Language (KQML), a new language and protocol for exchanging information and knowledge. This work is part a larger effort, the ARPA Knowledge Sharing Effort which is aimed at developing techniques and methodology for building large-scale knowledge bases which are sharable and reusable. KQML is both a message format and a message-handling protocol to support run-time knowledge sharing among agents. KQML can be used as a language for an application program to interact with an intelligent system or for two or more intelligent systems to share knowledge in support of cooperative problem solving. KQML focuses on an extensible set of performatives, which defines the permissible operations that agents may attempt on each other’s knowledge and goal stores. The performatives comprise a substrate on which to develop higher-level models of inter-agent interaction such as contract nets and negotiation. In addition, KQML provides a basic architecture for knowledge sharing through a special class of agent called communication facilitators which coordinate the interactions of other agents The ideas which underlie the evolving design of KQML are currently being explored through experimental prototype systems which are being used to support several testbeds in such areas as concurrent engineering, intelligent design and intelligent planning and scheduling. Homepage: https://pdfs.semanticscholar.org/c0da/82b917832ecb3dffc4dd16b0e1e1dbdf153b.pdf Related Software: Prodigy; Globus Toolkit; Qu-Prolog; OMDoc; OMRS; TABLEAUX; MiniZinc; Cbc; pyCMPL; CMPL; DyLP; XMLSpy; NEOS; MPL; COIN-OR/GAMSLinks; Zinc; OSiL; LPFML; CLP; GAMS Cited in: 15 Publications all top 5 Cited by 39 Authors 2 de Boer, Frank S. 2 Kohlhase, Michael 2 Meyer, John-Jules Charles 2 van der Hoek, Wiebe 2 van Eijk, Rogier M. 1 Aler, Ricardo 1 Armando, Alessandro 1 Borrajo, Daniel 1 Camacho, David 1 Cunningham, Jim 1 de Vries, Wieke 1 Denti, Enrico 1 Franke, Andreas 1 Gaspari, Mauro 1 Gassmann, Horand I. 1 Horling, B. 1 Jennings, Nicholas R. 1 Klassner, F. 1 Konaré, Dougoukolo 1 Lee, Jimmy Ho-man 1 Lesser, Victor R. 1 Leung, Ho-fung 1 Liu, Hailong 1 Luo, Xudong 1 Ma, Jun 1 Martin, Richard Kipp 1 Molina, José Manuel 1 Omicini, Andrea 1 Pierre, Samuel 1 Pitt, Jeremy 1 Quintero, Alejandro 1 Ranise, Silvio 1 Sawamura, Hajime 1 Shadbolt, Nigel 1 Toda, Yoshirou 1 Vlahavas, Ioannis P. 1 Wagner, Thomas A. 1 Wu, Tiejun 1 Yamashita, Masashi all top 5 Cited in 9 Serials 3 Artificial Intelligence 1 Information Sciences 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Applied Intelligence 1 European Journal of Operational Research 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Zhejiang University. Science 1 Mathematical Programming Computation all top 5 Cited in 6 Fields 14 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year