The Non-Standard Logic Song

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]

webmaster - Last modified: Thu Nov 21 19:52:47 2002