Did you know...?

[Seen]

A knowledge base (KB) is complete if there is no formula α such that KB ⊭ α and KB ⊭ ¬α.

Example of knowledge base with incomplete knowledge:

KB := { A ∨ B }

Then we have KB ⊭ A and KB ⊭ ¬A.

In some cases, you can make a consistent knowledge base complete with the closed world assumption - that is, adding all not-entailed literals as negations to the knowledge base. In the above example though, this would not work because it would make the knowledge base inconsistent:

KB' = { A ∨ B, ¬A, ¬B }

In the case you have KB := { P(a), Q(a), Q(b) }, you have KB ⊭ P(b) and KB ⊭ ¬P(b), so with the closed world assumption you would get KB' = { P(a), ¬P(b), Q(a), Q(b) } where you have KB' ⊨ ¬P(b).




Pretty obvious, when you think about it.

[CPFC]

yes

[rcgills]

Bloody hell Seen, you might as well have started a thread asking "Did you know the Pope's Catholic?".

It's no wonder Yorkie didn't want you in his Forum Challenge team.

[yorkieacer]

Everyone knows what you have put, god its easy could do it blindfolded

[kompressaur]

The roundest knight at King Arthur's round table was Sir Cumference. He acquired his size from too much pi.
I thought I saw an eye doctor on an Alaskan island, but it turned out to be an optical Aleutian .
She was only a whiskey maker, but he loved her still.
A rubber band pistol was confiscated from algebra class, because it was a weapon of math disruption.
No matter how much you push the envelope, it'll still be stationery.
A dog gave birth to puppies near the road and was cited for littering.
A grenade thrown into a kitchen in France would result in Linoleum Blown-a-part.
Two silk worms had a race. They ended up in a tie.
A hole has been found in the nudist camp wall. The police are looking into it.
Atheism is a non-prophet organization.
Two hats were hanging on a hat rack in the hallway. One hat said to the other: 'You stay here; I'll go on a head.'
I wondered why the baseball kept getting bigger. Then it hit me.
A sign on the lawn at a drug rehab center said: 'Keep off the Grass.'
The short fortune-teller who escaped from prison was a small medium at large.
The man who survived mustard gas and pepper spray is now a seasoned veteran.
A backward poet writes inverse.
In a democracy it's your vote that counts. In feudalism it's your count that votes.
When cannibals ate a missionary, they got a taste of religion.
If you jumped off the bridge in Paris , you'd be in Seine.

PUNS FOR EDUCATED MINDS : funny