Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches

2021 ◽  
Author(s):  
Dominik Drexler ◽  
Jendrik Seipp ◽  
Hector Geffner
Keyword(s):  
Polynomial Time ◽  
General Problem ◽  
Single Step ◽  
Temporal Logics ◽  
Specific Knowledge ◽  
Domain Specific ◽  
Planning Methods ◽  
Domain Specific Knowledge ◽  
The Common

Width-based planning methods deal with conjunctive goals by decomposing problems into subproblems of low width. Algorithms like SIW thus fail when the goal is not easily serializable in this way or when some of the subproblems have a high width. In this work, we address these limitations by using a simple but powerful language for expressing finer problem decompositions introduced recently by Bonet and Geffner, called policy sketches. A policy sketch R over a set of Boolean and numerical features is a set of sketch rules that express how the values of these features are supposed to change. Like general policies, policy sketches are domain general, but unlike policies, the changes captured by sketch rules do not need to be achieved in a single step. We show that many planning domains that cannot be solved by SIW are provably solvable in low polynomial time with the SIW_R algorithm, the version of SIW that employs user-provided policy sketches. Policy sketches are thus shown to be a powerful language for expressing domain-specific knowledge in a simple and compact way and a convenient alternative to languages such as HTNs or temporal logics. Furthermore, they make it easy to express general problem decompositions and prove key properties of them like their width and complexity.

Critique: The Case for Instruction in the Use of General Problem-Solving Strategies in Mathematics Teaching: A Comment on Owen and Sweller

1990 ◽  
Vol 21 (5) ◽  
pp. 403-410
Author(s):  
Michael J. Lawson
Keyword(s):  
Problem Solving ◽  
General Problem ◽  
Mathematics Teaching ◽  
Worked Examples ◽  
Specific Knowledge ◽  
Domain Specific ◽  
Domain Specific Knowledge ◽  
Explicit Consideration ◽  
Problem Solving Strategies ◽  
Knowledge And Practice

Owen and Sweller (1989) question the wisdom of recent moves to allocate time in mathematics teaching to instruction in the use of general problem-solving strategies because they doubt that such instruction will help overcome problems in the transfer of learning. According to Owen and Sweller transfer failure is more likely to be the result of a lack of appropriate schema or insufficient automation of rules. They imply that attention allocated to general problem-solving strategies would be more appropriately diverted to instruction concerned with domain-specific knowledge and practice with worked examples and goal-modified problems. Because curricula in several countries are in the process of being modified to incorporate explicit consideration of the nature of general problem-solving strategies, Owen and Sweller's view that the evidence on the efficacy of such instruction is “very sparse” deserves examination.

scholarly journals Molecular Transformer-aided Biocatalysed Synthesis Planning

2021 ◽  
Author(s):  
Daniel Probst ◽  
Matteo Manica ◽  
Yves Gaëtan Nana Teukam ◽  
Alessandro Castrogiovanni ◽  
Federico Paratore ◽  
...  
Keyword(s):  
Green Chemistry ◽  
Enzymatic Catalysis ◽  
Large Data ◽  
Single Step ◽  
Specific Knowledge ◽  
Data Set ◽  
Domain Specific ◽  
Forward Prediction ◽  
Pathway Prediction ◽  
Domain Specific Knowledge

Enzyme catalysts are an integral part of green chemistry strategies towards a more sustainable and resource-efficient chemical synthesis. However, the use of enzymes on unreported substrates and their specific stereo- and regioselectivity are domain-specific knowledge factors that require decades of field experience to master. This makes the retrosynthesis of given targets with biocatalysed reactions a significant challenge. Here, we use the molecular transformer architecture to capture the latent knowledge about enzymatic activity from a large data set of publicly available biochemical reactions, extending forward reaction and retrosynthetic pathway prediction to the domain of biocatalysis. We introduce the use of a class token based on the EC classification scheme that allows to capture catalysis patterns among different enzymes belonging to the same hierarchical families. The forward prediction model achieves an accuracy of 49.6% and 62.7%, top-1 and top-5 respectively, while the single-step retrosynthetic model shows a round-trip accuracy of 39.6% and 42.6%, top-1 and top-10 respectively. Trained models and curated data are made publicly available with the hope of promoting enzymatic catalysis and making green chemistry more accessible through the use of digital technologies.

scholarly journals Molecular Transformer-aided Biocatalysed Synthesis Planning

2021 ◽  
Author(s):  
Daniel Probst ◽  
Matteo Manica ◽  
Yves Gaëtan Nana Teukam ◽  
Alessandro Castrogiovanni ◽  
Federico Paratore ◽  
...  
Keyword(s):  
Green Chemistry ◽  
Enzymatic Catalysis ◽  
Large Data ◽  
Single Step ◽  
Specific Knowledge ◽  
Data Set ◽  
Domain Specific ◽  
Forward Prediction ◽  
Pathway Prediction ◽  
Domain Specific Knowledge

