**1. Artificial Intelligence and the Study of Functional Logic Languages**

Declarative languages such as functional languages and logic languages are important for artificial intelligence and its applications. In my research I am interested in the study of unifying functional languages and logic languages into a single paradigm. Functional languages based on reduction have several properties such as deterministic and lazy evaluation. They also allow higher order definitions. But they lack other useful properties such as partial data structures and logical variables. On contrary logic languages based on unification allow partial data structures and logical variables but lack deterministic and lazy evaluations as well as higher order definitions. From this point of view it seems natural to unify both languages into a single paradigm in the aim that we get a unified functional logic language with more expressive power than both functional and logic languages. In my research I am interested in developing a model for operational semantics for functional logic languages based on lazy conditional narrowing. In such model functional logic programs are represented by conditional rewriting systems. This enables such model to cover a larger class of problems. However such models may suffer from a huge search space when applied to find solutions for some problems. To overcome such problem, I am trying to create/apply natural inspired algorithms to develop an efficient operational semantics for functional logic languages or to improve search space in such models.