Abstract
Trust reasoning must be included in the decision-making process of an agent with reasoning capability in multi-agent systems. Extended reciprocal logic can be a hopeful candidate for the logic system underlying trust reasoning. FreeEnCal is a forward reasoning engine for general-purpose. Although it can be a hopeful component to realize agent programs capable of trust reasoning, it cannot currently deal with modal logic systems with labeled modal operators, including the extended reciprocal logic. This paper gives an improved FreeEnCal to deal with such modal logic systems. The case study confirmed that it can deal with modal logic systems with labeled modal operators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press (1975)
Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press (1992)
Basit, S., Goto, Y.: FreeEnCal: an extension of reciprocal logic for trust reasoning: a case study in PKI. In: Nguyen, N.T., Tran, T.K., Tukayev, U., Hong, T., Trawiński, B., Szczerbicki, E. (eds.), Intelligent Information and Database Systems. ACIIDS 2022, LNCS, vol. 13757, pp. 496–506. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-21743-2_39
Cheng, J.: Entailment calculus as the logical basis of automated theorem finding in scientific discovery. In: Raul, V. (ed.) Systematic Methods of Scientific Discovery: Papers from the 1995 Spring Symposium, pp. 105–110. AAI Press (1995)
Cheng, J.: A strong relevant logic model of epistemic processes in scientific discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modeling and Knowledge Bases XI. Frontiers in Artificial Intelligence and Applications, vol. 61, pp. 136–159. IOS Press, Amsterdam (2000)
Cheng, J.: Reciprocal logic: logics for specifying, verifying, and reasoning about reciprocal relationships. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS (LNAI), vol. 3682, pp. 437–445. Springer, Heidelberg (2005). https://doi.org/10.1007/11552451_58
Cheng, J.: Strong relevant Logic as the universal basis of various applied logics for knowledge representation and reasoning. In: Kiyoki, Y., Henno, J., Jaakkola, H., Kangassalo, H. (eds.) Information Modeling and Knowledge Bases XVII. Frontiers in Artificial Intelligence and Applications, vol. 136, pp. 310–320. IOS Press, Amsterdam (2006)
Cheng, J., Nara, S., Goto, Y.: FreeEnCal: a forward reasoning engine with general-purpose. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007. LNCS (LNAI), vol. 4693, pp. 444–452. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74827-4_56
Christianson, B., Harbison, W.S.: Why isn’t trust transitive? In: Lomas, M. (ed.) Security Protocols 1996. LNCS, vol. 1189, pp. 171–176. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-62494-5_16
Demolombe, R.: Reasoning about trust: a formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol. 2995, pp. 291–303. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24747-0_22
Demolombe, R.: Reasoning about trust and aboutness in the context of communication. J. Appl. Non-classical Log. 27(3-4), 292–303 (2017). https://doi.org/10.1080/11663081.2017.1420316
El Bakkali, H., Kaitouni, B.I. A logic-based reasoning about PKI trust model. In: Proceedings. Sixth IEEE Symposium on Computers and Communications, pp. 42–48 (2001). https://doi.org/10.1080/11663081.2017.1420316353
Fang, W., Takahashi, I., Goto, Y., Cheng, J.: Practical implementation of EPLAS: an epistemic programming language for all scientists. In: Proceedings the 10th International Conference on Machine Learning and Cybernetics (ICMLC 2011), vol. 2, Guilin, China, pp. 608–616. IEEE-SMC (2011)
Fredkin, E.: Trie memory. Commun. ACM 3(9), 490–499 (1960)
Gao, H., Goto, Y., Cheng, J.: A systematic methodology for automated theorem finding. Theoret. Comput. Sci. 554, 2–21 (2014). https://doi.org/10.1016/j.tcs.2014.06.028
Goto, Y., Koh, T., Cheng, J.: A general forward reasoning algorithm for various logic systems with different formalizations. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008. LNCS (LNAI), vol. 5178, pp. 526–535. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85565-1_65
Goto, Y., Gao, H., Tsuji, T., Cheng, J.: Practical usage of FreeEnCal: an automated forward reasoning engine for general-purpose. In: ICMLC 2012, the International Conference on Machine Learning and Cybernetics, Xi’an, China, pp. 1878–1883. IEEE (2012). https://doi.org/10.1109/ICMLC.2012.6359662
Hiidome, H., Goto, Y., Cheng, J.: A memory-efficient algorithm with level-order unary degree sequence for forward reasoning engines. In: Nguyen, N.T., Hoang, D.H., Hong, T.-P., Pham, H., Trawiński, B. (eds.) ACIIDS 2018. LNCS (LNAI), vol. 10751, pp. 59–70. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75417-8_6
Jacobson, G.: Space-efficient static trees and graphs. In: FOCS’89, 30th Annual Symposium, NC, USA, pp. 549–554. IEEE, Research Triangle Park (1989). https://doi.org/10.1007/978-3-319-75417-8_6
Josang, A., Pedersen, I.G., Povey, D.: PKI seeks a trusting relationship. In: Dawson, E.P., Clark, A., Boyd, C. (eds.) Information Security and Privacy. ACISP 2000. LNCS, vol. 1841. Springer, Heidelberg (2000). https://doi.org/10.1109/SFCS.1989.63533
Josang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decis. Support Syst. 43(2), 618–644 (2007). https://doi.org/10.1016/j.dss.2005.05.019
Koh, T., Goto, Y., Cheng, J.: A fast duplication checking algorithm for forward reasoning engines. In: Lovrek, I., Howlett, R.J., Jain, L.C. (eds.) KES 2008. LNCS (LNAI), vol. 5178, pp. 499–507. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85565-1_62
Koh, T., Goto, Y., Cheng, J.: A fast algorithm for derivation process in forward reasoning engines. Int. J. Comput. Sci. 4(3), 219–231 (2010)
Koutrouli, E., Tsalgatidou, A.: Credibility enhanced reputation mechanism for distributed e-communities, In: Proceedings the 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing, Washington, DC, USA, pp. 627–634. IEEE Computer Society (2011). https://doi.org/10.1109/PDP.2011.68
Leturc, C., Bonnet, G.: A normal modal logic for trust in the sincerity. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, Stockholm, Sweden, pp. 175–183. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC (2018)
Rendsvig, R., Symons, J., Wang, Y.: Epistemic logic. In: Zalta, E.N., Nodelman, U. (eds.) The Stanford Encyclopedia of Philosophy (Winter 2023 Edition). https://plato.stanford.edu/archives/win2023/entries/logic-epistemic/. Accessed 21 Dec 2023
Takahashi, I., Nara, S., Goto, Y., Cheng, J.: EPLAS: an epistemic programming language for all scientists. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol. 4487, pp. 406–413. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72584-8_52
Yan, Z., Zhang, P., Vasilakos, A.: A survey on trust management for Internet of Things. J. Network Comput. Appli. 42, 120–134 (2014). https://doi.org/10.1016/j.jnca.2014.01.014
Zhao, H., Li, X.: H-Trust: a group trust management system for peer-to-peer desktop grid. J. Comput. Sci. Technol. 24(5), 833–843 (2009). https://doi.org/10.1007/s11390-009-9275-7
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Goto, Y., Taga, Y. (2024). Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning. In: Nguyen, N.T., et al. Recent Challenges in Intelligent Information and Database Systems. ACIIDS 2024. Communications in Computer and Information Science, vol 2144. Springer, Singapore. https://doi.org/10.1007/978-981-97-5937-8_21
Download citation
DOI: https://doi.org/10.1007/978-981-97-5937-8_21
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-97-5936-1
Online ISBN: 978-981-97-5937-8
eBook Packages: Computer ScienceComputer Science (R0)