Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-06-21T13:58:57.391Z Has data issue: false hasContentIssue false
  • English
  • Français

Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog

Published online by Cambridge University Press:  05 November 2021

PASCUAL JULIÁN-IRANZO Open the ORCID record for PASCUAL JULIÁN-IRANZO [Opens in a new window]  and
FERNANDO SÁENZ-PÉREZ Open the ORCID record for FERNANDO SÁENZ-PÉREZ [Opens in a new window]
PASCUAL JULIÁN-IRANZO
Affiliation:
Department of Information Technologies and Systems, University of Castilla-La Mancha, Ciudad Real, Spain (e-mail: Pascual.Julian@uclm.es)
FERNANDO SÁENZ-PÉREZ
Affiliation:
Department of Software Engineering and Artificial Intelligence, Universidad Complutense de Madrid, Madrid, Spain (e-mail: fernan@sip.ucm.es)
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi∼Prolog. To this end, we first analyse what would be expected from a logic inference system, equipped with what is called embedded implication, to model solving goals with respect to assumptions. We start with a propositional system and incrementally build more complex systems and implementations to satisfy the requirements imposed by a system like Bousi∼Prolog. Finally, we propose an inference system, operational semantics and the translation function to generate efficient Prolog programmes from Bousi∼Prolog programmes.

Keywords

Fuzzy logic programmingfuzzy PrologBousi∼Prologhypothetical reasoningsystem implementation
Type
Original Article
Information
Theory and Practice of Logic Programming , Volume 21 , Issue 5: 37th International Conference on Logic Programming Special Issue I , September 2021 , pp. 680 - 697
Check for updates
Copyright
© The Author(s), 2021. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

*

This work was supported by the State Research Agency (AEI) of the Spanish Ministry of Science and Innovation under grant PID2019-104735RB-C42 (SAFER), by the Spanish Ministry of Economy and Competitiveness, under the grants TIN2016-76843-C4-2-R (MERINET), TIN2017-86217-R (CAVIART-2) and by the Comunidad de Madrid, under the grant S2018/TCS-4339 (BLOQUES-CM), co-founded by EIE Funds of the European Union.

References

Bench-Capon, T. J. M. and Prakken, H. 2010. Using argument schemes for hypothetical reasoning in law. Artif. Intell. Law 18, 2, 153–174.CrossRefGoogle Scholar
Bonner, A. J. 1994. Hypothetical reasoning with intuitionistic logic. Non-Standard Queries and Answers, Studies on Logic and Computation, 187–219.Google Scholar
Bosse, T. and Gerritsen, C. 2009. A model for criminal decision making based on hypothetical reasoning about the future. In IEA/AIE 2009, Taiwan, June 24–27. LNCS, vol. 5579. Springer, 24–35.Google Scholar
Calantone, R., Whipple, J. M., Wang, J. F., Sardashti, H. and Miller, J. W. 2017. A primer on moderated mediation analysis: Exploring logistics involvement in new product development. Journal of Business Logistics 38, 3, 151–169.CrossRefGoogle Scholar
Cuijpers, P. J. L. 2013. Prefix orders as a general model of dynamics. In 9th International Workshop on Developments in Computational Models (DCM 2013). Universidad de Buenos Aires, 25–29.Google Scholar
Fontana, F. A. and Formato, F. 1999. Likelog: A logic programming language for flexible data retrieval. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC’99). 260–267.Google Scholar
Fontana, F. A. and Formato, F. 2002. A similarity-based resolution rule. International Journal of Intelligent Systems 17, 9, 853–872.CrossRefGoogle Scholar
Galindo, J. 2005. New characteristics in FSQL, a fuzzy SQL for fuzzy databases. WSEAS Transactions on Information Science and Applications 2, 2, 161–169.Google Scholar
Julián-Iranzo, P. and Rubio-Manzano, C. 2017. A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets and Systems, 1–26.CrossRefGoogle Scholar
Julián-Iranzo, P. and Sáenz-Pérez, F. 2017. FuzzyDES or how DES met Bousi∼Prolog. In International Conference on Fuzzy Systems (FUZZ-IEEE), Naples, Italy, July 9–12. 1–6.Google Scholar
Julián-Iranzo, P. and Sáenz-Pérez, F. 2018. A Fuzzy Datalog Deductive Database System. IEEE Transactions on Fuzzy Systems 26, 5, 2634–2648.CrossRefGoogle Scholar
Julián-Iranzo, P. and Sáenz-Pérez, F. 2020. A System implementing Fuzzy Hypothetical Datalog. In International Conference on Fuzzy Systems (FUZZ-IEEE), UK, July 19–24, 1–8.Google Scholar
Julián-Iranzo, P. and Sáenz-Pérez, F. 2021. Proximity-based Unification: an Efficient Implementation Method. IEEE Transactions on Fuzzy Systems 29, 5, 1238–1251.Google Scholar
Kunhimangalam, R., Ovallath, S. and Joseph, P. K. 2013. A novel fuzzy expert system for the identification of severity of carpal tunnel syndrome. BioMed Research International 2013. Loia, V., Senatore, S. and Sessa, M. I. 2001. Similarity-based SLD resolution and its implementation in an extended Prolog system. In International Conference on Fuzzy Systems (FUZZ-IEEE). 650–653.Google Scholar
Lopez, P. and Pimentel, E. 1999. Hypothetical reasoning with substructural logics. In Proc. of Joint Conference on Declarative Programming. L’Aquila (Italia). 485–496.Google Scholar
Martelli, A. and Montanari, U. 1982. An Efficient Unification Algorithm. ACM Transactions on Programming Languages and Systems 4, 258–282.CrossRefGoogle Scholar
Minutolo, A., Esposito, M. and Pietro, G. D. 2016. A hypothetical reasoning system for mobile health and wellness applications. In MobiHealth 2016. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol. 192. Springer, 278–286.Google Scholar
Moreno, G. and Vázquez, A. 2014. A survey on community detection methods in social networks. Journal of Software Engineering and Applications 7, 273–298.CrossRefGoogle Scholar
Rizzi, S. 2009. What-If Analysis. Springer US, Boston, MA, 3525–3529.Google Scholar
Rubio-Manzano, C. and Julián-Iranzo, P. 2014. Fuzzy Linguistic Prolog and its Applications. Journal of Intelligent and Fuzzy Systems 26, 1503–1516.CrossRefGoogle Scholar
Sessa, M. I. 2002. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science 275, 1-2, 389–426.CrossRefGoogle Scholar
Wielemaker, J., Schrijvers, T., Triska, M. and Lager, T. 2012. SWI-Prolog. Theory and Practice of Logic Programming 12, 1-2, 67–96.CrossRefGoogle Scholar
Wilson, N. H. M. and Nuzzolo, A. 2008. Schedule-Based Modeling of Transportation Networks: Theory and applications Portada.Google Scholar
Supplementary material: PDF

Julián Iranzo and Sáenz Pérez supplementary material

Appendices

Download Julián Iranzo and Sáenz Pérez supplementary material(PDF)
PDF 215.6 KB