Mikhail M. Vinkov, Igor B. Fominykh

Stepping Theories of Active Logic with Two Kinds of Negation

Číslo: 1/2017
Periodikum: Advances in Electrical and Electronic Engineering
DOI: 10.15598/aeee.v15i1.1990

Klíčová slova: AI systems; logical negation; subjective negation, systémy umělé inteligence, logická negace, subjektivní negace.

Pro získání musíte mít účet v Citace PRO.

Přečíst po přihlášení

Anotace: This paper formulates a stepping theory formalism with two kinds of negation dealing with one of the areas of Active Logic, a new kind of logic aimed at performing practical tasks in real time knowledge-based AI systems. In addition to the standard logical negation, the proposed formalism uses the so-called subjective negation interpreted as inability to arrive at some conclusion through reasoning by a current time. The semantics of the proposed formalism is defined as an~argumentation structure.