Representing Logical Inference Steps with Digital Circuits

Authors:
Erika Matsak
Affiliations:
Department of Computer Science, Tallinn University, Tallinn, Estonia 10120 and Department of Computer Engineering, Tallinn University of Technology, Tallinn, Estonia 12618
Venue:
Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009
Year:
2009

Citing 5
Cited 0

First-order logic and automated theorem proving (2nd ed.)

First-order logic and automated theorem proving (2nd ed.)
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Rule Reduction over Numerical Attributes in Decision Tree Using Multilayer Perceptron

PAKDD '01 Proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining
Computation: finite and infinite machines

Computation: finite and infinite machines

Quantified Score

Hi-index	0.00

Visualization

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.