Enzyme catalysts are an integral part of green chemistry strategies towards a more sustainable and resource-efficient chemical synthesis. However, the use of enzymes on unreported substrates and their specific stereo- and regioselectivity are domain-specific knowledge factors that require decades of field experience to master. This makes the retrosynthesis of given targets with biocatalysed reactions a significant challenge. Here, we use the molecular transformer architecture to capture the latent knowledge about enzymatic activity from a large data set of publicly available biochemical reactions, extending forward reaction and retrosynthetic pathway prediction to the domain of biocatalysis. We introduce the use of a class token based on the EC classification scheme that allows to capture catalysis patterns among different enzymes belonging to the same hierarchical families. The forward prediction model achieves an accuracy of 49.6% and 62.7%, top-1 and top-5 respectively, while the single-step retrosynthetic model shows a round-trip accuracy of 39.6% and 42.6%, top-1 and top-10 respectively. Trained models and curated data are made publicly available with the hope of promoting enzymatic catalysis and making green chemistry more accessible through the use of digital technologies.

‘I’m an expert in me and I know what I can cope with’: Patient expertise in rheumatoid arthritis

2014 ◽  
Vol 10 (3) ◽  
pp. 249-261 ◽  
Author(s):  
Tessa Sanderson ◽  
Jo Angouri
Keyword(s):  
Rheumatoid Arthritis ◽  
Meta Analysis ◽  
Healthcare Systems ◽  
Specific Knowledge ◽  
Active Involvement ◽  
Domain Specific ◽  
Access To Health ◽  
Patient Expertise ◽  
Domain Specific Knowledge ◽  
The Uk

The active involvement of patients in decision-making and the focus on patient expertise in managing chronic illness constitutes a priority in many healthcare systems including the NHS in the UK. With easier access to health information, patients are almost expected to be (or present self) as an ‘expert patient’ (Ziebland 2004). This paper draws on the meta-analysis of interview data collected for identifying treatment outcomes important to patients with rheumatoid arthritis (RA). Taking a discourse approach to identity, the discussion focuses on the resources used in the negotiation and co-construction of expert identities, including domain-specific knowledge, access to institutional resources, and ability to self-manage. The analysis shows that expertise is both projected (institutionally sanctioned) and claimed by the patient (self-defined). We close the paper by highlighting the limitations of our pilot study and suggest avenues for further research.

Domain-Specific Knowledge Systems in the Brain: The Animate-Inanimate Distinction

1998 ◽  
Vol 10 (1) ◽  
pp. 1-34 ◽  
Author(s):  
Alfonso Caramazza ◽  
Jennifer R. Shelton
Keyword(s):  
Knowledge Systems ◽  
Neural Mechanisms ◽  
Specific Knowledge ◽  
Knowledge Framework ◽  
Semantic Categories ◽  
Domain Specific ◽  
Domain Specific Knowledge ◽  
Cognitive Neuropsychological ◽  
The Brain ◽  
Selective Impairment

We claim that the animate and inanimate conceptual categories represent evolutionarily adapted domain-specific knowledge systems that are subserved by distinct neural mechanisms, thereby allowing for their selective impairment in conditions of brain damage. On this view, (some of) the category-specific deficits that have recently been reported in the cognitive neuropsychological literature—for example, the selective damage or sparing of knowledge about animals—are truly categorical effects. Here, we articulate and defend this thesis against the dominant, reductionist theory of category-specific deficits, which holds that the categorical nature of the deficits is the result of selective damage to noncategorically organized visual or functional semantic subsystems. On the latter view, the sensory/functional dimension provides the fundamental organizing principle of the semantic system. Since, according to the latter theory, sensory and functional properties are differentially important in determining the meaning of the members of different semantic categories, selective damage to the visual or the functional semantic subsystem will result in a category-like deficit. A review of the literature and the results of a new case of category-specific deficit will show that the domain-specific knowledge framework provides a better account of category-specific deficits than the sensory/functional dichotomy theory.

scholarly journals Toward Knowledge Management for Smart Manufacturing

2017 ◽  
Vol 17 (3) ◽  
Author(s):  
Shaw C. Feng ◽  
William Z. Bernstein ◽  
Thomas Hedberg ◽  
Allison Barnard Feeney
Keyword(s):  
Knowledge Management ◽  
Design Process ◽  
Process Planning ◽  
Smart Manufacturing ◽  
Specific Knowledge ◽  
Domain Specific ◽  
Domain Specific Knowledge ◽  
Knowledge Objects ◽  
Planning Production

The need for capturing knowledge in the digital form in design, process planning, production, and inspection has increasingly become an issue in manufacturing industries as the variety and complexity of product lifecycle applications increase. Both knowledge and data need to be well managed for quality assurance, lifecycle impact assessment, and design improvement. Some technical barriers exist today that inhibit industry from fully utilizing design, planning, processing, and inspection knowledge. The primary barrier is a lack of a well-accepted mechanism that enables users to integrate data and knowledge. This paper prescribes knowledge management to address a lack of mechanisms for integrating, sharing, and updating domain-specific knowledge in smart manufacturing (SM). Aspects of the knowledge constructs include conceptual design, detailed design, process planning, material property, production, and inspection. The main contribution of this paper is to provide a methodology on what knowledge manufacturing organizations access, update, and archive in the context of SM. The case study in this paper provides some example knowledge objects to enable SM.

Sign in / Sign up

Export Citation Format

Share Document