Advances in Electrical and Electronic Engineering (Jan 2017)

Stepping Theories of Active Logic with Two Kinds of Negation

  • Mikhail M. Vinkov,
  • Igor B. Fominykh

DOI
https://doi.org/10.15598/aeee.v15i1.1990
Journal volume & issue
Vol. 15, no. 1
pp. 84 – 92

Abstract

Read online

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.

Keywords