人工智能命题符号

Question

1. 如果阳光普照，那么如果下雨我就会被淋湿。
2. 如果阳光普照，那就是夏天。
3. 这不是夏天。
4. 因此，如果阳光普照，我会被弄湿。

予。命题符号代表可以是真或假的东西。例如权利要求1,2和4.上面，有一些诸如“太阳照耀”的陈述可以是真或假。为每个陈述定义命题符号。

II。使用来自（i）的命题符号将1,2,3和4翻译成命题逻辑句子。

Answer 1

在SICStus Prolog或SWI中使用CLP（B）来证明前面陈述的最终含义：

?- sat(Sun =< (Wet =< Rain)), 
   sat(Sun =< Summer),
   sat(~Summer),
   taut(Sun =< Wet, T).

得到以下特性：

...
T = 1,
...

这表明最终的含义来自之前的陈述。