BOUSI∼PROLOG - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning

Pascual Julián Iranzo, Clemente Rubio Manzano

Abstract

Bousi∼Prolog is an extension of the standard Prolog language. Its operational semantics is an adaptation of the SLD resolution principle where classical unification has been replaced by a fuzzy unification algorithm based on fuzzy relations defined on a syntactic domain. In this paper we describe how Bousi∼Prolog may contribute to resolve several problems extracted from different application areas, where it is mandatory to deal with vagueness and uncertain knowledge, such as: flexible deductive databases, fuzzy control, fuzzy experts systems, data retrieval or approximate reasoning. Hence, through several (small but meaningful) examples we show the great potential of this programming language.

References

  1. Buckles, B. and Petry, F. (1985). A fuzzy model for relational databases. Fuzzy Sets and Systems, 7:213-226.
  2. Arcelli, F. and Formato, F. (2002). A similarity-based resolution rule. Int. J. Intell. Syst., 17(9):853-872.
  3. Gruber, T. R. (1995). Toward principles for the design of ontologies used for knowledge sharing. International Journal Human-Computer Studies, 43(5-6):907-928.
  4. Liu, H. and Singh, P. (2004). Conceptnet - a practical commonsense reasoning tool-kit. BT Technology Journal, 22(4):211-226.
  5. Julián, P. and Rubio, C. (2009). A Declarative Semantics for Bousi~Prolog. In: Proc. of 11th Intl. Symposium on PPDP'09. ACM SIGPLAN.
  6. Julián, P. and Rubio, C. and Gallardo, J. (2009). Bousi~Prolog: a Prolog extension language for flexible query answering. In: ENTCS, vol 248, pp. 131- 147. Elsevier.
  7. Julián, P. and Rubio, C. (2009). A similarity-based WAM for Bousi~Prolog. In: LNCS, vol 5517, pp. 245-252. Springer.
  8. Kowalski, R. A. (1979). Algorithm = Logic + Control. Communications of the ACM, 22(7):424-436.
  9. Lee, R. C. T. (1972). Fuzzy Logic and the Resolution Principle. Journal of the ACM, 19(1):119-129.
  10. Li, D. and Liu, D. (1990). A fuzzy Prolog database system. John Wiley & Sons, Inc.
  11. Motro, A. (1988). VAGUE: A user interface to relational databases that permits vague queries. ACM Transactions on Office Information Systems, 6(3):187-214.
  12. Prade, H. and Testemale, C. (1984). Generalizing database relational algebra for the treatment of incomplete/uncertain information and vague queries. Information Science, 34:115-143.
  13. Romero, F. P. and Julián, F. P. and Ferreira, M. and Gallardo, J. (2010). Una Aproximación Declarativa a la Clasificación de Documentos. In: Proc. of ESTYLF 2010, p.p: 211-216.
  14. Sessa, M. I. 2002. Approximate reasoning by similaritybased sld resolution. Theoretical Computer Science, 275(1-2):389-426.
  15. Shalfield, R. (2005). LPA-PROLOG: Flint reference. Technical report, Logic Programming Associates ltd.
  16. Shenoi, S. and Melton, A. (1999). Proximity relations in the fuzzy relational database model. Fuzzy Sets and Systems, 100:51-62.
  17. Virtanen, H. E. (1998). Linguistic Logic Programming. Logic Programming and Soft Computing, p.p: 91- 128.
  18. Vojtás?, P. (2001). Fuzzy Logic Programming. Fuzzy Sets and Systems, 124(1):361-370.
  19. Zadeh, L. A. (1975). The Concept of a Linguistic Variable and its Applications to Approximate Reasoning I, II and III. J. of Information Sciences 8 and 9, Elsevier.
  20. Zadeh, L. A. (1975). Fuzzy Logic and Approximate Reasoning. Synthese, 30(3-4):407-428, Springer.
Download


Paper Citation


in Harvard Style

Julián Iranzo P. and Rubio Manzano C. (2010). BOUSI∼PROLOG - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning . In Proceedings of the International Conference on Fuzzy Computation and 2nd International Conference on Neural Computation - Volume 1: ICFC, (IJCCI 2010) ISBN 978-989-8425-32-4, pages 93-98. DOI: 10.5220/0003079200930098


in Bibtex Style

@conference{icfc10,
author={Pascual Julián Iranzo and Clemente Rubio Manzano},
title={BOUSI∼PROLOG - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning},
booktitle={Proceedings of the International Conference on Fuzzy Computation and 2nd International Conference on Neural Computation - Volume 1: ICFC, (IJCCI 2010)},
year={2010},
pages={93-98},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003079200930098},
isbn={978-989-8425-32-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Fuzzy Computation and 2nd International Conference on Neural Computation - Volume 1: ICFC, (IJCCI 2010)
TI - BOUSI∼PROLOG - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning
SN - 978-989-8425-32-4
AU - Julián Iranzo P.
AU - Rubio Manzano C.
PY - 2010
SP - 93
EP - 98
DO - 10.5220/0003079200930098