Matches in SemOpenAlex for { <https://semopenalex.org/work/W65085004> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W65085004 startingPage "41" @default.
- W65085004 abstract "The clause inference based on the resolution principles of J. R o b i n s o n [1] plays a fundamental role in different logical programming systems and in artificial intelligence as a whole. This role is illustrated completely and successfully enough in the well-known book of R. K o w a l s k i [2]. During the second half of the 80-ies, various quantitative methods have been suggested interpreting the logical, and particularly the clause inference, reducing this inference to solving problems of integer and/or binary programming [3]. Not setting forward all the positive aspects of the quantitative approaches suggested, we have to note, that they possess a number of inconveniences and shortcomings, connected with the lack of an efficient graphic illustration of the inference and the impossibility for satisfactory representation of the predicate properties with their help. The present paper suggests a new quantitative approach towards clause inference, based on the application of a special class of network flows, which in our opinion avoids the limitations above mentioned and realizes efficient quantitative representation of the clause inference in the form of a flow on a graph. Unlike the graphic interpretations presented upto now, the logic operations, the resolution and the inference are realized through the network nodes, and the atomic formulae and clauses are regarded as directed arcs in the same network. The flow functions on these arcs accept values of either zero (false) or one (truth)." @default.
- W65085004 created "2016-06-24" @default.
- W65085004 creator A5036833943 @default.
- W65085004 creator A5063109639 @default.
- W65085004 date "1995-01-02" @default.
- W65085004 modified "2023-09-25" @default.
- W65085004 title "A network flow approach to clause inference" @default.
- W65085004 hasPublicationYear "1995" @default.
- W65085004 type Work @default.
- W65085004 sameAs 65085004 @default.
- W65085004 citedByCount "1" @default.
- W65085004 countsByYear W650850042012 @default.
- W65085004 crossrefType "proceedings-article" @default.
- W65085004 hasAuthorship W65085004A5036833943 @default.
- W65085004 hasAuthorship W65085004A5063109639 @default.
- W65085004 hasConcept C11413529 @default.
- W65085004 hasConcept C134752490 @default.
- W65085004 hasConcept C138268822 @default.
- W65085004 hasConcept C140146324 @default.
- W65085004 hasConcept C154945302 @default.
- W65085004 hasConcept C17744445 @default.
- W65085004 hasConcept C199360897 @default.
- W65085004 hasConcept C199539241 @default.
- W65085004 hasConcept C2776214188 @default.
- W65085004 hasConcept C2776261394 @default.
- W65085004 hasConcept C2776359362 @default.
- W65085004 hasConcept C3746660 @default.
- W65085004 hasConcept C41008148 @default.
- W65085004 hasConcept C80444323 @default.
- W65085004 hasConcept C94625758 @default.
- W65085004 hasConceptScore W65085004C11413529 @default.
- W65085004 hasConceptScore W65085004C134752490 @default.
- W65085004 hasConceptScore W65085004C138268822 @default.
- W65085004 hasConceptScore W65085004C140146324 @default.
- W65085004 hasConceptScore W65085004C154945302 @default.
- W65085004 hasConceptScore W65085004C17744445 @default.
- W65085004 hasConceptScore W65085004C199360897 @default.
- W65085004 hasConceptScore W65085004C199539241 @default.
- W65085004 hasConceptScore W65085004C2776214188 @default.
- W65085004 hasConceptScore W65085004C2776261394 @default.
- W65085004 hasConceptScore W65085004C2776359362 @default.
- W65085004 hasConceptScore W65085004C3746660 @default.
- W65085004 hasConceptScore W65085004C41008148 @default.
- W65085004 hasConceptScore W65085004C80444323 @default.
- W65085004 hasConceptScore W65085004C94625758 @default.
- W65085004 hasLocation W650850041 @default.
- W65085004 hasOpenAccess W65085004 @default.
- W65085004 hasPrimaryLocation W650850041 @default.
- W65085004 hasRelatedWork W1483694094 @default.
- W65085004 hasRelatedWork W1486432780 @default.
- W65085004 hasRelatedWork W1514708756 @default.
- W65085004 hasRelatedWork W1562898168 @default.
- W65085004 hasRelatedWork W1577113966 @default.
- W65085004 hasRelatedWork W1750380915 @default.
- W65085004 hasRelatedWork W2000399063 @default.
- W65085004 hasRelatedWork W2088442628 @default.
- W65085004 hasRelatedWork W2156066488 @default.
- W65085004 hasRelatedWork W2165634733 @default.
- W65085004 hasRelatedWork W2313909837 @default.
- W65085004 hasRelatedWork W2411950980 @default.
- W65085004 hasRelatedWork W2417163 @default.
- W65085004 hasRelatedWork W2726449882 @default.
- W65085004 hasRelatedWork W2911628438 @default.
- W65085004 hasRelatedWork W37301688 @default.
- W65085004 hasRelatedWork W46391580 @default.
- W65085004 hasRelatedWork W620036334 @default.
- W65085004 hasRelatedWork W80409386 @default.
- W65085004 hasRelatedWork W2094114882 @default.
- W65085004 isParatext "false" @default.
- W65085004 isRetracted "false" @default.
- W65085004 magId "65085004" @default.
- W65085004 workType "article" @default.