## 5 – 25 Situation Calculus 3 V2

So I’ve talked about the possibility axioms and the successor-state axioms that’s most of what’s in situation calculus. And that’s used to describe an entire domain like the airport cargo domain. And now we describe a particular problem within that domain by describing the initial state. And typically we call that S0, the initial situation. … Read more

댓글을 달려면 로그인해야 합니다.