User:ClueBot III/Master Detailed Indices/Talk:Knowledge representation and reasoning