Stepping Theories of Active Logic with Two Kinds of Negation

Autor:	Mikhail M. Vinkov, Igor B. Fominykh
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	ai systems logical negation subjective negation. Electrical engineering. Electronics. Nuclear engineering TK1-9971
Zdroj:	Advances in Electrical and Electronic Engineering, Vol 15, Iss 1, Pp 84-92 (2017)
Druh dokumentu:	article
ISSN:	1336-1376 1804-3119
DOI:	10.15598/aeee.v15i1.1990
Popis:	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.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/06e48bc252e0494b884798b3e8116702 Zobrazit plný text záznamu View record in DOAJ