Abstract
In a multi-agent system the sought information can often be found across various knowledge bases, which means that making early assumptions can lead to hasty conclusions. In the paper we present a formalism for distributed default reasoning to be performed by a group of agents that share knowledge in the form of a distributed default theory. The formalism is based on default transformations, which can be used to derive answers to queries in the form of defaults. Such new defaults can then be treated as intermediate results in the reasoning process. It is shown that passing messages containing transformed defaults is more informative than strict statements and enables avoiding early conclusions. Moreover, the extended reasoning features are embedded in the description logic framework.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Adjiman, P., Chatalic, P., Goasdoué, F., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting: application to the semantic web. J. Artif. Int. Res. 25(1), 269–314 (2006)
Amir, E., McIlraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2), 49–88 (2005)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)
Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Technical Report RR-93-20, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (1993)
Bao, J., Slutzki, G., Honavar, V.: A semantic importing approach to knowledge reuse from multiple ontologies. In: AAAI, pp. 1304–1309 (2007)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources (2003)
Cholewinski, P.: Reasoning with stratified default theories. In: Marek, V.W., Truszczyński, M., Nerode, A. (eds.) LPNMR 1995. LNCS, vol. 928, pp. 273–286. Springer, Heidelberg (1995)
Cuenca Grau, B., Parsia, B., Sirin, E.: Combining OWL ontologies using \(\mathcal{E}\)-connections. J. Web Semantics 4(1), 40–59 (2006)
Dignum, V.: Using agent societies to support knowledge sharing. In: AAMAS 2003 Workshop on Autonomy, Delegation and Control (2003)
Kaleta, M., Palka, P., Toczylowski, E., Traczyk, T.: Electronic trading on electricity markets within a multi-agent framework. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS, vol. 5796, pp. 788–799. Springer, Heidelberg (2009)
Kowalski, R., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25(3-4), 391–419 (1999)
Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)
Reiter, R., Criscuolo, G.: On interacting defaults, pp. 94–100 (1987)
Ryżko, D., Rybinski, H., Wiȩch, P.: Learning mechanism for distributed default logic based mas - implementation considerations. In: Proceedings of the International IIS 2008 Conference, pp. 329–338 (2008)
Ryzko, D., Rybinski, H.: Distributed default logic for multi-agent system. In: IAT 2006: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Washington, DC, USA, pp. 204–210 (2006)
Serafini, L., Tamilin, A.: Local tableaux for reasoning in distributed description logics. In: Description Logics (2004)
Wiȩch, P., Rybiński, H.: Using default transformations for reasoning in MAS. Technical report, ICS, Warsaw University of Technology (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wiȩch, P., Rybiński, H. (2010). A Novel Approach to Default Reasoning for MAS. In: Szczuka, M., Kryszkiewicz, M., Ramanna, S., Jensen, R., Hu, Q. (eds) Rough Sets and Current Trends in Computing. RSCTC 2010. Lecture Notes in Computer Science(), vol 6086. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13529-3_52
Download citation
DOI: https://doi.org/10.1007/978-3-642-13529-3_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13528-6
Online ISBN: 978-3-642-13529-3
eBook Packages: Computer ScienceComputer Science (R0)