We present the semantics of processes for planning tasks. We target Task-Method-Knowledge (TMK) process models, a widely used formalization of processes. These semantics are formalized by proving that Task-Method-Knowledge (TMK) process models can be translated into equivalent Hierarchical Task Networks (HTNs). We construct a Turing-computable translation function that maps TMK process model co...

Cílem této práce, jejíž hlavní autorkou je MUDr. Petra Hliňáková z Dětské stomatologické kliniky, bylo poskytnout vhodný matematický model pro analýzy temporomandibulárního kloubu. Detailní znalost morfologie a funkce tohoto skloubení je zásadní pro klinické užití a pro analýzu funkce náhrad TMK (temporomandibulární kloub). Pohyby temporomandibulárního kloubu jsou dokonale biomechanicky proprac...

How can we integrate interrelated theories of individual elements of cognition? Computational models of reasoning processes encode an understanding of reasoning. Consequently, a computational modeling language may be ideally suited to the presentation of theories of cognition. By representing theories of a variety of phenomena in a single modeling language, we can potentially explore how these ...

With the explosion of healthcare information, there has been a tremendous amount of heterogeneous textual medical knowledge (TMK), which plays an essential role in healthcare information systems. Existing works for integrating and utilizing the TMK mainly focus on straightforward connections establishment and pay less attention to make computers interpret and retrieve knowledge correctly and qu...

The genome of a novel group II alphabaculovirus, Perigonia lusca single nucleopolyhedrovirus (PeluSNPV), was sequenced and shown to contain 132,831 bp with 145 putative ORFs (open reading frames) of at least 50 amino acids. An interesting feature of this novel genome was the presence of a putative nucleotide metabolism enzyme-encoding gene (pelu112). The pelu112 gene was predicted to encode a f...

In this paper we explore the idea of reflection in the context of scientific exploration. How does an agent reflect upon its behavior in order to enable productive exploration? We outline an abstract cognitive architecture for combining reflection and exploration. To achieve this we present a language for modeling cognition: the Task-Method-Knowledge (TMK) language. We further present a computa...

In this paper we explore the use of Hierarchical-Task-Network (HTN) representations to model strategic game AI. We will present two case studies. The first one reports on an experiment using HTNs to model strategies for Unreal Tournament® (UT) bots. We will argue that it is possible to encode strategies that coordinate teams of bots in first-person shooter games using HTNs. The second one compa...

tmk is a tool that embeds the functionality of make in the scripting language Tcl in a very simple and convenient way. Furthermore, tmk allows higher levels of abstraction via modules and a flexible configuration framework. In addition to using tmk simply as a replacement for make, the users can create projects with global methods, objects, and options, and extend or modify the globally defined...

Thymidylate kinase (TMK) catalyses the phosphorylation of dTMP to form dTDP in both the de novo and salvage pathways of dTTP synthesis. The tmk gene from the bacterial pathogen Streptococcus pneumoniae was identified. The gene, encoding a 212-amino-acid polypeptide (23352 Da), was cloned and overexpressed in Escherichia coli with an N-terminal hexahistidine tag. The enzyme was purified to homog...

Abstract In this research, treated metakaolinite (TMK) was introduced into the TiO 2 photoelectrode to fabricated dye-sensitized solar cells (DSSCs). The photovoltaic have four main natural components, i.e., a photosensitizer (carotenoid bixin), (TiO /kaolinite), electrolyte (glycerine carbonate derivative), and counter-electrode (carbon). Their stability, reusability, equivalent circuit were s...