Improve your vocabulary with English Vocabulary in Use from mister-map.com.
Đang xem: Predicate là gì
Learn the words you need to communicate with confidence.
< + that > It would be unwise to predicate that the disease is caused by a virus before further tests have been carried out.
If an idea or argument is predicated on something, it depends on the existence or truth of this thing:
< + that clause > One cannot predicate that the disease is caused by a virus on the basis of current evidence.
If an idea or argument is predicated on something, it depends on the existence or truth of that thing:
On the other hand, performing abductive reasoning on the event rules defines changes on base predicates needed to satisfy changes on derived predicates.
Let us show the translation of several domains of properties into the language of partial predicates and exemplify checking by means of equational reasoning.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the mister-map.com mister-map.com editors or of mister-map.com University Press or its licensors.
Informally speaking, they are logic predicates that represent the degree of evaluation of an expression (demand properties).
In the other benchmarks a much smaller fraction of unifications can be improved due to the heavy use of non-deterministic predicates.
Every (logic) programmer should have, at least in her mind, intended meaning for all the used predicates.
Indeed, consuming invalid tabled answers may result in finding more invalid answers for the same or other tabled predicates.
Note that concept names are translated to unary free predicates, whereas n-ary role names are translated to n-ary free predicates.
Basically, the specialization technique will consist on specialization of rules by removing and reordering predicates.
Automating the detection and handling of higher-order predicates is an important part of future work.