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.
Chapter PDF
Similar content being viewed by others
References
Chang, C., Lee, R.: Symbolic logic and mechanical theorem proving. Academic Press, New York (1973)
Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)
Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112, 493–565 (1936)
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)
Kunz, W., Stoffel, D.: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testin Techniques. Kluwer Academic Publishers, Dordrecht (1997)
Lorents, P.: Language and logic. EBS Print, Tallinn (2000)
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)
Lorents, P.: Knowledge and understanding. In: Proceedings of the International Conference on Artificial Intelligence, ICAI 2004, vol. I, pp. 333–337 (2004)
Lorents, P.: Taxonomy of intellect. In: Proceedings of the International Conference on Artificial Intelligence, ICAI 2008, vol. II, pp. 537–544 (2008)
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)
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)
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)
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)
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)
Minsky, M.: Finite and Infinite machines. Prentice-Hall, Inc., Englewood Cliffs (1967)
Mints, G., Tyugu, E.: Justification of the structural synthesis of programs. Science of computer programming 2(3), 215–240 (1982)
Mints, G., Tyugu, E.: The programming system PRIZ. Journal of Symbolic Computation (4) (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Matsak, E. (2009). Representing Logical Inference Steps with Digital Circuits. In: Salvendy, G., Smith, M.J. (eds) Human Interface and the Management of Information. Information and Interaction. Human Interface 2009. Lecture Notes in Computer Science, vol 5618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02559-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-02559-4_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02558-7
Online ISBN: 978-3-642-02559-4
eBook Packages: Computer ScienceComputer Science (R0)