Analysis of paradoxes in intelligent models of systems

Abstract

A paradox is understood as reasoning (knowledge base), from which follows the incompatibility of properties for some objects participating in it. Some methods to analyze and eliminate such paradoxes in intelligent systems based on E-structures and n-tuple algebra are considered and illustrated by examples.