Matches in SemOpenAlex for { <https://semopenalex.org/work/W2268327186> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2268327186 abstract "The elementary formal system (EFS) is a kind of logic programs which directly manipulates strings, and the learnability of the subclass called hereditary EFSs (HEFSs) has been investigated in the frameworks of the PAC-learning, query-learning, and inductive inference models. The hierarchy of HEFS is expressed by HEFS(m,k,t,r), where m, k, t and r denote the number of clauses, the occurrences of variables in the head, the number of atoms in the body, and the arity of predicate symbols. The present paper deals with the learnability of HEFS in the query learning model using equivalence queries and additional queries such as membership, predicate membership, entailment membership, and dependency queries. We show that the class HEFS(*, k, t, r) is polynomial-time learnable with the equivalence and predicate membership queries and the class HEFS(*,k,*,r) with termination property is polynomial-time learnable with the equivalence, entailment membership, and dependency queries for the unbounded parameter *. A lowerbound on the number of queries is presented. We also show that the class HEFS(*,k,t,r) is hard to learn with the equivalence and membership queries under the cryptographic assumptions. Furthermore, the learnability of the class of unions of regular pattern languages, which is a subclass of HEFSs, is investigated. The bounded unions of regular pattern languages are polynomial-time predictable with membership query. However, all unbounded unions of regular pattern languages are not polynomial-time predictable with membership queries if neither are the DNF formulas." @default.
- W2268327186 created "2016-06-24" @default.
- W2268327186 creator A5028174899 @default.
- W2268327186 creator A5042449528 @default.
- W2268327186 creator A5070469480 @default.
- W2268327186 date "2000-10-01" @default.
- W2268327186 modified "2023-09-26" @default.
- W2268327186 title "Learning Elementary Formal Systems with Queries" @default.
- W2268327186 hasPublicationYear "2000" @default.
- W2268327186 type Work @default.
- W2268327186 sameAs 2268327186 @default.
- W2268327186 citedByCount "0" @default.
- W2268327186 crossrefType "journal-article" @default.
- W2268327186 hasAuthorship W2268327186A5028174899 @default.
- W2268327186 hasAuthorship W2268327186A5042449528 @default.
- W2268327186 hasAuthorship W2268327186A5070469480 @default.
- W2268327186 hasConcept C100481476 @default.
- W2268327186 hasConcept C110546421 @default.
- W2268327186 hasConcept C112505250 @default.
- W2268327186 hasConcept C114614502 @default.
- W2268327186 hasConcept C118615104 @default.
- W2268327186 hasConcept C134306372 @default.
- W2268327186 hasConcept C140146324 @default.
- W2268327186 hasConcept C154945302 @default.
- W2268327186 hasConcept C199360897 @default.
- W2268327186 hasConcept C2776013622 @default.
- W2268327186 hasConcept C2777723229 @default.
- W2268327186 hasConcept C2780069185 @default.
- W2268327186 hasConcept C311688 @default.
- W2268327186 hasConcept C33923547 @default.
- W2268327186 hasConcept C34388435 @default.
- W2268327186 hasConcept C41008148 @default.
- W2268327186 hasConcept C52370388 @default.
- W2268327186 hasConcept C80444323 @default.
- W2268327186 hasConceptScore W2268327186C100481476 @default.
- W2268327186 hasConceptScore W2268327186C110546421 @default.
- W2268327186 hasConceptScore W2268327186C112505250 @default.
- W2268327186 hasConceptScore W2268327186C114614502 @default.
- W2268327186 hasConceptScore W2268327186C118615104 @default.
- W2268327186 hasConceptScore W2268327186C134306372 @default.
- W2268327186 hasConceptScore W2268327186C140146324 @default.
- W2268327186 hasConceptScore W2268327186C154945302 @default.
- W2268327186 hasConceptScore W2268327186C199360897 @default.
- W2268327186 hasConceptScore W2268327186C2776013622 @default.
- W2268327186 hasConceptScore W2268327186C2777723229 @default.
- W2268327186 hasConceptScore W2268327186C2780069185 @default.
- W2268327186 hasConceptScore W2268327186C311688 @default.
- W2268327186 hasConceptScore W2268327186C33923547 @default.
- W2268327186 hasConceptScore W2268327186C34388435 @default.
- W2268327186 hasConceptScore W2268327186C41008148 @default.
- W2268327186 hasConceptScore W2268327186C52370388 @default.
- W2268327186 hasConceptScore W2268327186C80444323 @default.
- W2268327186 hasLocation W22683271861 @default.
- W2268327186 hasOpenAccess W2268327186 @default.
- W2268327186 hasPrimaryLocation W22683271861 @default.
- W2268327186 hasRelatedWork W1498147707 @default.
- W2268327186 hasRelatedWork W1577582484 @default.
- W2268327186 hasRelatedWork W1579679926 @default.
- W2268327186 hasRelatedWork W1789613047 @default.
- W2268327186 hasRelatedWork W179423627 @default.
- W2268327186 hasRelatedWork W1827382105 @default.
- W2268327186 hasRelatedWork W1957750398 @default.
- W2268327186 hasRelatedWork W2009592055 @default.
- W2268327186 hasRelatedWork W2030853081 @default.
- W2268327186 hasRelatedWork W2032206612 @default.
- W2268327186 hasRelatedWork W2033647831 @default.
- W2268327186 hasRelatedWork W2118328008 @default.
- W2268327186 hasRelatedWork W2163359660 @default.
- W2268327186 hasRelatedWork W21932320 @default.
- W2268327186 hasRelatedWork W2905315630 @default.
- W2268327186 hasRelatedWork W2963964662 @default.
- W2268327186 hasRelatedWork W2971830239 @default.
- W2268327186 hasRelatedWork W3023679924 @default.
- W2268327186 hasRelatedWork W806489719 @default.
- W2268327186 hasRelatedWork W2170891712 @default.
- W2268327186 hasVolume "179" @default.
- W2268327186 isParatext "false" @default.
- W2268327186 isRetracted "false" @default.
- W2268327186 magId "2268327186" @default.
- W2268327186 workType "article" @default.