Programming and Computer Software

, Volume 40, Issue 1, pp 43–46 | Cite as

On constructing intellectual systems in ternary logic

Article

Abstract

The paper shows that it is possible to develop an intelligent system on a production knowledge model using three-valued logic, which operates with the states “truth, false, possible”. A method is proposed for constructing intelligent systems that are free from contradictions and are capable of not only extracting facts but also explaining what facts are needed to achieve the goal. Examples of ternary Prolog rules are given.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Lukasiewicz, J. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Oxford, England, 1951.MATHGoogle Scholar
  2. 2.
    Carroll, L., Symbolic Logic, London, Macmillan, 1896.Google Scholar
  3. 3.
    Brusentsov, N. P., Ischerpyvayuschee reshenie odnoj “neodolimoj” problemy paradoksov (Exhausting Solution of One “Intractable” Paradox Problem), Moscow, Fond Novoe Tysyacheletie, 2008.Google Scholar
  4. 4.
    Bessmertny, I.A., Intellektual’nye sistemy na produktsionnoy modeli znaniy (Intellectual Systems on a Production Knowledge Model), LAP Lambert Academic, 2012.Google Scholar
  5. 5.
    Sorace, J.M., Berman, J.J., Carnahan, G.E., and Moore, G.W., PRELOG: precedence logic inference software for blood donor deferral, Proc. Ann. Symp. Comput. Appl. Med. Care, 1991, pp. 976–977.Google Scholar
  6. 6.
    Bessmertny, I.A., The semantic web and artificial intelligence, Nauchn.-Tekhn. Vestn. SPGUITMO, 2009, vol. 64, no. 6, pp. 77–83.Google Scholar
  7. 7.
    Bessmertny, I.A., Knowledge visualization based on semantic networks, Programming Comput. Software, 2010, vol. 36, no. 4, pp. 197–204.CrossRefGoogle Scholar
  8. 8.
    Katerinenko, R. S. and Bessmertny, I. A., A method for acceleration of logical inference in the production knowledge model, Programming Comput. Software, 2011, vol. 37, no. 4, pp. 197–199.CrossRefGoogle Scholar
  9. 9.
    Bessmertny, I.A., Fast inference technique in visual Prolog programming environment, Nauchn.-Tekhn. Vestn. SPGUITMO, 2010, vol. 67, no. 3, pp. 50–56.Google Scholar

Copyright information

© Pleiades Publishing, Ltd. 2014

Authors and Affiliations

  1. 1.St. Petersburg National Research University of Information Technologies, Mechanics, and OpticsSt. PetersburgRussia

Personalised recommendations