About Creating Intelligence Systems in Ternary Logic

I. A. Bessmertny, S. V. Eliseev, A. V. Nevidimov

2012

Abstract

Rule based intelligent systems traditionally use binary or fuzzy logic. Binary logic by implications causes contradictions as far as the knowledge base grows, and the bottlenecks of fuzzy logic are fuzzification/defuzzification processes and computational complexity of inference. A common problem of all information systems is vulnerability to missing data that can yield wrong results. The paper shows the opportunity and expediency of creating intelligent systems with the rule-based model of knowledge in ternary logic basis operating with states “true, false, possible”. Intelligent systems based on ternary logic allow recognition of a contradiction by the presence in the knowledge base of both the fact and its negation. Inference from ternary rules not only derives facts by a query but also reveals what facts are missing for the goal be true. This feature could help to solve the problem of basic level facts that seem to be obvious for a person but are not presented in the knowledge base. The paper contains examples of Prolog rules for conversion of binary knowledge bases to ternary ones and some rules for manipulating with ternary facts.

Paper Citation

in Harvard Style

A. Bessmertny I., V. Eliseev S. and V. Nevidimov A. (2012). About Creating Intelligence Systems in Ternary Logic . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012) ISBN 978-989-8565-30-3, pages 161-165. DOI: 10.5220/0004109101610165

in Bibtex Style

@conference{keod12,
author={I. A. Bessmertny and S. V. Eliseev and A. V. Nevidimov},
title={About Creating Intelligence Systems in Ternary Logic},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)},
year={2012},
pages={161-165},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004109101610165},
isbn={978-989-8565-30-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)
TI - About Creating Intelligence Systems in Ternary Logic
SN - 978-989-8565-30-3
AU - A. Bessmertny I.
AU - V. Eliseev S.
AU - V. Nevidimov A.
PY - 2012
SP - 161
EP - 165
DO - 10.5220/0004109101610165