Matches in SemOpenAlex for { <https://semopenalex.org/work/W60739440> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W60739440 endingPage "222" @default.
- W60739440 startingPage "205" @default.
- W60739440 abstract "The need for expressing and using metalevel knowledge is emerging in the design of several kinds of AI systems. The careful distinction between object-level and metalevel notions and the formalization of the latter has first been carried out by logicians for foundational reasons; subsequently, the distinction has been exploited in Artificial Intelligence and Computation Theory, revealing itself to be of great relevance to Automated Deduction and Problem Solving. This paper concentrates on the use of metaknowledge in building knowledge-based systems. In order to introduce the issue, some motivating examples are presented. We then review various paradigms for combining knowledge and metaknowledge, with the aim of abstracting general criteria that should underly the construction of viable AI systems, as far as metaknowledge is concerned. Furthermore, a general overview of the uses of metaknowledge in AI is provided and, among them, we concentrate on inference control, which can be conveniently exercised by formalizing control strategies at the metalevel and by letting the inference engine depend on metalevel descriptions. The technique is presented with the aid of some examples, chosen from practical AI applications, that are expressed in the formalism of Horn clause logic. The issue of self-descriptive systems is then addressed. A system that embodies and can use an adequate description of itself allows for self-evaluation (e.g., the estimate of the resources needed to perform a given task) and for self-modification (e.g., the automatic improvement of deduction performance by profiting from experience gained in previous deductions)." @default.
- W60739440 created "2016-06-24" @default.
- W60739440 creator A5005687530 @default.
- W60739440 creator A5061277542 @default.
- W60739440 creator A5089411731 @default.
- W60739440 date "1991-03-01" @default.
- W60739440 modified "2023-09-26" @default.
- W60739440 title "Representation and use of metaknowledge" @default.
- W60739440 hasPublicationYear "1991" @default.
- W60739440 type Work @default.
- W60739440 sameAs 60739440 @default.
- W60739440 citedByCount "0" @default.
- W60739440 crossrefType "journal-article" @default.
- W60739440 hasAuthorship W60739440A5005687530 @default.
- W60739440 hasAuthorship W60739440A5061277542 @default.
- W60739440 hasAuthorship W60739440A5089411731 @default.
- W60739440 hasConcept C128838566 @default.
- W60739440 hasConcept C142362112 @default.
- W60739440 hasConcept C153349607 @default.
- W60739440 hasConcept C154945302 @default.
- W60739440 hasConcept C158154518 @default.
- W60739440 hasConcept C161301231 @default.
- W60739440 hasConcept C162324750 @default.
- W60739440 hasConcept C17744445 @default.
- W60739440 hasConcept C187736073 @default.
- W60739440 hasConcept C189790780 @default.
- W60739440 hasConcept C199539241 @default.
- W60739440 hasConcept C2775924081 @default.
- W60739440 hasConcept C2776214188 @default.
- W60739440 hasConcept C2776359362 @default.
- W60739440 hasConcept C2780451532 @default.
- W60739440 hasConcept C3746660 @default.
- W60739440 hasConcept C41008148 @default.
- W60739440 hasConcept C558565934 @default.
- W60739440 hasConcept C73301696 @default.
- W60739440 hasConcept C94625758 @default.
- W60739440 hasConceptScore W60739440C128838566 @default.
- W60739440 hasConceptScore W60739440C142362112 @default.
- W60739440 hasConceptScore W60739440C153349607 @default.
- W60739440 hasConceptScore W60739440C154945302 @default.
- W60739440 hasConceptScore W60739440C158154518 @default.
- W60739440 hasConceptScore W60739440C161301231 @default.
- W60739440 hasConceptScore W60739440C162324750 @default.
- W60739440 hasConceptScore W60739440C17744445 @default.
- W60739440 hasConceptScore W60739440C187736073 @default.
- W60739440 hasConceptScore W60739440C189790780 @default.
- W60739440 hasConceptScore W60739440C199539241 @default.
- W60739440 hasConceptScore W60739440C2775924081 @default.
- W60739440 hasConceptScore W60739440C2776214188 @default.
- W60739440 hasConceptScore W60739440C2776359362 @default.
- W60739440 hasConceptScore W60739440C2780451532 @default.
- W60739440 hasConceptScore W60739440C3746660 @default.
- W60739440 hasConceptScore W60739440C41008148 @default.
- W60739440 hasConceptScore W60739440C558565934 @default.
- W60739440 hasConceptScore W60739440C73301696 @default.
- W60739440 hasConceptScore W60739440C94625758 @default.
- W60739440 hasLocation W607394401 @default.
- W60739440 hasOpenAccess W60739440 @default.
- W60739440 hasPrimaryLocation W607394401 @default.
- W60739440 hasRelatedWork W116751478 @default.
- W60739440 hasRelatedWork W1552817877 @default.
- W60739440 hasRelatedWork W1573356527 @default.
- W60739440 hasRelatedWork W1590094211 @default.
- W60739440 hasRelatedWork W1600675373 @default.
- W60739440 hasRelatedWork W1683212044 @default.
- W60739440 hasRelatedWork W1997092091 @default.
- W60739440 hasRelatedWork W2034068590 @default.
- W60739440 hasRelatedWork W2035346816 @default.
- W60739440 hasRelatedWork W2059781242 @default.
- W60739440 hasRelatedWork W2092485130 @default.
- W60739440 hasRelatedWork W2144546400 @default.
- W60739440 hasRelatedWork W2480715011 @default.
- W60739440 hasRelatedWork W2494252024 @default.
- W60739440 hasRelatedWork W2613111260 @default.
- W60739440 hasRelatedWork W2760912933 @default.
- W60739440 hasRelatedWork W2761902018 @default.
- W60739440 hasRelatedWork W41934381 @default.
- W60739440 hasRelatedWork W64862338 @default.
- W60739440 hasRelatedWork W2187382322 @default.
- W60739440 isParatext "false" @default.
- W60739440 isRetracted "false" @default.
- W60739440 magId "60739440" @default.
- W60739440 workType "article" @default.