loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: I. A. Bessmertny ; S. V. Eliseev and A. V. Nevidimov

Affiliation: St. Petersburg National Research University of Information Technologies, Russian Federation

ISBN: 978-989-8565-30-3

Keyword(s): Intelligent Systems, Prolog, Ternary Logic.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Acquisition ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Process Knowledge and Semantic Services ; Symbolic Systems

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 bas e. The paper contains examples of Prolog rules for conversion of binary knowledge bases to ternary ones and some rules for manipulating with ternary facts. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.85.143.239

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.