Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems containing numeric goal expressions. We report on planner S-MEP (Sequential More Expressive Planner) in this paper. S-MEP handles non-linear as well as linear expressions in preconditions, effects and goal. Metric-FF h...

in this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...

The complexity (quasi-pseudo-metric) spaces have been introduced as part of the development of a topological foundation for the complexity analysis of algorithms ((Sch95]). Applications of this theory to the complexity analysis of Divide & Conquer algorithms have been discussed in Sch95]. Typically these applications involve xed point arguments based on the Smyth completion. The notion of S-com...

In today's lecture, we will present a randomized algorithm that embeds any arbitrary metric into a dominating tree metric such that each edge is distorted, in expectation, in the worst case by a factor of O(log n) and such that each edge is not contracted. Recall that a metric on graph G = (V, E) is a function d : E → R. One can define a metric M = (X, d) on an arbitrary set of vertices X with ...

In this paper, we introduce the notions of S-proximal Berinde g-cyclic contraction two nonself mappings and g-contractions first kind second in an S-metric space prove some coincidence best proximity point theorems for these types space. Also, give examples to analyze support our main results. The results presented here generalize existing literature.

We show that the Hausdorff metric over constant-size pointsets in constant-dimensional Euclidean space admits an embedding into constant-dimensional `∞ space with constant distortion. More specifically for any s, d ≥ 1, we obtain an embedding of the Hausdorff metric over pointsets of size s in d-dimensional Euclidean space, into `s ∞ with distortion sO(s+d). We remark that any metric space M ad...

In this paper we prove existence of fixed point theorems for Z-contractive map, Geraghty type contractive map and interpolative Hardy-Rogers type contractive mapping in the setting of SJS- metric spaces with two metrics. Examples are constructed to high light the significance of newly obtained results.