Sentence examples for theories d from inspiring English sources

The SUSSI questionnaire is composed of sections to measure six aspects of NOS views: a) Observations & Inferences, b) Change of Scientific Theories, c) Scientific Laws versus Theories, d) Social & Cultural Influences on Science, e) Imagination & Creativity in Scientific Investigations, and f) Methodology of Scientific Investigation.

An action theory D of AL defines a transition diagram T D) containing all the possible trajectories of the domain.

The development of a planner for a given dynamic domain starts with encoding the knowledge about fluents and actions of the domain as an action theory D of some action language.

This translates to the following set of constraints which must apply to the default theory (D, W) for it to be convertible to an RDR tree: 1.

A default theory (D, W)  mapped from an NRDR K, is a collection of strata where every stratum corresponds to a concept definition.

In default logic, commonsense knowledge about the world is represented as a default theory (D, W) where D is a set of named defaults, and W is a set of axioms of the theory.

To convert an NRDR knowledge base K to a default theory (D, W),  every single RDR tree in K is converted to a default theory according to the mapping which was presented in Sect.

In summary, given a default theory (D, W) which follows conditions 1 to 6 for all its strata, and the above constraint on defaults from different strata, then (D, W) can be converted to an NRDR knowledge base.

Hence, to apply the corresponding reverse process to a default theory (D, W), whereby every default corresponds to a path in the corresponding RDR tree, defaults in D must apply in separation.

Open image in new window Fig. 4 Conversion steps from a prioritised default theory D to an NRDR Knowledge Base K.  Step 1 is grouping the defaults into a set of prioritised strata of defaults.

Using standard tools of the variational theory and the Ljusternik-Schnirelmann category theory, Ding and Xiao [4] have proved that system (1.3) has at least catΩ positive solutions if λ, δ satisfied a certain condition.