A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited.
Dominique F. ChuWeng Kin HoPublished in: Artif. Life (2006)
Keyphrases
- artificial life
- situated agents
- artificial agents
- swarm intelligence
- evolutionary computation
- artificial intelligence
- living systems
- evolutionary algorithm
- theorem proving
- data sets
- theoretical analysis
- natural selection
- legal argument
- real time
- argumentation schemes
- hypothetical reasoning
- theorem prover
- object categories
- object recognition