(27th-July-2020)
• One reason to build a description of a world is to be able to determine what else must be true in that world. After the computer is given a knowledge base about a particular domain, a user might like to ask the computer questions about that domain. The computer can answer whether or not a proposition is a logical consequence of the knowledge base. If the user knows the meaning of the atoms, the user can interpret the answer in terms of the domain.
• A query is a way of asking whether a proposition is a logical consequence of a knowledge base. Once the system has been provided with a knowledge base, a query is used to ask whether a formula is a logical consequence of the knowledge base. Queries have the form
• ask b.
• where b is a body.
• A query is a question that has the answer "yes" if the body is a logical consequence of the knowledge base, or the answer "no" if the body is not a consequence of the knowledge base. The latter does not mean that body is false in the intended interpretation but rather that it is impossible to determine whether it is true or false based on the knowledge provided.
• ask light_l1.
• for which the answer is yes. The query
• ask light_l6.
• has answer no. The computer does not have enough information to know whether or not l6 is a light. The query
• ask lit_l2.
• has answer yes. This atom is true in all models.
• The user can interpret this answer with respect to the intended interpretation.
Comentarios