A problem is that AGI needs to keep in touch with a consensus reality and this can be assisted by model checking internal representation with physical systems. But how can that be accomplished in a semi-realtime fashion and how reliable is it? And how do you deal with both the continuous and discrete structures involved?
Well, just when you are thinking about the problem someone goes ahead and publishes a paper on it. Here is a nice one discussing Hybrid Automata Modeling, that is Extended FSM's with Continuous Dynamical Systems getting into bisimulation between Kripke structures with model checking and decidability: http://arxiv.org/abs/1503.04928 John ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
