Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach

Research output

Abstract

The paper is the answer to the question posed to the author during a report at the CSIT-2017 conference: whether it is possible to change a logic-predicate network so that not only objects with descriptions from the training set are recognized, but also differ slightly from them. The notion of partial sequence of a predicate formula, introduced by the author earlier, makes it possible to change the content of network cells so that the degree of similarity of a recognizable object fragment to fragments of objects from the training set, and then the degree of certainty that the object belongs to a given class, are calculated. A brief description of the logic-predicate approach to AI problems, the information about a logic-predicate network, the notion of partial sequence are presented in the paper.
Original languageEnglish
Title of host publicationProceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019)
Place of PublicationYerevan
PublisherNational Academy of Sciences of the Republic of Armenia
Pages102-105
ISBN (Print)9789939109985
Publication statusPublished - Sep 2019
EventComputer Science and Information Technlogies - Ереван
Duration: 23 Sep 201927 Sep 2019

Conference

ConferenceComputer Science and Information Technlogies
Abbreviated titleCSIT 2019
CountryArmenia
CityЕреван
Period23/09/1927/09/19

Fingerprint

Predicate Logic
Rough
Partial
Fragment
Predicate
Framework
Object
Cell
Training

Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Cite this

Kosovskaya, T. (2019). Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach. In Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019) (pp. 102-105). Yerevan: National Academy of Sciences of the Republic of Armenia.
Kosovskaya, Tatiana . / Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach. Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019). Yerevan : National Academy of Sciences of the Republic of Armenia, 2019. pp. 102-105
@inproceedings{3c29bbc9b2e84cf8b12fbaf0cd17c497,
title = "Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach",
abstract = "The paper is the answer to the question posed to the author during a report at the CSIT-2017 conference: whether it is possible to change a logic-predicate network so that not only objects with descriptions from the training set are recognized, but also differ slightly from them. The notion of partial sequence of a predicate formula, introduced by the author earlier, makes it possible to change the content of network cells so that the degree of similarity of a recognizable object fragment to fragments of objects from the training set, and then the degree of certainty that the object belongs to a given class, are calculated. A brief description of the logic-predicate approach to AI problems, the information about a logic-predicate network, the notion of partial sequence are presented in the paper.",
keywords = "predicate calculus, logic-predicate approach to AI, level description, predicate network, partial sequence.",
author = "Tatiana Kosovskaya",
year = "2019",
month = "9",
language = "English",
isbn = "9789939109985",
pages = "102--105",
booktitle = "Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019)",
publisher = "National Academy of Sciences of the Republic of Armenia",
address = "Armenia",

}

Kosovskaya, T 2019, Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach. in Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019). National Academy of Sciences of the Republic of Armenia, Yerevan, pp. 102-105, Ереван, 23/09/19.

Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach. / Kosovskaya, Tatiana .

Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019). Yerevan : National Academy of Sciences of the Republic of Armenia, 2019. p. 102-105.

Research output

TY - GEN

T1 - Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach

AU - Kosovskaya, Tatiana

PY - 2019/9

Y1 - 2019/9

N2 - The paper is the answer to the question posed to the author during a report at the CSIT-2017 conference: whether it is possible to change a logic-predicate network so that not only objects with descriptions from the training set are recognized, but also differ slightly from them. The notion of partial sequence of a predicate formula, introduced by the author earlier, makes it possible to change the content of network cells so that the degree of similarity of a recognizable object fragment to fragments of objects from the training set, and then the degree of certainty that the object belongs to a given class, are calculated. A brief description of the logic-predicate approach to AI problems, the information about a logic-predicate network, the notion of partial sequence are presented in the paper.

AB - The paper is the answer to the question posed to the author during a report at the CSIT-2017 conference: whether it is possible to change a logic-predicate network so that not only objects with descriptions from the training set are recognized, but also differ slightly from them. The notion of partial sequence of a predicate formula, introduced by the author earlier, makes it possible to change the content of network cells so that the degree of similarity of a recognizable object fragment to fragments of objects from the training set, and then the degree of certainty that the object belongs to a given class, are calculated. A brief description of the logic-predicate approach to AI problems, the information about a logic-predicate network, the notion of partial sequence are presented in the paper.

KW - predicate calculus

KW - logic-predicate approach to AI

KW - level description

KW - predicate network

KW - partial sequence.

UR - https://csit.am/2019/proceedings.php

UR - https://csit.am/2019/proceedings/DMCA/DMCA5.pdf

M3 - Conference contribution

SN - 9789939109985

SP - 102

EP - 105

BT - Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019)

PB - National Academy of Sciences of the Republic of Armenia

CY - Yerevan

ER -

Kosovskaya T. Implementation of Formula Partial Sequence for Rough Solution of AI Problems in the Framework of the Logic-Predicate Approach. In Proceedings of 12th Conference Computer Science and Information Technlogies (CSIT 2019). Yerevan: National Academy of Sciences of the Republic of Armenia. 2019. p. 102-105