About Creating Intelligence Systems in Ternary Logic

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

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.

References

  1. Coles, M. (2007) "Null Versus Null?". SQL Server Central (Red Gate Software), February 26.
  2. Lex de Haan and Gennick, J. (2005) "Nulls: Nothing to Worry About". Oracle Magazine, July-August.
  3. Lukasiewicz, J. (1957) Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press. 2nd Edition, enlarged. Reprinted by Garland Publishing in 1987. ISBN 0-8240-6924-2.
  4. Bessmertny, I. (2010) Knowledge Visualization Based on Semantic Networks. Programming and Computer Software. - M: Pleiades Publishing, Ltd. Distributed Worldwide by Springer. - Vol. 36. - N 4. - P. 197-204. - ISSN 0361-7688.
  5. Bessmertny I., Katerinenko R. (2011) Inference Acceleration in Production Model of Knowledge. Programming and Computer Software. - Vol. 42. - No. 4. - P. 197-199. - ISSN 0361-7688.
  6. Russell, S. and Norvig, P. (2010) Artificial Intelligence: A Modern Approach. Third Edition. - Prentice Hall.
  7. Xudong, L., Chunyan, M, Jennings, N., Minghua, H., Zhiqi, S., Minjie, Z. (2012) Kemnad: a Knowledge Engineering Methodology for Negotiating Agent Development. Computational Intelligence 28(1): 51- 105. http://eprints.soton.ac.uk/ 271758/1/Luo_CIpaper_fanal011210.pdf.
  8. Minghua, H., Rogers, A., Xudong, L., Jennings, N. (2006) Designing a successful trading agent for supply chain management. AAMAS: 1159-1166 http://eprints.soton.ac.uk/ 261967/ 1/TACSCM9.pdf.
  9. Xudong, L., Chengqi, Z., Jennings, N. (2002) A Hybrid Model for Sharing Information Between Fuzzy, Uncertain and Default Reasoning Models in Multiagent Systems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. No 10(4): p. 401 - http://eprints.soton.ac.uk/ 256876/1/ jufkbs.pdf.
  10. Xudong, L., Chengqi, Z., Jingqiu, C. (1997) The Weighting Issue in Fuzzy Logic. Informatica: An International Journal of Computing and Informatica, No. 21(2), pp. 255-262.
  11. Zadeh, L. (1965) “Fuzzy Sets”. Information and Control, No. 8, pp.338-353.
  12. ???????????, ?. (2012) ???????????????? ??????? ?? ????????????? ?????? ??????: ???????? ???????????? ??????????.: LAP LAMBERT Academic Publishing GmbH & Co. KG, ISBN 978-3- 8473-4142-0.
Download


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