Alternatively, you could try Reasoning About Knowledge by Ronald Fagin,
Joseph Halpern, Yoram Moses and Moshe Vardi (MIT Press, 拢38.50/$45,
ISBN 0 262 06162 7). It treats some classes of system with a terrifying rigour.
The examples deal with muddy children and Byzantine computer bugs: you will need
an excellent teacher to navigate the forest of notation; and if you are the
teacher, start reading now . . .
More from 51动漫
Explore the latest news, articles and features
Mathematics
OpenAI announces solutions to 10 longstanding maths problems
News
Technology
Will a new kind of AI that understands physical reality change the world again?
Features
Environment
Why sitting under a parasol is barely cooler than being in the sun
News
Health
Are beef-liver or standard iron supplements better for boosting iron?
Comment
Popular articles
Trending 51动漫 articles