ПОСТРОЕНИЕ ОБУЧАЮЩЕГО СРЕДСТВА (НА ОСНОВЕ АЛГОРИТМА ПРОВЕРКИ ПРОТИВОРЕЧИВОСТИ МНОЖЕСТВА ДИЗЪЮНКТОВ)

ПОСТРОЕНИЕ ОБУЧАЮЩЕГО СРЕДСТВА (НА ОСНОВЕ АЛГОРИТМА ПРОВЕРКИ ПРОТИВОРЕЧИВОСТИ МНОЖЕСТВА ДИЗЪЮНКТОВ)

Рассмотрена реализация алгоритма проверки множества дизъюнктов. Используется автоматная грамматика для описания языка представления дизъюнктов, метод резолюции для проверки их противоречивости и поиск в глубину для автоматизации стратегии OL-опровержения. Данный алгоритм может применяться при автома...

Full description

Bibliographic Details
Main Authors:	Стась Андрей Николаевич, Карташов Денис Васильевич
Format:	Article
Language:	English
Published:	Tomsk State Pedagogical University 2017-01-01
Series:	Vestnik Tomskogo Gosudarstvennogo Pedagogičeskogo Universiteta
Subjects:	disjunct resolution method OL-denial strategy finite-state grammar depthfirst search дизъюнкт метод резолюции OL-опровержение автоматная грамматика поиск в глубину обучение логическим моделям представления знаний
Online Access:	http://vestnik.tspu.edu.ru/archive.html?year=2017&issue=12&article_id=6710

Similar Items

Confirmation of a Gametophytic Self-Incompatibility in Oryza longistaminata
by: Xiaoping Lian, et al.
Published: (2021-03-01)

MENGATASI HETEROSKEDASTISITAS PADA REGRESI DENGAN MENGGUNAKAN WEIGHTED LEAST SQUARE
by: PUTU AYU MAZIYYA, et al.
Published: (2015-01-01)

Kinetic Measurements of Cl Atom Reactions with C<sub>5</sub>–C<sub>8</sub> Unsaturated Alcohols
by: Asma Grira, et al.
Published: (2020-03-01)

Alumazene Reactivity with Quinolinols – Addition and Substitution Reactions on the Al3N3 Ring
by: Iva Kollhammerova, et al.
Published: (2018-12-01)

Wpływ stopnia izolacji kęp olsowych na aktywność i różnorodność epigeicznych bezkręgowców
by: Izabella Olejniczka, et al.
Published: (2011-09-01)

Photodynamic Therapy: The Imminent Milieu For Treating Oral Lesions
by: Neeta Mohanty, et al.
Published: (2013-06-01)

THE IMPACT OF MICRO ECONOMICS FACTORS ON FINANCIAL PERFORMANCE OF ISLAMIC BANKS IN INDONESIA
by: Agus Ahmad Nasrulloh
Published: (2018-07-01)

ANALISIS FAKTOR-FAKTOR YANG MEMPENGARUHI IMPOR BAWANG PUTIH DI INDONESIA TAHUN 1980-2012
by: fika marisa
Published: (2014-10-01)

DMSP-OLS Radiance Calibrated Nighttime Lights Time Series with Intercalibration
by: Feng-Chi Hsu, et al.
Published: (2015-02-01)

Application of DuPont decomposition to risks of ROA Index: Empirical evidence of Banks in Vietnam
by: Nguyễn Thành Hưng
Published: (2020-05-01)

Analysis of Competitiveness and Factors Affecting the Level of Potato Export to Singapore and Malaysia
by: Desi Nurfiana Fauziah, et al.
Published: (2021-03-01)

EFFECTS OF REMITTANCES ON POVERTY REDUCTION: THE CASE OF INDONESIA
by: Faiza Husnayeni Nahar, et al.
Published: (2017-09-01)

Trade Openness and Manufacturing Sector Performance in Some Selected West African Countries: A Panel Study Approach
by: Akintunde Temitope Sade, et al.
Published: (2021-06-01)

Review of Figh al-hadith on the narratives of interpreting Noor al-thaghalein based on Quranic evidences
by: Rahmat Allah Abdollahzadeh Arani, et al.
Published: (2016-04-01)

Viscosities of binary mixtures of toluene with butan-1-ol and 2-methylpropan-2-ol
by: Dumitrescu Vasile, et al.
Published: (2005-01-01)

