Influence of anomalous truth values on logical inference in VTF-logics as a basis for verification o...
Influence of anomalous truth values on logical inference in VTF-logics as a basis for verification of rule-based systems
About this item
Full title
Author / Creator
Publisher
Bristol: IOP Publishing
Journal title
Language
English
Formats
Publication information
Publisher
Bristol: IOP Publishing
Subjects
More information
Scope and Contents
Contents
The paper is devoted to the problem of expert systems knowledge bases verification. The methodological basis of verification is logics with vector semantics in the VTF-logics form. The knowledge model is a rule-based system. The issues of algorithmization of contradictions and other problems detection are considered in the paper. Algorithmization i...
Alternative Titles
Full title
Influence of anomalous truth values on logical inference in VTF-logics as a basis for verification of rule-based systems
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2535459692
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2535459692
Other Identifiers
ISSN
1757-8981
E-ISSN
1757-899X
DOI
10.1088/1757-899X/1151/1/012027
