Default Logic

Posted by

People have actually bothered to express things like this in math. I’m impressed.

Basically, they broke it down into things like this:

“If A and B and C are true, and D and E and F are possible at all then assume G”

“Does it have a beak and wings? Do any other things with beaks and wings in this region fly? Well then, assume it can fly.” (A common-sensically unsound statement, but you get the idea)

I think it could just be heuristics by a different name… hmm…

Another category of default logic is Normal Default Logic. It can express things like:

“If A and B and C are true, then assume D, but if something contradicts D in any way then ignore this statement.”

I think that this formalization is neat. It seems like stuff we as computer scientists do constantly… but expressed in logic.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.