Advertisement

Representing Logical Inference Steps with Digital Circuits

  • Erika Matsak
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5618)

Abstract

The use of inference steps in natural language reasoning is observed. An algorithm is presented for representing logically correct inference steps with digital circuits. New foundations for creating decision making systems are studied.

Keywords

Logical inference steps logic gates digital circuits representing logical inference steps 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chang, C., Lee, R.: Symbolic logic and mechanical theorem proving. Academic Press, New York (1973)zbMATHGoogle Scholar
  2. 2.
    Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)CrossRefzbMATHGoogle Scholar
  3. 3.
    Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112, 493–565 (1936)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Kim, D., Lee, J.: Rule Reduction over Numerical Attributes in Decision Trees Using Multilayer Perceptron. In: Cheung, D., Williams, G.J., Li, Q. (eds.) PAKDD 2001. LNCS, vol. 2035, p. 538. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  5. 5.
    Kunz, W., Stoffel, D.: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testin Techniques. Kluwer Academic Publishers, Dordrecht (1997)CrossRefzbMATHGoogle Scholar
  6. 6.
    Lorents, P.: Language and logic. EBS Print, Tallinn (2000)Google Scholar
  7. 7.
    Lorents, P.: Formalization of data and knowledge based on the fundamental notation-denotation relation. In: Proceedings of the International Conference on Artificial Intelligence, ICAI 2001, vol. III, pp. 1297–1301 (2001)Google Scholar
  8. 8.
    Lorents, P.: Knowledge and understanding. In: Proceedings of the International Conference on Artificial Intelligence, ICAI 2004, vol. I, pp. 333–337 (2004)Google Scholar
  9. 9.
    Lorents, P.: Taxonomy of intellect. In: Proceedings of the International Conference on Artificial Intelligence, ICAI 2008, vol. II, pp. 537–544 (2008)Google Scholar
  10. 10.
    Matsak, E.: Dialogue system for extracting Logic constructions in natural language texts. In: Proceedings of the International Conference on Artificial Intelligence, ICAI 2005, vol. II, pp. 791–797 (2005)Google Scholar
  11. 11.
    Matsak, E.: Using Natural Language Dialog System DST for Discovery of Logical Constructions of Children’s Speech. In: The 2006 International Conference on Artificial Intelligence, ICAI 2006, Las Vegas, Nevada, USA (2006)Google Scholar
  12. 12.
    Matsak, E.: System DST for Transforming Natural Language Texts, Representing Estimates and Higher Order Predicates and Functionals. In: The 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA 2006, Orlando, Florida, USA (2006)Google Scholar
  13. 13.
    Matsak, E.: The prototype of system for discovering of inference rules. In: Proceedings of the International Conference on Artificial Intelligence. International Conference on Artificial Intelligence, ICAI 2007, vol. II, pp. 489–492 (2007)Google Scholar
  14. 14.
    Matsak, E.: Improved version of the Natural Language Dialog System DST and its application for discovery of logical constructions in children’s speech. In: International Conference on Artificial Intelligence, ICAI 2008, vol. I, pp. 332–338 (2008)Google Scholar
  15. 15.
    Minsky, M.: Finite and Infinite machines. Prentice-Hall, Inc., Englewood Cliffs (1967)zbMATHGoogle Scholar
  16. 16.
    Mints, G., Tyugu, E.: Justification of the structural synthesis of programs. Science of computer programming 2(3), 215–240 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Mints, G., Tyugu, E.: The programming system PRIZ. Journal of Symbolic Computation (4) (1987)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Erika Matsak
    • 1
    • 2
  1. 1.Department of Computer ScienceTallinn UniversityTallinnEstonia
  2. 2.Department of Computer EngineeringTallinn University of TechnologyTallinnEstonia

Personalised recommendations