Reasoning with tolerance

摘要

This paper briefly discusses the existing MetaCon architecture, and its current upgrade to the ATTITUDE architecture for multi-agent, multilevel data fusion, as a motivation for formulating a tolerant approach to both procedural and declarative reasoning. Fuzzy first order logic is then formally defined before truth profiles are introduced to simultaneously accommodate ontological and epistemic uncertainty. Tolerant reasoning with truth profiles is then considered.