as an exercise I am trying to answer questions from previous year's exams on Artificial Intelligence but I am stuck with the following one, for which I thought FOL would be a good candidate, and I answered 1. and 2. with it already, but I can't figure out how to answer point 3.
Any suggestions on how to do that in FOL (I already thought and read that it is not really possible to represent questions in FOL) or with any other "Formalism or Knowledge-representation system"?
Consider the following statements:
- If the door is open and the window is open, then there is a draft in the room
- If it is raining, then the window is closed and the windowsill is wet
- If it is not raining, then the window is open
- The door is open
- The windowsill is not wet
The candidate:
- briefly describe a formalism or knowledge representation system that allows the previous statements to be expressed, highlighting its main features;
- represent the knowledge expressed by the previous statements using the formalism or knowledge representation system described in 1. above;
- in the formalism or knowledge representation system described in 1. above, and given the knowledge expressed in 2. above, express the question "Is there an air current in the room?" and say what is the answer to this question in that formalism or system, explaining why.
EDIT:
My answer to 1. and 2. would be something like:
We can use First Order Logic (FOL) as our representation system, as it has all the necessary elements to express the previous statements. We can use objects and constants such as Door(d), Window(w) indicating respectively that object d is a door and that object w is a window, predicates and functions such as open(d) and raining() indicating respectively whether object d is open or not and whether it is currently raining or not. In addition to the possibility of using variables, logical connectives (negations, implications, etc.), quantifiers on variables, etc.
2.1 $\forall d, w \quad Door(d) \land open(d) \land Window(w) \land open(w) \rightarrow draftInTheRoom()$
2.2 $\forall w, ww \quad raining() \land Window(w) \land Windowsill(ww) \rightarrow \neg open(w) \land wet(ww)$
2.3 $\forall w \quad \neg raining() \land Window(w) \rightarrow open(w)$
2.4 $Door(d) \land open(d)$
2.5 $Windowsill(ww) \land \neg wet(ww)$
Note: the exam text and my answer to 1. has been automatically translated from Italian with DeepL.com (free version)