The preceding theory represents, I believe, a large improvement over conceptual graph theories of analogy. In particular, it is possible for analogical reasoning to be flexible or ‘creative’ on this approach, an aspect of analogy that is not accounted for in conceptual graph theories. I also believe that searching by constraint violations is a more reasonable way to organize memory search than to look for properties of conceptual hierarchies. Proof of this last point, however, awaits an more detailed classification of (...) the constraints that figure in analogical reasoning. (shrink)

This is a digest of how various researchers in biology and astrobiology have explored questions of what defines living organisms—definitions based on functions or structures observed in organisms, or on systems terms, or on mathematical conceptions like closure, chirality, quantum mechanics and thermodynamics, or on biosemiotics, or on Darwinian evolution—to clarify the field and make it easier for endeavors in artificial intelligence to make progress. Current ideas are described to promote work between astrobiologists and computer scientists, each concerned with living (...) organisms. A four-parameter framework is presented as a scaffold that is later developed into what machines lack to be considered alive: systems, evolution, energy and consciousness, and includes Jagers operators and the idea of dual closure. A novel definition of consciousness is developed which describes mental objects both with and without communicable properties, and this helps to clarify how consciousness in machines may be studied as an emergent process related to choice functions in systems. A perspective on how quantization, acting on nucleic acids, sets up natural limits to system behavior is offered as a partial address to the problem of biogenesis. (shrink)

In the philosophy of mind, the controversy between realists and antirealists often concerns the logical form of sentences embedded in attitude reports. Antirealists believe that such sentences refer to psychological states; realists believe that they refer to situations or states of the world. In this essay, it is shown how these two modes of semantic representation are associated with different approaches to the computational modeling of cognitive processes. I put forward a normative account of methodology in artificial intelligence that reconciles (...) realism and antirealism, and suggest that my account sheds light on the problem of representing the logical form of attitude reports. (shrink)