Abstract
Maintaining logical consistency in a knowledge base that receives asynchronous events from collaborative agents poses a challenge, due to multiple agent perspectives of the knowledge base. Facades and filters further complicate this problem by distorting the definition of consistent knowledge. Therefore, maintaining logical consistency of the knowledge base requires an infrastructure for handling truth maintenance. This paper presents a generic, object-oriented framework for truth maintenance in collaborative multi-agent systems. The core of the framework is an agent that autonomously reasons on system events, thus guaranteeing the integrity of the knowledge base independent of external agents. Specialization to a particular domain is achieved through the description of tests that verify the consistency of the knowledge base. This paper shows an example of this approach in a real-world, multi-agent system and discusses performance and maintainability in such a system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bertel S, Freksa C, Vrachliotis G (2004) Aspectualize and conquer in architectural design. In: Gero JS, Tversky B, Knight T (eds) Visual and Spatial Reasoning in Design III. Key Centre of Design Computing and Cognition; University of Sydney 255–279
Doyle J (1979) A truth maintenance system. Artificial Intelligence 12(3):231–272
Elkan C (1990) A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence 43(2):219–234
Ephrati E, Rosenschein JS (1994) Divide and conquer in multi-agent planning. AAAI’ 94: Proceedings of the twelfth national conference on artificial intelligence 1:375–380
Huhns MN, Bridgeland DM (1991) Multiagent truth maintenance. IEEE Transactions on Systems, Man, and Cybernetics 21(6):1437–1445
Taylor D, Weber B, Bojduj B (2006) A tabu search framework for dynamic combinatorial optimization problems. Proceedings, Integrated Design and Process Technology, IDPT-2006 663–668
Yokoo M (2001) Distributed constraint satisfaction: foundations of cooperation in multi-agent systems. Springer-Verlag, London
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bojduj, B., Weber, B., Taylor, D. (2007). A Framework for Truth Maintenance in Multi-Agent Systems. In: Waldmann, KH., Stocker, U.M. (eds) Operations Research Proceedings 2006. Operations Research Proceedings, vol 2006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69995-8_65
Download citation
DOI: https://doi.org/10.1007/978-3-540-69995-8_65
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69994-1
Online ISBN: 978-3-540-69995-8
eBook Packages: Business and EconomicsBusiness and Management (R0)