Skip to main content
SpringerLink
Log in

On constructing intellectual systems in ternary logic

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Lukasiewicz, J. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Oxford, England, 1951.

    MATH  Google Scholar 

  2. Carroll, L., Symbolic Logic, London, Macmillan, 1896.

    Google Scholar 

  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. Bessmertny, I.A., Intellektual’nye sistemy na produktsionnoy modeli znaniy (Intellectual Systems on a Production Knowledge Model), LAP Lambert Academic, 2012.

    Google Scholar 

  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. Bessmertny, I.A., The semantic web and artificial intelligence, Nauchn.-Tekhn. Vestn. SPGUITMO, 2009, vol. 64, no. 6, pp. 77–83.

    Google Scholar 

  7. Bessmertny, I.A., Knowledge visualization based on semantic networks, Programming Comput. Software, 2010, vol. 36, no. 4, pp. 197–204.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. St. Petersburg National Research University of Information Technologies, Mechanics, and Optics, Kronverkskii pr. 49, St. Petersburg, 197101, Russia

    I. A. Bessmertny

Authors
  1. I. A. Bessmertny
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to I. A. Bessmertny.

Additional information

Original Russian Text © I.A. Bessmertny, 2014, published in Programmirovanie, 2014, Vol. 40, No. 1.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bessmertny, I.A. On constructing intellectual systems in ternary logic. Program Comput Soft 40, 43–46 (2014). https://doi.org/10.1134/S0361768814010022

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768814010022

Keywords

Search

Navigation