Implementation of a Plausible Reasoning in the Prolog Programming Language

被引：0

作者：

Efimova, E. A. ^{[1
]}

机构：

[1] Russian State Univ Humanities, Moscow, Russia

来源：

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS | 2023年 / 57卷 / 03期

关键词：

!text type='JS']JS[!/text]M-reasoning; plausible conclusion; Prolog; !text type='JS']JS[!/text]M METHOD;

D O I：

10.3103/S0005105523030068

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Features of the representation of a plausible reasoning in various implementations of the logical programming language Prolog are considered. A number of computer applications developed in Prolog are described, which contain examples of practical use of the JSM method of automatic research support.

引用

页码：166 / 171

页数：6

共 16 条

[1]

[Anonymous], 2001, NAUCHN TEKHN INFORM

[2]

[Anonymous], 1978, Pures at Appl

[3] The JS']JSM Method: A Set-Theoretical Explanation [J].

Anshakov, O. M. .

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2012, 46 (05) :202-220

[4] Analysis of Results of JS']JSM Reasoning Applied to Covid-19 Testees' Data [J].

Efimova, E. A. .

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2022, 56 (06) :285-294

[5]

Efimova E.A., 2006, PROC 1 VISUAL PROLOG

[6]

Efimova E.A., 2022, NAUCHN TEKHN INFOR 2, P7, DOI [10.36535/0548-0027-2022-09-2, DOI 10.36535/0548-0027-2022-09-2]

[7]

Efimova E.A., 2008, PROC 2 VISUAL PROLOG

[8] JS']JSM Reasoning and Knowledge Discovery: Ampliative Reasoning, Causality Recognition, and Three Kinds of Completeness [J].

Finn, V. K. .

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2022, 56 (02) :79-110

[9] The Heuristics of Detection of Empirical Regularities by JS']JSM Reasoning [J].

Finn, V. K. ;

Shesternikova, O. P. .

AUTOMATIC DOCUMENTATION AND MATHEMATICAL LINGUISTICS, 2018, 52 (05) :215-247

[10]

Finn V.K., 2023, Artificial Intelligence: Methodology, Applications, Philosophy, V2nd

← 1 2 →