Fitting, M. C. On prudent bravery and other abstractions. 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....to cover such embedded implications, and the entire machinery of stable models carries over as well. The idea is to take as valuations maps from atoms and programs to a bilattice. Adding programs as an argument allows relativization to modules. Details of the bilattice approach can be found in [14]. The other item we mentioned was disjunctive logic programming. In this, heads of clauses are allowed to be not just atoms, but disjunctions of atoms. Roughly, such a clause says that if the members of its body are the case, one of the items in its head also is. Semantically, instead of working ....

Fitting, M. C. On prudent bravery and other abstractions. 1994.

....a brief abstract presentation, then provide a concrete representation which should make their utility in this context clear. Bilattices were introduced in [6] and have turned out to be a useful tool for investigating logic programming semantics [1, 2] and stable model semantics in particular [3, 5]. We refer you to these papers for a fuller treatment. Definition 1. A pre bilattice is a structure #B, # t , # k # where B is a non empty set and # t and # k are each partial orderings giving B the structure of a lattice with a top and a bottom. We call B complete if each of the ....

Fitting, M. C. On prudent bravery and other abstractions. Submitted, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC