决策推理和人工智能技术