loading
Papers Papers/2022 Papers Papers/2022

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

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 ba se. 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)

CC BY-NC-ND 4.0

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.17.184.90

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 (IC3K 2012) - KEOD; ISBN 978-989-8565-30-3; ISSN 2184-3228, SciTePress, 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 (IC3K 2012) - KEOD},
year={2012},
pages={161-165},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004109101610165},
isbn={978-989-8565-30-3},
issn={2184-3228},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic