Menu
Home
Contact us
Stats
Categories
Calendar
Toggle Wiki
Wiki Home
Last Changes
Rankings
List pages
Orphan pages
Sandbox
Print
Toggle Image Galleries
Galleries
Rankings
Toggle Articles
Articles home
List articles
Rankings
Toggle Blogs
List blogs
Rankings
Toggle Forums
List forums
Rankings
Toggle File Galleries
List galleries
Rankings
Toggle Maps
Mapfiles
Toggle Surveys
List surveys
Stats
ITHEA Classification Structure > I. Computing Methodologies  > I.2 ARTIFICIAL INTELLIGENCE  > I.2.7 Natural Language Processing 
ALGEBRA LOGIC APPROACH TO PERSON’S THINKING MECHANISMS FORMALIZATION
By: Olga Kalinichenko (4347 reads)
Rating: (1.00/10)

Abstract: It is known, that person’s thinking is inaccessible to studying by direct physical and psychological methods. In this case it is necessary to have indirect ones. Computers do not understand the psychological description and formalization of thinking mechanisms. Algebra logic analysis of natural language and person’s thinking plays an important role for development of logic mathematics and its applications in artificial intelligence. Only axiomatic method works in this situation. On the basis of axioms’ system we can propose an approach that helps to investigate the structure and properties of objects. The main problem of formal studying of a natural language is shortage of the mathematical apparatus. The axiomatic description of logic mathematics' objects requires preliminary realization of constructive logical tools, which subsequently become a subject of the axiomatic analysis. The paper is devoted the algebra of ideas to axiomatic construction. The carrier of this algebra is naturally interpreted as the set of intelligence ideas (thoughts, concepts and, in general, any subjective conditions of the person). There are devised some methods for application of proposed formal apparatus. Simultaneously with algebra of ideas formal introducing there is considered its intentional interpretation.

Keywords: a predicate, algebra of ideas, artificial intelligence, Cartesian set, algebra of predicates, algebra of single k-dimentional first order predicates.

ACM Classification Keywords: I.2 Artificial intelligence - Natural Language Processing

ALGEBRA LOGIC APPROACH TO PERSON’S THINKING MECHANISMS FORMALIZATION

Olga Kalinichenko

http://foibg.com/ibs_isc/ibs-13/ibs-13-p10.pdf

Print
I.2.7 Natural Language Processing
article: SYNTACTIC OPERATIONS – MODELING LANGUAGE FACULTY · ON MENTAL REPRESENTATIONS: LANGUAGE STRUCTURE AND MEANING REVISED · IMPROVING AUTOMATIC SPEECH RECOGNITION ACCURACY BY MEANS OF PRONUNCIATION VARIAT · УНИВЕРСАЛЬНАЯ СИСТЕМА ПРОГРАММ МОРФОЛОГИЧЕСКОГО АНАЛИЗА НАУЧНО-ТЕХНИЧЕСКИХ ... · SPAM AND PHISHING DETECTION IN VARIOUS LANGUAGES · GRAMMATICAL PRIMING DOES FACILITATE VISUAL WORD NAMING, AT LEAST IN SERBIAN · MULTILINGUAL REDUCED N-GRAM MODELS · COGNITIVE MODEL OF TIME AND ANALYSIS OF NATURAL LANGUAGE TEXTS · IMPLEMENTATION OF DICTIONARY LOOKUP AUTOMATA FOR UNL ANALYSIS AND GENERATION · О МОДЕЛИРОВАНИИ ПОНИМАНИЯ · ФОРМАЛЬНОЕ ОПРЕДЕЛЕНИЕ СИТУАЦИИ ДЛЯ СЕМАНТ · THE EDUCATIONAL TECHNOLOGY FOR LEARNING FOREIGN WORDS · PARAMETERIZATION OF COMMENTS FROM PERUVIAN FACEBOOK AND TWITTER... · THE STUDY OF FACTORS RELADED WITH SINGLE-DOCUMENT KEYWORD EXTRACTION · AUTOMATED TAG EXTRACTION & CLUSTERING IN DOCUMENTS CONTAINING COMPOSITIONAL ... · STUDYING SPECIAL TEXT RUSSIAN CORPORA BY THE LEXICO-SYNTACTIC MODELS · STUDYING SPECIAL TEXT RUSSIAN CORPORA BY THE LEXICO-SYNTACTIC MODELS · CLASSIFICATION OF PRIMARY MEDICAL RECORDS WITH RUBRYX-2: FIRST EXPERIENCE · MACHINE TRANSLATION IN THE COURSE “COMPUTER TECHNOLOGIES IN LINGUISTICS” .. · CLASSIFICATION OF FREE TEXT CLINICAL NARRATIVES (SHORT REVIEW) · METHODS AND TOOLS OF COMPUTATIONAL LINGUISTICS FOR THE CLASSIFICATION ... · LEXISTERM – THE PROGRAM FOR TERM SELECTION BY THE CRITERION OF SPECIFICITY · ELECTION DATA VISUALIZATION · COMPUTER SUPPORT OF SEMANTIC TEXT ANALYSIS OF A TECHNICAL SPECIFICATION ON ... · MOBILE ELECTION · MOBILE SEARCH AND ADVERTISING · ALGEBRA LOGIC APPROACH TO PERSON’S THINKING MECHANISMS FORMALIZATION · COMPUTER SUPPORT OF SEMANTIC TEXT ANALYSIS OF A TECHNICAL SPECIFICATION ON DESIG · LSPL-PATTERNS AS A TOOL FOR INFORMATION EXTRACTION FROM NATURAL LANGUAGE TEXTS · NUMERIC-LINGUAL DISTINGUISHING FEATURES OF SCIENTIFIC DOCUMENTS · HIERARCHICAL THREE-LEVEL ONTOLOGY FOR TEXT PROCESSING · HIERARCHICAL THREE-LEVEL ONTOLOGY FOR TEXT PROCESSING · COMPUTER-AIDED SYSTEM OF SEMANTIC TEXT ANALYSIS ... · METHODOLOGY FOR LANGUAGE ANALYSIS AND GENERATION ... · ANALYSIS AND COORDINATION OF EXPERT STATEMENTS IN THE PROBLEMS ... · SEMANTIC SEARCH OF INTERNET INFORMATION RESOURCES ON BASE OF ONTOLOGIES ... · INTELLIGENT SEARCH AND AUTOMATIC DOCUMENT CLASSIFICATION AND CATALOGING ... · VERBAL DIALOGUE VERSUS WRITTEN DIALOGUE · INFORMATION PROCESSING IN A COGNITIVE MODEL OF NLP · EXPERIMENTS IN DETECTION AND CORRECTION OF RUSSIAN MALAPROPISMS BY MEANS ... · COMMON SCIENTIFIC LEXICON FOR AUTOMATIC DISCOURSE ANALYSIS OF SCIENTIFIC ... ·
Login
[ register | I forgot my password ]
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.08 secs ]   [ Memory usage: 7.59MB ]   [ GZIP Disabled ]   [ Server load: 0.42 ]
Powered by Tikiwiki CMS/Groupware