Skip to main content
SpringerLink
Log in

Logical knowledge-representation formalisms

  • Cybernetics
  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

The resolution-like graph grammar is described and solvability of the extended Ackermann class is proved.

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

Literature Cited

  1. Yu. N. Kur'erov, "On solvability of one Ackermann class. Logic and mathematical foundations," in: Abstracts of papers at 8th All-Union Conf. on Logic and Methodology of Science [in Russian], Vil'nyus (1982), pp. 49–53.

  2. Yu. N. Kur'erov, "On embedding of one Ackermann class in a graph grammer," Matem. Logika Ee Primen., No. 4, 89–99 (1985).

    Google Scholar 

  3. J. A. Robinson, "A machine-oriented logic based on the resolution principle," J. ACM,12, No. 1, 23–41 (1965).

    Google Scholar 

  4. Yu. N. Kur'erov, "On solvability by derivability of the ∀∃∧∀*∃* Ackermann class," in: Abstracts of papers at 8th All-Union Conf. on Mathematical Logic [in Russian], Nauka, Moscow (1986).

    Google Scholar 

  5. W. Ackermann, "Beitrage zum Entscheidungsproblem der mathematischen Logik," Mathem. Ann.,112, No. 3, 419–432 (1936).

    Google Scholar 

  6. S. O. Aanderaa, "On the solvability of the extended ∀∃∧∀*∃* Ackermann class with identity," Lect. Notes Comput. Sci.,171, 270–284 (1984).

    Google Scholar 

  7. V. N. Vagin and D. A. Pospelov, "Solution derivation methods in expert systems," in: Expert System Development Technology, Abstracts of papers at Republican School-Seminar [in Russian], Kishenev (1987), pp. 27–34.

  8. Yu. N. Kur'erov, "On conditional satisfiability," in: Abstracts of papers at 1st All-Russian School on Foundations of Mathematics and Theory of Functions, Mathematical Papers in Memory of M. Ya. Suslin [in Russian], Saratov (1989), p. 70.

Download references

Authors
  1. Yu. I. Kur'erov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 60–69, March–April, 1992.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kur'erov, Y.I. Logical knowledge-representation formalisms. Cybern Syst Anal 28, 211–218 (1992). https://doi.org/10.1007/BF01126207

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01126207

Keywords

Search

Navigation