Improvement of a Forward Reasoning Engine FreeEnCal for Trust Reasoning

Trust reasoning must be included in the decision-making process of an agent with reasoning capability in multi-agent systems. Extended reciprocal logic can be a hopeful candidate for the logic system underlying trust reasoning. FreeEnCal is a forward reasoning engine for general-purpose. Although it can be a hopeful component to realize agent programs capable of trust reasoning, it cannot currently deal with modal logic systems with labeled modal operators, including the extended reciprocal logic. This paper gives an improved FreeEnCal to deal with such modal logic systems. The case study confirmed that it can deal with modal logic systems with labeled modal operators.