Advertisement

Automation and Remote Control

, Volume 62, Issue 10, pp 1620–1631 | Cite as

A Fast Consequence Recognition Algorithm for Monadic Logical Programs

  • M. I. Kratko
  • G. S. Plechevich
Article
  • 17 Downloads

Abstract

A fast algorithm is designed for detecting in linear time whether a given literal expression is a consequence of a monadic logical program, i.e., a program that only includes only single-place symbols of predicates and functions. It can be used for recognizing admissible controls if knowledge about objectives and actions of a system are represented by the monadic program.

Keywords

Mechanical Engineer System Theory Logical Program Linear Time Fast Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. 1.
    Kowalski, R., Logic for Problem Solving, New York: Elsevier, 1979. Translated under the title Logika v reshenii problem, Moscow: Nauka, 1990.Google Scholar
  2. 2.
    Kratko, M.I., A Class of Post Calculuses, Dokl. Akad. Nauk SSSR, 1965, vol. 165, no. 5, pp. 994–995.Google Scholar
  3. 3.
    Kratko, M.I., Formal Post Calculus, Prob. Kibern., 1966, issue 17, pp. 41–65.Google Scholar
  4. 4.
    Post, E., Formal Reduction of General Combinatorial Decision Problems, Am. J. Math., 1943, vol. 65, no. 2, pp. 197–215.Google Scholar
  5. 5.
    Smullyan, R., Theory of Formal Systems, Princeton: Princeton Univ. Press, 1961.Google Scholar
  6. 6.
    Trakhtenbrot, B.A. and Barzdon, Ya.M., Konechnye avtomaty: povedenie i sintez (Finite Automata: Behavior and Design), Moscow: Nauka, 1979.Google Scholar
  7. 7.
    Buchi, J.R., Regular Canonical Systems, Arch. Math. Logic Grundlagenforschung, 1964, vol. 6, pp. 3–4.Google Scholar

Copyright information

© MAIK “Nauka/Interperiodica” 2001

Authors and Affiliations

  • M. I. Kratko
    • 1
  • G. S. Plechevich
    • 2
  1. 1.Volynsk State UniversityLutskUkraine
  2. 2.Aviation Engineering Institute (Tsiolkovskii University of Technology)MoscowRussia

Personalised recommendations