Complexity
The computational complexity of the following problems about default logic is known:
- Existence of extensions
- deciding whether a propositional default theory has at least one extension is -complete;
- Skeptical entailment
- deciding whether a propositional default theory skeptically entails a propositional formula is -complete;
- Credulous entailment
- deciding whether a propositional default theory credulously entails a propositional formula is -complete;
- Extension checking
- deciding whether a propositional formula is equivalent to an extension of a propositional default theory is -complete;
- Model checking
- deciding whether a propositional interpretation is a model of an extension of a propositional default theory is -complete.
Read more about this topic: Default Logic
Famous quotes containing the word complexity:
“The price we pay for the complexity of life is too high. When you think of all the effort you have to put in—telephonic, technological and relational—to alter even the slightest bit of behaviour in this strange world we call social life, you are left pining for the straightforwardness of primitive peoples and their physical work.”
—Jean Baudrillard (b. 1929)
“It is not only their own need to mother that takes some women by surprise; there is also the shock of discovering the complexity of alternative child-care arrangements that have been made to sound so simple. Those for whom the intended solution is equal parenting have found that some parents are more equal than others.”
—Elaine Heffner (20th century)
“In times like ours, where the growing complexity of life leaves us barely the time to read the newspapers, where the map of Europe has endured profound rearrangements and is perhaps on the brink of enduring yet others, where so many threatening and new problems appear everywhere, you will admit it may be demanded of a writer that he be more than a fine wit who makes us forget in idle and byzantine discussions on the merits of pure form ...”
—Marcel Proust (1871–1922)