O'Reilly logo

Good Math by Mark C. Chu-Carroll

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

15Temporal Reasoning

The logic that we’ve looked at so far, first-order predicate logic, is really powerful. You can do a ton of stuff in it. In fact, as we saw in Prolog, if you can do it with a computer, you can do it with first-order predicate logic (FOPL).

But there are some kinds of reasoning that standard predicate logic is really bad at, such as reasoning about time. In predicate logic, if something is true, then it’s always true. There’s no notion of time, no way for things to happen in sequence. There’s no good way to say in predicate logic that I’m not hungry now but I will be later.

For example, in 2010 I worked for Google, and today I work for Foursquare. If I want to be able to capture that, I can’t just use a predicate WorksFor(Mark, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required