×

Y-logic

swMATH ID: 1411
Software Authors: Subrahmanian, V.S.
Description: Y-logic: A framework for reasoning about chameleonic programs with inconsistent completions Large logic programs are normally designed by teams of individuals, each of whom designs a subprogram. While each of these subprograms may have consistent completions, the logic program obtained by taking the union of these subprograms may not. However, the resulting program still serves a useful purpose, for a (possibly) very large subset of it still has a consistent completion. We argue that “small” inconsistencies may cause a logic program to have no models (in the traditional sense), even though it still serves some useful purpose. A semantics is developed for general logic programs which ascribes a very reasonable meaning to general logic programs irrespective of whether they have consistent (in the classical logic sense) completions.
Homepage: http://dl.acm.org/citation.cfm?id=107723
Keywords: logic programs; completions
Related Software:
Cited in: 2 Publications

Citations by Year