Viscosities of binary mixtures of toluene with butan-1-ol and 2-methylpropan-2-ol
by: VASILE DUMITRESCU, et al.
Published: (2005-11-01)

Crystal structure of naltrexone chloride solvates with ethanol, propan-2-ol, and 2-methylpropan-2-ol
by: Aveary R. Menze, et al.
Published: (2017-07-01)

The Impact of Macroeconomic Indicator on Islamic Insurance Demand in Indonesia
by: Salahuddin El Ayyubi, et al.
Published: (2019-12-01)

STRUKTUR PERILAKU KINERJA DALAM PERSAINGAN INDUSTRI PAKAN TERNAK DI INDONESIA PERIODE TAHUN 1986–2010
by: Meutia Septiani, et al.
Published: (2015-02-01)

Avaliando Modelos Lineares de Value Relevance: Eles Captam o que Deveriam Captar?
by: Filipe Coelho de Lima Duarte, et al.
Published: (2017-04-01)

Indirect Inference Estimation of Spatial Autoregressions
by: Yong Bao, et al.
Published: (2020-09-01)

AN EMPIRICAL EXPLORATION OF CORPORATE ENTREPRENEURIAL ORIENTATION IN BIHOR COUNTY ROMANIA
by: Bucurean Mirela, et al.
Published: (2014-12-01)

ANALISIS KEMISKINAN DENGAN PENDEKATAN MODEL REGRESI SPASIAL DURBIN (Studi Kasus: Kabupaten Gianyar)
by: LUH PUTU SAFITRI PRATIWI, et al.
Published: (2013-08-01)

Hur tätt kommer barnen?
by: Svenson, Kristin, et al.
Published: (2010)

Partisipasi Tenaga Kerja Perempuan dalam Meningkatkan Pendapatan Keluarga
by: Putu Martini Dewi
Published: (2012-10-01)

Ölets verkliga beska
by: Linda, Ekeman
Published: (2014)

Optimal mineral taxation in Manitoba: an exploration of Monte Carlo simulation analysis
by: Verhaeghe, Joseph Rene Stephen
Published: (2014)

Testing the CAPM in Bosnia and Herzegovina with Continuously Compounded Returns
by: Zaimović Azra
Published: (2013-03-01)

SYSTEMATIC RISK ASSESMENT USING OLS METHOD - THE CASE OF THE CAPITAL MARKET OF BOSNIA AND HERZEGOVINA
by: Azra Zaimović
Published: (2012-05-01)

Algorithmes de calcul de positions GNSS basés sur les méthodes des moindres carrés avancées
by: Georges, George
Published: (2016)

Docking Characterization and in vitro Inhibitory Activity of Flavan-3-ols and Dimeric Proanthocyanidins Against the Main Protease Activity of SARS-Cov-2
by: Yue Zhu, et al.
Published: (2020-11-01)

A Near-Optimal Restricted Isometry Condition of Multiple Orthogonal Least Squares
by: Junhan Kim, et al.
Published: (2019-01-01)

Untersuchungen zur Hygiene in einem fischverarbeitenden Unternehmen mit besonderer Berücksichtigung des HAZARD ANALYSIS AND CRITICAL CONTROL POINT (HACCP) - Konzeptes
by: Miethig, Rainer
Published: (2004)

Densities and viscosities for binary mixtures of n-heptane with alcohols at different temperatures
by: Budeanu Maria Magdalena, et al.
Published: (2017-01-01)

The Impact of the Agriculture in Decreasing the Unemployment Rate
by: Ardi PARDUZI, et al.
Published: (2020-08-01)

Challenges and Vulnerabilities of Analysing Cybercrime Costs
by: JūratėKuklytė
Published: (2017-12-01)

Identifying and Correcting Signal Shift in DMSP-OLS Data
by: Konstantin Ash, et al.
Published: (2020-07-01)

Does Uncovered Interest Rate Parity Hold in Turkey?
by: Ozcan Karahan, et al.
Published: (2012-12-01)

OLS, LASSO dan PLS Pada data Mengandung Multikolinearitas
by: Yuliani Setia Dewi
Published: (2010-01-01)

Air quality index prediction using IDW geostatistical technique and OLS-based GIS technique in Kuala Lumpur, Malaysia
by: Huda Jamal Jumaah, et al.
Published: (2019-01-01)