Nothing Special   »   [go: up one dir, main page]

Skip to main content

Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning

  • Conference paper
  • First Online:
Recent Challenges in Intelligent Information and Database Systems (ACIIDS 2024)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press (1975)

    Google Scholar 

  2. Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press (1992)

    Google Scholar 

  3. 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

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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

    Chapter  Google Scholar 

  7. 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)

    Google Scholar 

  8. 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

    Chapter  Google Scholar 

  9. 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

    Chapter  Google Scholar 

  10. 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

    Chapter  Google Scholar 

  11. 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

  12. 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

  13. 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)

    Google Scholar 

  14. Fredkin, E.: Trie memory. Commun. ACM 3(9), 490–499 (1960)

    Article  Google Scholar 

  15. 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

  16. 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

    Chapter  Google Scholar 

  17. 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

  18. 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

    Chapter  Google Scholar 

  19. 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

  20. 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

  21. 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

    Article  Google Scholar 

  22. 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

    Chapter  Google Scholar 

  23. 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)

    Google Scholar 

  24. 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

  25. 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)

    Google Scholar 

  26. 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

  27. 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

    Chapter  Google Scholar 

  28. 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

  29. 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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yuichi Goto .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics