Intelligent-Based Robot to Deal with Contradictions

摘要

Inconsistency is nowadays a growing subject of study which yields a lot of care as it is a pervasive, and unavoidable, topic in data and knowledge management. Contradictory information may arise in systems which are safety critical, such as health systems, aviation systems and many others. As a means of increasing the reliability of systems, formal methods, i.e. mathematical tools, have been advocated. In the field of logic, since we are allowing inconsistent data to coexist in a knowledgebase, some kind of paraconsistent logic is required. We aim to present some ideas for the development of a new method for dealing with contradictions that may appear in robotics, namely by considering a programming language and reasoning based on Quasi-Hybrid logic, [4].