| |
1-10 of 25 reviews |
Date Reviewed | |
| |
Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples
Besold T., Garcez A., Stenning K., van der Torre L., van Lambalgen M. Minds and Machines 27(1): 37-77, 2017. Type: Article
Modeling human reasoning means dealing with uncertainty. The approach of conventional logic in which rules are absolute cannot be applied. Instead there is uncertainty: we need to use rules but accept that there may be cases where ther...
|
Jun 28 2017 |
|
| |
A theorem about computationalism and "absolute" truth
Charlesworth A. Minds and Machines 26(3): 205-226, 2016. Type: Article
Is logical inconsistency (or fallibility) an inherent advantage of the human mind over computers? Does computing need to be logical? Minsky, in a quote reproduced in the paper, thought that, “There’s no reason to as...
|
Jun 2 2017 |
|
| |
Data philanthropy and individual rights
Taddeo M. Minds and Machines 27(1): 1-5, 2017. Type: Article
Sometimes there exists a delicate line between data security and usability and availability. Data security is many times enhanced using several complicated methods and algorithms. While this process enhances data security, it also unde...
|
May 31 2017 |
|
| |
The comprehensibility theorem and the foundations of artificial intelligence
Charlesworth A. Minds and Machines 24(4): 439-476, 2014. Type: Article
Kurt Gödel [1] has shown fundamental limits of mathematical logic and the unreality of the program of David Hilbert [2] by its incompleteness theorems published in 1931. Arthur Charlesworth tackles this theme’s development ov...
|
May 26 2015 |
|
| |
Some implications of a sample of practical Turing tests
Warwick K., Shah H., Moor J. Minds and Machines 23(2): 163-177, 2013. Type: Article
Certain traits of human mental activities can be represented by an algorithmic process, and hence imitated by a computer. How far can such practice go, and in particular, could a computer acquire the innermost characteristics of human ...
|
Aug 16 2013 |
|
| |
How the problem of consciousness could emerge in robots
Molyneux B. Minds and Machines 22(4): 277-297, 2012. Type: Article
This is a fascinating topic and a thought-provoking paper. From the beginning, I couldn’t stop thinking of the ramifications. How would an intelligent robot behave if it were not able to recognize what is part of it and what ...
|
Mar 14 2013 |
|
| |
The explanatory role of computation in cognitive science
Fresco N. Minds and Machines 22(4): 353-380, 2012. Type: Article
As an emerging interdisciplinary science, cognitive science is a dynamic field that helps us explore how our minds work. Its focus has been shifting throughout time, bouncing between discussions on the roles of analog and digital compu...
|
Feb 15 2013 |
|
| |
 Decision theory, intelligent planning and counterfactuals
Shaffer M. Minds and Machines 19(1): 61-92, 2009. Type: Article
Intelligent and automated decision making has a broad range of applications, from decision-support tools that aid humans in planning, diagnostics, and logistics, to unmanned systems, such as autonomous vehicles, where these cognitive a...
|
Aug 6 2009 |
|
| |
On Peirce’s pragmatic notion of semiosis--a contribution for the design of meaning machines
Queiroz J., Merrell F. Minds and Machines 19(1): 129-143, 2009. Type: Article
Work on semiotics--the theory of signs and meaning--and Charles Peirce’s contributions to it are referenced in some artificial intelligence (AI) texts, though not frequently covered in depth. A notable excep...
|
Jul 17 2009 |
|
| |
Quantum algorithms: philosophical lessons
Hagar A. Minds and Machines 17(2): 233-247, 2007. Type: Article
Does quantum computing entail any implications for the philosophy of computer science? Recent theoretical and practical results have clearly demonstrated that quantum computers can tremendously increase the efficiency (referring to spe...
|
Feb 6 2008 |
|
| |
|
|
| |
|
|
|
|
