| 
|
Quote: resolution is an inference principle specifically designed for computer theorem-proving programs; the complexity of the principle does not matter; permits a very compact, not to say elegant, piece of reasoning
Topic:
logic programming
Topic:
logic
Quotation Skeleton
Presented in this paper is a formulation of … theorem-proving program. … [p. 24] an inference principle need only be sound … must be algorithmically decidable whether an alleged application … application of the inference principle is a modern … appropriate. … [p. 36] This example illustrates the way in which … the capacity of the human mind to apprehend … principle in this case permits a very compact, … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an inference principle needs to be sound (i.e., allow only logical consequences) and effective (i.e., algorithmically decidable)
Topic: logic programming (34 items)
Topic: logic (84 items)