Zobrazit minimální záznam

dc.contributor.authorVinkov, Mikhail M
dc.contributor.authorFominykh, Igor B.
dc.date.accessioned2017-05-31T07:49:42Z
dc.date.available2017-05-31T07:49:42Z
dc.date.issued2017
dc.identifier.citationAdvances in electrical and electronic engineering. 2017, vol. 15, no. 1, s. 84-92 : il.cs
dc.identifier.issn1336-1376
dc.identifier.issn1804-3119
dc.identifier.urihttp://hdl.handle.net/10084/117105
dc.description.abstractThis 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.cs
dc.formats. 84-92 : il.cs
dc.languageNeuvedenocs
dc.language.isoencs
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.relation.ispartofseriesAdvances in electrical and electronic engineeringcs
dc.relation.urihttp://dx.doi.org/10.15598/aeee.v15i1.1990
dc.rights© Vysoká škola báňská - Technická univerzita Ostrava
dc.rights© Vysoká škola báňská - Technická univerzita Ostrava
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/
dc.subjectaI systemscs
dc.subjectlogical negationcs
dc.subjectsubjective negationcs
dc.titleStepping theories of active logic with two kinds of negationcs
dc.typearticlecs
dc.identifier.doi10.15598/aeee.v15i1.1990
dc.rights.accessopenAccess
dc.type.versionpublishedVersion
dc.type.statusPeer-reviewed


Soubory tohoto záznamu

Tento záznam se objevuje v následujících kolekcích

Zobrazit minimální záznam

© Vysoká škola báňská - Technická univerzita Ostrava
Kromě případů, kde je uvedeno jinak, licence tohoto záznamu je © Vysoká škola báňská - Technická univerzita Ostrava