Multiagent truth maintenance Export

@article{citeulike:1151148, abstract = {The concept of logical consistency of belief among a group of computational agents that are able to reason nonmonotonically is defined. An algorithm for truth maintenance is then provided that guarantees local consistency for each agent and global consistency for data shared by the agents. The algorithm is shown to be complete, in the sense that if a consistent state exists, the algorithm will either find it or report failure. The implications and limitations of this algorithm for cooperating agents are discussed, and several extensions are described. The algorithm has been implemented in the RAD distributed expert system shell}, author = {Huhns, M. N. and Bridgeland, D. M.}, citeulike-article-id = {1151148}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=135687}, journal = {Systems, Man and Cybernetics, IEEE Transactions on}, keywords = {artifical, distributed, intelligent, multiagennt}, number = {6}, pages = {1437--1445}, posted-at = {2007-03-09 13:05:29}, priority = {3}, title = {Multiagent truth maintenance}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=135687}, volume = {21}, year = {1991} }

TY - JOUR ID - citeulike:1151148 L3 - citeulike-article-id:1151148 N2 - The concept of logical consistency of belief among a group of computational agents that are able to reason nonmonotonically is defined. An algorithm for truth maintenance is then provided that guarantees local consistency for each agent and global consistency for data shared by the agents. The algorithm is shown to be complete, in the sense that if a consistent state exists, the algorithm will either find it or report failure. The implications and limitations of this algorithm for cooperating agents are discussed, and several extensions are described. The algorithm has been implemented in the RAD distributed expert system shell IS - 6 JF - Systems, Man and Cybernetics, IEEE Transactions on EP - 1445 TI - Multiagent truth maintenance VL - 21 SP - 1437 KW - artifical KW - distributed KW - intelligent KW - multiagennt AU - Huhns, MN AU - Bridgeland, DM PY - 1991/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=135687 ER -