How does an intelligent agent infer and translate?

• Website tour guides need to provide background and justification for arguments.
• They are also better to translate the interaction for a foreign language visitor.
• This paper describes an intelligent agent that can answer the questions logically.
• The agent also translates the intermediary inference steps in the user’s language.
• This makes the agent more trustable and user-friendly.

Recently, websites employ online guides to help the users exploring required materials and information. The guides are presented through exchanging online questions and answers. For a foreign language visitor, website tour guides not only need to provide background and justification for the argument, but also they are better to translate the interaction. This paper presents an automated and intelligent software agent that can answer the questions logically. Although people can somehow simply reason and argument in their daily life, the nature of the humans’ reasoning is generally complex and nontrivial. To make the inference and reasoning automated, the agent is armed with first-order logic in artificial intelligence. This enables the agent to understand and answer questions. Implementation of the complex process and the results are shown through a simple example. In addition, to make the agent more trustable and user-friendly, the intermediary inference and justification steps are translated in the user’s language.