Abstract
In this paper, we propose an agent-based framework for collaborative problem-solving. We emphasize the knowledge representation and knowledge sharing issues. We employ a three-valued based Temporal First-Order Nonmonotonic Logic that allows an explicit representation of events/actions and can handle dialogue game protocols and temporal aspects explicitly. A prototype is developed with a case to guide and assist evacuees in an emergency evacuation from a building.
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.
References
Al-Areqi, S., Hudaib, A., Obeid, N.: Improving Availability in Distributed Component-Based Systems via Replication. In: Nguyen, N.T., Trawiński, B., Jung, J.J. (eds.) New Challenges for Intelligent Information and Database Systems. SCI, vol. 351, pp. 43–52. Springer, Heidelberg (2011)
Bonabeau, E.: Agent-Based Modeling: Methods and Techniques for simulating human systems. Proc. National Academy of Sciences USA 99, 7280–7287 (2002)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment Tracking via the Reactive Event Calculus. In: IJCAI, pp. 91–96 (2009)
Giordano, L., Alberto, M., Camilla, S.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. J. Applied Logic 5(2), 214–234 (2007)
McBurney, P., Parsons, S.: Dialogue Games for Agent Argumentation. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artificial Intelligence, vol. 261 (2009)
Moubaiddin, A., Obeid, N.: The Role of Dialogue in Remote Diagnostics. In: 20th Int. Conf. on COMADEM (2007)
Moubaiddin, A., Obeid, N.: Dialogue and Argumentation in Multi-Agent Diagnosis. In: Nguyen, N.T., Katarzyniak, R. (eds.) New Chall. in Appl. Intel. Tech. SCI, vol. 134, pp. 13–22. Springer, Heidelberg (2008)
Moubaiddin, A., Obeid, N.: Partial Information Basis for Agent-Based Collaborative Dialogue. Applied Intelligence 30(2), 142–167 (2009)
Moubaiddin, A., Obeid, N.: On Formalizing Social Commitments in Dialogue and Argumentation Models Using Temporal Defeasible Logic. Knowledge and Information Systems (2012), doi:10.1007/s10115-012-0578-6
Obeid, N.: Three Valued Logic and Nonmonotonic Reasoning. Computers and Artificial Intelligence 15(6), 509–530 (1996)
Obeid, N.: Towards a Model of Learning Through Communication. Knowledge and Information Systems 2, 498–508 (2000)
Obeid, N.: Fault Diagnosis Using Three-Valued Based Nonmonotonic Logic. International Journal of COMADEM 3(2), 17–28 (2000)
Obeid, N.: A Formalism for Representing and Reasoning with Temporal Information, Event and Change. Applied Intelligence 23(2), 109–119 (2005)
Obeid, N., Moubaiddin, A.: On the Role of Dialogue and Argumentation In Collaborative Problem Solving. In: ISDA, pp. 1202–1208 (2009)
Obeid, N., Moubaiddin, A.: Towards a Formal Model of Knowledge Sharing in Complex Systems. In: Szczerbicki, E., Nguyen, N.T. (eds.) Smart Information and Knowledge Management. SCI, vol. 260, pp. 53–82. Springer, Heidelberg (2010)
Obeid, N., Rao, B.K.N.R.: On Integrating Event Definition and Event Detection. Knowledge and Information Systems 22(2), 129–158 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Al-Juaidy, H., Jaradeh, L.A., Qutaishat, D., Obeid, N. (2013). On Representing and Sharing Knowledge in Collaborative Problem Solving. In: Ali, M., Bosse, T., Hindriks, K., Hoogendoorn, M., Jonker, C., Treur, J. (eds) Contemporary Challenges and Solutions in Applied Artificial Intelligence. Studies in Computational Intelligence, vol 489. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00651-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-00651-2_9
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00650-5
Online ISBN: 978-3-319-00651-2
eBook Packages: EngineeringEngineering (R0)