Mao Xinjun, Wang Huaiming. The intention theory of agent computing in multi-agent system, Journal of software, 10(1)(1999)43~48.  Home/Search   Document Not in Database   Summary   Related Articles

....maintenance intention should be maintainable. 3. Logical Framework The semantics definition of joint intention is based on logical framework of multiagent system, which includes three parts: syntax, model and semantics. The formal languageLis a branch temporal logic extended based on works in [5,6,7] , which is composed of two parts: state formulas set L t and path formulas set L s . Let F is the atomic proposition symbol set, Const ag agent symbol set. To simplify description, the paper has the following symbol convention: p, q, as proposition symbol, and j, y, as formula, and x, y , ....

....operator in S4 normal modal system. n Theorem 3.1 Bel has the following properties: Bel(x, j) j = Bel(x, j) Bel(x, Bel(x,j) Bel(x, j) Bel(x, jy) Bel(x, y) if = j, then = Bel(x, j) 4. Formal Model of Joint Maintenance Intention We will extend the intention theory in [5,1] to establish the novel formal model of joint maintenance intention in multi agent system, investigate the relationship between joint maintenance intention with the belief and intention of individual agents. 4.1. Definition of Basic Concept The achievement intention of individual agent means ....

Mao Xinjun, Wang Huaiming. The intention theory of agent computing in multi-agent system, Journal of software, 10(1)(1999)43~48.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC