| Tune: | Accountancy-Shanty (Monty Phyton) |
| Disclaimer: |
The gods did not reveal, from the beginning, All things to us, but in the course of time Trough seeking we may learn and know things better. But as for certain truth, no man has known it, Nor shall he know it, neither of the gods Nor jet of all the things of which I speak. For even if by chance he were to utter The final truth, he would himself not know it: For all is but a woven web of guesses. (Xenophanes) |
It's fun, to draw an implication, and use a high-sophistical tableaux Find forms, that seem to build a theorem, And operate with "not" and "and" and "or". We also move in modal logics We love the boxes, diamonds and S5 In finite time we'll handle any counter-example, Start with axioms, take a breath and then derive ! Ref.Chorus: USING JUST LOOM.... We build a TBox and an ABox, In PSPACE is it possible, we think. We have no position to role-composition And we're wasting just another glass of ink! I am not sure of my assertions, They satisfy constraints but still not me. This is not a fiction, It's a real contradiction But we'll stand it, for that's usual for KI (*)... Ref.Chorus: USING JUST LOOM...... USING JUST LOOM...... Background Chorus: Up, up, up the knowledgebase Intermediate Caller: Oh, this is fun, Mr. Nebel! There is no reason for a default; however, there is default reasoning. And the world I want to mention has an empty extension, Annihilating all conclusions it might bring! It's time to talk about semantic, a "normal default" has no normal sight. It's propagable and writable but surely undecidable For logic can not know what no one might. Ref.Chorus: USING JUST LOOM...... USING JUST LOOM...... Background Chorus: Up, up, up the knowledgebase (into fade out) (*) German equivalent to AI (Artificial Intelligence), pronounce as [ka:i]