Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)

@article{Wang2011InferenceA,
  title={Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)},
  author={Yingxu Wang},
  journal={IJCINI},
  year={2011},
  volume={5},
  pages={61-82}
}
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are needed for dealing with formal causal inferences. This paper presents a novel denotational mathematical means for formal inferences known as Inference Algebra (IA). IA is structured as a set of algebraic operators on a set of formal causations. The taxonomy and framework of formal causal inferences of IA are explored in three categories… CONTINUE READING
19 Citations
41 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 41 references

Software engineering foundations: A software science perspective (Vol

  • Y. Wang
  • 2007
Highly Influential
8 Excerpts

A concise introduction to logic (6th ed.)

  • P. J. Hurley
  • 1997
Highly Influential
4 Excerpts

Advances in cognitive informatics and cognitive computing

  • Y. Wang, D. Zhang, W. Kinsner
  • 2010

Causality. Thousand Oaks, CA: Sage

  • S. Turner
  • 2010
1 Excerpt

Cognitive robots: A reference model towards intelligent authentication

  • Y. Wang
  • IEEE Robotics and Automation,
  • 2010

Similar Papers

Loading similar papers…