Title: Epistemic Logic, Autonomy, and Intelligence
A logical and physical account is given of how autonomous systems perform computation within their subjective frames. Describing computation within such frames requires specifying how information is subjectively represented and optimally processed at a very basic level. An epistemic logic is described that makes quantifying these ideas possible and which also provides an intuitive means of understanding intelligent behavior. This perspective requires a melding of information theory, statistical mechanics, and a first-person physical account of what information is and how it is processed. A model cortical neuron is used throughout this talk to convey concepts and also to serve as a powerful engineering exemplar. As a whole, one can see the described concept, processes, and adaptation processes as the embodiment of cybernetics as defined by Norbert Wiener. The talk ends with the discussion of engineering implications and describe the importance of memristor technologies.