Allan Ramsay. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp.

1996 ◽  
Vol 61 (1) ◽  
pp. 347-351
Author(s):  
Francis Jeffry Pelletier
Keyword(s):  
Artificial Intelligence ◽  
Computer Science ◽  
Formal Methods ◽  
Theoretical Computer Science ◽  
Theoretical Computer ◽  
Cambridge University

scholarly journals Uncontrolled mutation of super-intelligent machines may lead to the destruction of humanity

2021 ◽  
Author(s):  
Deep Bhattacharjee ◽  
Sanjeevan Singha Roy
Keyword(s):  
Artificial Intelligence ◽  
Computer Science ◽  
Theoretical Computer Science ◽  
Cognitive Capacity ◽  
Theoretical Computer ◽  
Intelligent Machines ◽  
Advantages And Disadvantages ◽  
The World ◽  
Technological Singularity

<p>If in future, the highly intelligent machines control the world, then what would be its advantages and disadvantages? Will, those artificial intelligence powered superintelligent machines become an anathema for humanity or will they ease out the human works by guiding humans in complicated tasks, thereby extending a helping hand to the human works making them comfortable. Recent studies in theoretical computer science especially artificial intelligence predicted something called ‘technological singularity’ or the ‘intelligent explosion’ and if this happens then there can be a further stage as transfused machinery intelligence and actual intelligence where the machines being immensely powerful with a cognitive capacity more than that of humans for solving ‘immensely complicated tasks’ can takeover the humans and even the machines by more intelligent machines of superhuman intelligence. Therefore, it is troublesome and worry-full to think that ‘if in case the machines turned out against humans for their optimal domination in this planet’. Can humans have any chances to avoid them by bypassing the inevitable ‘hard singularity’ through a set of ‘soft singularity’. This paper discusses all the facts in details along with significant calculations showing humanity, how to avoid the hard singularity when the progress of intelligence is inevitable. </p>

An Essay on Denotational Mathematics

2019 ◽  
pp. 1629-1640
Author(s):  
Giuseppe Iurato
Keyword(s):  
Artificial Intelligence ◽  
Computer Science ◽  
Set Theory ◽  
Neuronal Networks ◽  
Theoretical Computer Science ◽  
Mathematical Framework ◽  
Theoretical Computer ◽  
Cognitive Informatics ◽  
Naive Set Theory ◽  
Software Science

Denotational mathematics is a new rigorous discipline of theoretical computer science that springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, and artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics is outlined within naive set theory.

Sign in / Sign up

Export Citation Format

Share Document