Matches in SemOpenAlex for { <https://semopenalex.org/work/W4323864048> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4323864048 endingPage "28" @default.
- W4323864048 startingPage "10" @default.
- W4323864048 abstract "The work relates to the field of knowledge representation and algorithmization of their processing. To describe the subject of consideration by a set of statements and their processing, logical means of the first order type are used. Unlike the well-known achievements in the field of automatic proof (AP) in formal axiomatic theories, the automatic text synthesis of statements is complicated by the poor formalizability of the value of knowledge concept contained in the text. Based on the development of the calculus of positively-formed standardized formulas (pfs-formulas) the possibilities of analysis automation of the description of the subject matter and interactive generation of meaningful statements to improve this description are investigated. The proposed method of interactive knowledge generation integrates the ca-pabilities of AP with algorithmized human-machine synthesis of new knowledge texts. AP in the calculus of pfs-formulas helps a person not only in the analysis of properties, but also in the choice of the required properties of the description of the subject matter. When the absence of a property desirable for a person in the analyzed knowledge is revealed by means of AP, the hypotheses is formed that logically guarantees the presence of the required property. Variants of hypotheses are automatically synthesized in a preliminary form, which are then refined interactively to im-prove the content of the generated text of new knowledge. The rules of synthesis are justified. Their application contin-ues the inference in situations of inapplicability of the basic rule of inference in the calculus of pfs-formulas. The extension of calculus by the rules of synthesis transforms it as a first-order calculus of the deductive type into a means of deductive-abductive inference, which differs from the known works using abduction by the absence of a number of restrictions. Illustrative examples demonstrate the representation, analysis and generation of knowledge. These examples also show in interactive knowledge processing the importance of visualization of the processed text, provided by the large-block structure of pfs-formulas constructed from typical quantifiers. In conclusion, the results of the paper and possible directions for the development of the results are formulated." @default.
- W4323864048 created "2023-03-11" @default.
- W4323864048 creator A5053465717 @default.
- W4323864048 date "2023-03-07" @default.
- W4323864048 modified "2023-10-01" @default.
- W4323864048 title "Interactive generation of new knowledge based on automatic means of logical inference" @default.
- W4323864048 doi "https://doi.org/10.18287/2223-9537-2023-13-1-10-28" @default.
- W4323864048 hasPublicationYear "2023" @default.
- W4323864048 type Work @default.
- W4323864048 citedByCount "0" @default.
- W4323864048 crossrefType "journal-article" @default.
- W4323864048 hasAuthorship W4323864048A5053465717 @default.
- W4323864048 hasBestOaLocation W43238640481 @default.
- W4323864048 hasConcept C111472728 @default.
- W4323864048 hasConcept C138885662 @default.
- W4323864048 hasConcept C154945302 @default.
- W4323864048 hasConcept C161191863 @default.
- W4323864048 hasConcept C161301231 @default.
- W4323864048 hasConcept C167729594 @default.
- W4323864048 hasConcept C177264268 @default.
- W4323864048 hasConcept C17744445 @default.
- W4323864048 hasConcept C189950617 @default.
- W4323864048 hasConcept C199343813 @default.
- W4323864048 hasConcept C199360897 @default.
- W4323864048 hasConcept C199539241 @default.
- W4323864048 hasConcept C202444582 @default.
- W4323864048 hasConcept C2524010 @default.
- W4323864048 hasConcept C2776214188 @default.
- W4323864048 hasConcept C2776359362 @default.
- W4323864048 hasConcept C2777686260 @default.
- W4323864048 hasConcept C2777855551 @default.
- W4323864048 hasConcept C33923547 @default.
- W4323864048 hasConcept C3746660 @default.
- W4323864048 hasConcept C41008148 @default.
- W4323864048 hasConcept C71924100 @default.
- W4323864048 hasConcept C80444323 @default.
- W4323864048 hasConcept C94625758 @default.
- W4323864048 hasConcept C9652623 @default.
- W4323864048 hasConceptScore W4323864048C111472728 @default.
- W4323864048 hasConceptScore W4323864048C138885662 @default.
- W4323864048 hasConceptScore W4323864048C154945302 @default.
- W4323864048 hasConceptScore W4323864048C161191863 @default.
- W4323864048 hasConceptScore W4323864048C161301231 @default.
- W4323864048 hasConceptScore W4323864048C167729594 @default.
- W4323864048 hasConceptScore W4323864048C177264268 @default.
- W4323864048 hasConceptScore W4323864048C17744445 @default.
- W4323864048 hasConceptScore W4323864048C189950617 @default.
- W4323864048 hasConceptScore W4323864048C199343813 @default.
- W4323864048 hasConceptScore W4323864048C199360897 @default.
- W4323864048 hasConceptScore W4323864048C199539241 @default.
- W4323864048 hasConceptScore W4323864048C202444582 @default.
- W4323864048 hasConceptScore W4323864048C2524010 @default.
- W4323864048 hasConceptScore W4323864048C2776214188 @default.
- W4323864048 hasConceptScore W4323864048C2776359362 @default.
- W4323864048 hasConceptScore W4323864048C2777686260 @default.
- W4323864048 hasConceptScore W4323864048C2777855551 @default.
- W4323864048 hasConceptScore W4323864048C33923547 @default.
- W4323864048 hasConceptScore W4323864048C3746660 @default.
- W4323864048 hasConceptScore W4323864048C41008148 @default.
- W4323864048 hasConceptScore W4323864048C71924100 @default.
- W4323864048 hasConceptScore W4323864048C80444323 @default.
- W4323864048 hasConceptScore W4323864048C94625758 @default.
- W4323864048 hasConceptScore W4323864048C9652623 @default.
- W4323864048 hasIssue "1" @default.
- W4323864048 hasLocation W43238640481 @default.
- W4323864048 hasOpenAccess W4323864048 @default.
- W4323864048 hasPrimaryLocation W43238640481 @default.
- W4323864048 hasRelatedWork W1524912660 @default.
- W4323864048 hasRelatedWork W2051408476 @default.
- W4323864048 hasRelatedWork W2068266569 @default.
- W4323864048 hasRelatedWork W2091355188 @default.
- W4323864048 hasRelatedWork W2111137949 @default.
- W4323864048 hasRelatedWork W2152878344 @default.
- W4323864048 hasRelatedWork W2166829200 @default.
- W4323864048 hasRelatedWork W2522558644 @default.
- W4323864048 hasRelatedWork W2616769016 @default.
- W4323864048 hasRelatedWork W3203330043 @default.
- W4323864048 hasVolume "13" @default.
- W4323864048 isParatext "false" @default.
- W4323864048 isRetracted "false" @default.
- W4323864048 workType "article" @default.