omniscience
1.BDI Semantic of Avoiding Logical Omniscience Problem
2.Science is his forte,and omniscience his foible(Sydney Smith.
3.The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms.
4.Ray Kurzweil, in his book The Age of Spiritual Machines, calculates that there have been 32 doublings since World War II and that the singularity point—the point at which total computational power will rise to levels so far beyond anything that we can imagine that it will appear nearly infinite and thus be indistinguishable from omniscience—may be upon us as early as 2050.
