結果 : advanced knowledge representation and reasoning in ai