แคลคูลัสเชิงคุณลักษณะ (Attributional calculus)เป็นระบบตรรกะและการแสดงผลที่นิยามโดยRyszard S. Michalskiโดยผสมผสานองค์ประกอบของตรรกะภาคแสดง (predicate logic) แคลคูลัสเชิงประพจน์ ( propositional calculus ) และตรรกะหลายค่า (multi-valued logic ) แคลคูลัสเชิงคุณลักษณะให้ภาษาที่เป็นทางการสำหรับการเหนี่ยวนำตามธรรมชาติ (natural induction) ซึ่งเป็นกระบวนการเรียนรู้แบบเหนี่ยวนำที่มีผลลัพธ์อยู่ในรูปแบบที่มนุษย์อ่านได้