📄 http:^^www.cs.cornell.edu^info^people^halpern^rak.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Sunday, 24-Nov-96 22:21:55 GMT
Content-Type: text/html
Content-Length: 1924
Last-Modified: Monday, 30-Sep-96 18:16:00 GMT
<P><HEAD><TITLE>Reasoning About Knowledge</TITLE></HEAD><BODY><P> <BR> <HR> <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.cornell.edu/Info/People/halpern/rau.html"> <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><IMG ALIGN=BOTTOM ALT="next" SRC="http://cbl.leeds.ac.uk/nikos/figs//next_motif.gif"></A> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.cornell.edu/Info/People/halpern/node5.html"> <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><IMG ALIGN=BOTTOM ALT="up" SRC="http://cbl.leeds.ac.uk/nikos/figs//up_motif.gif"></A><BR> <B> Next:</B> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.cornell.edu/Info/People/halpern/rau.html">Reasoning About Uncertainty</A><B>Up:</B> <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.cornell.edu/Info/People/halpern/node5.html">Teaching Experience</A><BR> <HR> <P><H1>Reasoning About Knowledge (COM S 676): <BR>Course Description</H1> Reasoning about knowledge -- particularly the knowledge of agents whoreason about the world and each other's knowledge -- was once theexclusive province of philosophers and puzzle solvers. More recently,this type of reasoning has been shown to play a key role in asurprising number of contexts, from understanding conversations to theanalysis of distributed computer algorithms.<P> This course provides a generaldiscussion of approaches to reasoning about knowledge and itsapplications to distributed systems, artificial intelligence, and gametheory. We'll start by examining the well-known ``muddychildren puzzle'', which demonstratesthe subtleties of reasoning aboutknowledge of a group. We then consider a simple yet powerfulformal semantic model for knowledge and a language for reasoning aboutknowledge whose underlying idea is that of ``possible worlds''. Therest of the course develops the model and show how it can be used toascribe knowledge to agents in multi-agent systems. This allows us tobetter understand notions such as coordination and agreement. Thedefinitions lead naturally to a notion of knowledge-based programs, ahigh-level tool for designing and analyzing systems.<P> The course follows closely the material inthe book <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.cornell.edu/Info/People/halpern/abstract.html#book2">Reasoning About Knowledge</A>,which actually was inspired by early versions of the course.</BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -