I'm confident that we have built and now have in operation true thinking machines. I am not as sure that we have identified and implemented all the kinds of thinking that might be possible. One of the places that I still go looking is amongst the logics:
spatial
temporal
defeasible
paraconsistent
deontic
illocutionary
quantum
multi-modal
epistemic
intuitionist
fuzzy
probabilistic
substructural
categorical
higher order
etc,
No comments:
Post a Comment