Predicate invention

How to invent or reuse appropriate predicates How to implement " invented predicates The combination of partial results often is a full-scale problem by itself, as illustrated by the logic algorithms for compress (induction on C), permutation , and sort . The same holds for a decomposition following the Extrinsic Heuristic. This is known as the predicate invention problem. 

How to detect that recursion is useless in some non-minimal sub-cases Step 4 (Syntactic introduction of the recursive atoms) creates a non-recursive case if at least one example Ej leads to a non-admissible procComp(,,yp atom. Howto invent or re-use appropriate predicates How to implement invented predicates The predicate invention problem is tackled at four points during the synthesis. At Steps 2 and 3, the Database Method re-uses predefined predicates this amounts to using domain knowledge. At Step 6, the Synthesis Method (see Section 14.2.4 below) invents new composition operators. As of now, there is no method yet of re-using common composition operators. At Step 7, the PaP Method synthesizes discriminants that are in terms of predicates other than rfn. How to discover which parameters are auxiliary parameters Due to our restriction to version 3 of the divide-and-conquer schema, auxiliary parameters are not taken into account. See Section 14.2.2 below on how to achieve this. 

All of this preliminary material sets the stage for the crux of our present inquiry, What is obvious This is a key inquiry for patent law and one of the most crucial yet challenging concepts to understand because its meaning goes to the core of the definition of inventiveness. We have seen and reviewed novelty and should well understand its predicates. Unlike novelty, however, obviousness is a much more open-ended inquiry. Whereas novelty instructed us that we were limited to a single reference, obviousness can be based on information separately incorporated from... 

Would a decline in R D or a slowdown in its rate of growth be a bad thing A widely accepted principle is that, left to its own devices, private industry invests too little in R D. The patent system, which offers temporary monopolies over new products, processes, and uses, is built on this principle (366). The monopoly granted by patents allows firms to charge more for inventions than they could without such protection from competition. Other public policies, such as subsidies and tax policies that favor R D, are predicated on the assumption that patents alone are insufficient to bring forth the level of R D that maximizes the general welfare of society. The high direct... 

If this evidence were not incriminating enough, additional substantiation for its likelihood was provided in 2002 by Professor Matthew Shair and two of his graduate students at Harvard University through the first chemical synthesis of longithorone A (1) predicated on these same Diels-Alder reactions. This accomplishment is the subject of this chapter, an achievement whose success ultimately relied not only on the power of [4- -2]-cycloadditions, but also on an inventive strategy to atropselectively construct both [12]-paracyclophanes at the heart of Schmitz biosynthetic hypothesis. 

All the predicates used by the clause generator must be declared prior to synthesis, and an oracle is assumed to be willing to answer questions about them. Multiple related concepts may be learned simultaneously, but this feature doesn t prevent MIS from being unable to invent its own predicates, not to mention implementing them. 

This is the so-called Insertion-Sort algorithm. It is non-trivial in the sense that a new predicate, here for convenience called insertl3, needs to be invented from scratch. Moreover, this sub-synthesis needs to be done in totally automatic mode, as the specifier is not supposed to be able to answer questions about such invented predicates. 

S. Muggleton and W. Buntine. Machine invention of first-order predicates by... 

Lulla, Lullius Raimundus (1235-1315) physician and alchemist, devised what he considered an infallible method of proving faith and reason, invented mechanical device ( ars magna ) which combined subjects predicated of propositions thus producing valid conclusions Mach Ernst (1838 1916) Aust. phil. and phys., known for his discussion of Newton s Principia and critique of conceptual monstrosity of an absolute space ( The Science of Mechanics 1883) Maciejewski Marek( 9AQ-) Pol. chem., inventor of pulse (hyphenated) methods of thermal analysis, expert in heterogeneous kinetics... 

---