Information technologies- synergy of theory and application ⋆

In this lecture we give several examples and lessons learned from research, development and experiments in the area of theory and applications of information technology. We will try to describe a possible synergy of theory and application too. Namely, to describe where practical needs bring new problems for theory and where theory helps to formulate methods, which should be verified in practice. In the theoretical part we will mention research on correctness and completeness of fuzzy logic programming [1,2] and various measures for evaluating success. In applications we mention acquaintance with development and experiments of preferential querying and user dependent top-k answers [3]. In all of these it also depends on whether our task is deductive (querying)