Matches in SemOpenAlex for { <https://semopenalex.org/work/W155019843> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W155019843 abstract "This chapter discusses the third of the major knowledge representation paradigms, logic, and in particular, the first-order predicate calculus. A number of logics have been developed in philosophy and mathematics to represent arguments and to assess their soundness or unsoundness. This, in turn, has meant that they have developed as a means of representing the premises of arguments and their conclusions, and this is sufficiently close to the idea of a knowledge base and the inferences that can be drawn from it to give hopes of transferring the representational ideas developed in logic in a relatively straightforward manner. The simplest form of logic is the propositional calculus, but this represents only the logical relations between whole statements and therefore, its expressive power is somewhat limited. More expressive is the first order-predicate calculus, which expresses relations between objects, asserting and denying these relationships, and stating the logical relations between these statements." @default.
- W155019843 created "2016-06-24" @default.
- W155019843 creator A5074094975 @default.
- W155019843 date "1990-01-01" @default.
- W155019843 modified "2023-09-24" @default.
- W155019843 title "Logic and Predicate Calculus" @default.
- W155019843 cites W2023139438 @default.
- W155019843 cites W2085702524 @default.
- W155019843 cites W2100738443 @default.
- W155019843 doi "https://doi.org/10.1016/b978-0-12-086440-9.50011-7" @default.
- W155019843 hasPublicationYear "1990" @default.
- W155019843 type Work @default.
- W155019843 sameAs 155019843 @default.
- W155019843 citedByCount "0" @default.
- W155019843 crossrefType "book-chapter" @default.
- W155019843 hasAuthorship W155019843A5074094975 @default.
- W155019843 hasConcept C100481476 @default.
- W155019843 hasConcept C102993220 @default.
- W155019843 hasConcept C110039528 @default.
- W155019843 hasConcept C111472728 @default.
- W155019843 hasConcept C138885662 @default.
- W155019843 hasConcept C140146324 @default.
- W155019843 hasConcept C195818886 @default.
- W155019843 hasConcept C19689857 @default.
- W155019843 hasConcept C199343813 @default.
- W155019843 hasConcept C199360897 @default.
- W155019843 hasConcept C203659156 @default.
- W155019843 hasConcept C2777686260 @default.
- W155019843 hasConcept C33923547 @default.
- W155019843 hasConcept C39920170 @default.
- W155019843 hasConcept C41008148 @default.
- W155019843 hasConcept C62073222 @default.
- W155019843 hasConcept C69562738 @default.
- W155019843 hasConcept C71924100 @default.
- W155019843 hasConcept C73314972 @default.
- W155019843 hasConcept C80444323 @default.
- W155019843 hasConceptScore W155019843C100481476 @default.
- W155019843 hasConceptScore W155019843C102993220 @default.
- W155019843 hasConceptScore W155019843C110039528 @default.
- W155019843 hasConceptScore W155019843C111472728 @default.
- W155019843 hasConceptScore W155019843C138885662 @default.
- W155019843 hasConceptScore W155019843C140146324 @default.
- W155019843 hasConceptScore W155019843C195818886 @default.
- W155019843 hasConceptScore W155019843C19689857 @default.
- W155019843 hasConceptScore W155019843C199343813 @default.
- W155019843 hasConceptScore W155019843C199360897 @default.
- W155019843 hasConceptScore W155019843C203659156 @default.
- W155019843 hasConceptScore W155019843C2777686260 @default.
- W155019843 hasConceptScore W155019843C33923547 @default.
- W155019843 hasConceptScore W155019843C39920170 @default.
- W155019843 hasConceptScore W155019843C41008148 @default.
- W155019843 hasConceptScore W155019843C62073222 @default.
- W155019843 hasConceptScore W155019843C69562738 @default.
- W155019843 hasConceptScore W155019843C71924100 @default.
- W155019843 hasConceptScore W155019843C73314972 @default.
- W155019843 hasConceptScore W155019843C80444323 @default.
- W155019843 hasLocation W1550198431 @default.
- W155019843 hasOpenAccess W155019843 @default.
- W155019843 hasPrimaryLocation W1550198431 @default.
- W155019843 hasRelatedWork W112696807 @default.
- W155019843 hasRelatedWork W145924685 @default.
- W155019843 hasRelatedWork W1630055178 @default.
- W155019843 hasRelatedWork W170965667 @default.
- W155019843 hasRelatedWork W186722147 @default.
- W155019843 hasRelatedWork W1983770323 @default.
- W155019843 hasRelatedWork W2012137655 @default.
- W155019843 hasRelatedWork W2014454422 @default.
- W155019843 hasRelatedWork W2029216322 @default.
- W155019843 hasRelatedWork W2081040658 @default.
- W155019843 hasRelatedWork W2111137949 @default.
- W155019843 hasRelatedWork W2491183707 @default.
- W155019843 hasRelatedWork W2519471106 @default.
- W155019843 hasRelatedWork W2741852637 @default.
- W155019843 hasRelatedWork W2787784316 @default.
- W155019843 hasRelatedWork W2902869759 @default.
- W155019843 hasRelatedWork W39852820 @default.
- W155019843 hasRelatedWork W88592636 @default.
- W155019843 hasRelatedWork W89206362 @default.
- W155019843 hasRelatedWork W97320890 @default.
- W155019843 isParatext "false" @default.
- W155019843 isRetracted "false" @default.
- W155019843 magId "155019843" @default.
- W155019843 workType "book-chapter" @default.