知識表現と推論（Knowledge Representation and Reasoning：KR&R）
https://www.jstage.jst.go.jp/article/jjsai/34/5/34_703/_pdf
