It runs in the family

[keystricken]

I just tried to describe active logic to my dad over the phone (a terrible idea, don't try it) and I discovered that he's also studying temporal reasoning in computers. I don't know what his reasons are, but this is more or less the best thing ever.

Comments

[stereotype441]

Is active logic the same as temporal logic? Because I love that stuff.

[keystricken]

It's a subset! Specifically it's a paraconsistent, non-monotonic temporal logic where the agent is assumed to have a limited knowledge of its own beliefs and their consequences. And it's equipped with a so-called "apperception function" that I'm still trying to understand. There's more Greek in this paper than I even know how to recognize.

The above links were a flashy way to say that beliefs in this logic are allowed to change over time and the universe doesn't explode when you find a contradiction.

[stereotype441]

Oh, wow, I'm interested. Let's geek out about this when you get into town.

[keystricken]

Bel(sounds_like(it, plan))10