Formal Logic Research in Mobile Service Recommendation Model Based on Situation Calculus

Abstract

Aiming at the shortcomings of formal logic research in the domain of service recommendation, this paper proposes a mobile service recommendation model MSR-SC based on situation calculus. On the basis of the basic method and the general process of mobile service recommendation, the logical theory system of situation calculus is introduced. With the initial situation as the starting point, much situation in specific action domain, fluent domain and situation domain are dynamically evolved according to certain rules. Finally, in order to verify the logical validity of the model, a formal description of a mobile service recommendation instance using MSR-SC is given. As can be seen from the example, the model has logic validity and correctness.