Automatic Documentation and Mathematical Linguistics 

About: Automatic Documentation and Mathematical Linguistics is an academic journal published by Springer Science+Business Media. The journal publishes majorly in the area(s): Information system & Ontology (information science). It has an ISSN identifier of 0005-1055. Over the lifetime, 501 publications have been published receiving 1348 citations.

The synthesis of cognitive procedures and the problem of induction

Abstract: The JSM-method of automated hypotheses generation realizing the automated plausible reasoning in Intelligent Systems is described. It is shown that the method represents specially organized interaction of induction, analogy and abduction. The foundations of exact epistemology for JSM- Intelligent Systems are formulated.

Distributive lattices of inductive JSM procedures

Abstract: In this article we consider the set of M-predicates used for the formalization of J.S. Mill's inductive methods of agreement, of difference, of agreement and difference, of residue, of concomitant variations, and of their strengthenings by the ban on counterexamples. Two partial orders on this set are considered using relations of logical deducibility and inclusion of sets of hypotheses generated. It is established that these partially ordered sets of M-predicates form distributive lattices. Products of these distributive lattices form the set of possible strategies of plausible JSM-reasoning (they represent rules of unductive inference).

A method for evaluating modern systems of automatic text summarization

Abstract: Four modern systems of automatic text summarization are tested on the basis of a model vocabulary composed by subjects. Distribution of terms of the vocabulary in the source text is compared with their distribution in summaries of different length generated by the systems. Principles for evaluation of the efficiency of the current systems of automatic text summarization are described.

Epistemological foundations of the JSM method for automatic hypothesis generation

Abstract: This article consists of two parts. Part I considers the so-called problem of induction, viz., the history of its genesis and elaboration, and formulates the main principles and logical tools of the JSM method for automatic hypothesis generation, including JSM reasoning. JSM reasoning is demonstrated to be a synthesis of three cognitive procedures: induction, analogy, and abduction. Two possible kinds of abduction are considered. Part I focuses on formal tools to be used for the solution of the natural-scientific problem of induction. Part II formulates the procedural semantics for predicates that are used to formalize JSM reasoning, considers quasi-axiomatic (open) theories used to represent knowledge in intelligent systems, determines the means for assessing the quality of JSM-reasoning results, and, finally, suggests a solution of the naturalscientific problem of induction for intelligent systems. Part I was published in the journal Nauchno-Tekhnicheskaya Informatsiya, ser. 2, 2013, no. 9, pp. 1---29. Part II was published in the journal Nauchno-Tekhnicheskaya Informatsiya, ser. 2, 2013, no. 12, pp. 1---26.

The ontological approach to the identification of information in tasks of document retrieval

Abstract: An approach to the definition of an ontology and a set of operations as an instrument of the formation and quantitatively estimated correlation of identifying images of objects of the subject area in a dialectical relationship of objective, conceptual, and symbolic spaces is proposed. Ontological representation of the image of the object in an computing environment corresponds to an object-oriented approach and includes not only property but also behavior. In practice, this approach will automate dynamic reformulation and correlating the retrieval images of query and documents based on their reduction to a common conceptual and terminological context.