maximal weighted path fn (MaximalWeightedPathFn)

This BinaryFunction assigns two GraphNodes to the GraphPath with the largest sum of weighted arcs between the two GraphNodes.

Ontologie

SUMO / GRAPH-THEORY

Class(es)

třída

inheritable relation

binární funkce

maximal weighted path fn

Související termín(y)

addition fn day fn density fn division fn edition fn exponentiation fn graph path fn hour fn intersection fn interval fn kappa fn list concatenate fn list order fn log fn max fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder fn second fn series volume fn speed fn subtraction fn temporal composition fn time interval fn union fn where fn

Typy argumentů

cesta v grafu MaximalWeightedPathFn(uzel grafu, uzel grafu)

Axiomy (2)

Jestliže "maximal weighted path fn(node1,node2)" se rovná path, potom path je instancí třídy "graph path fn(node1,node2)".

(=>
      (equal
            (MaximalWeightedPathFn ?NODE1 ?NODE2)
            ?PATH)
      (instance
            ?PATH
            (GraphPathFn ?NODE1 ?NODE2)))

jestliže "maximal weighted path fn(node1,node2)" se rovná path a "path weight fn(path)" se rovná number,
potom pro všechny path2 platí: jestliže path2 je instancí třídy "graph path fn(node1,node2)" a "path weight fn(path2)" se rovná number2, potom number2 je menší než nebo roven number1

(=>
      (and
            (equal
                  (MaximalWeightedPathFn ?NODE1 ?NODE2)
                  ?PATH)
            (equal
                  (PathWeightFn ?PATH)
                  ?NUMBER))
      (forall
            (?PATH2)
            (=>
                  (and
                        (instance
                              ?PATH2
                              (GraphPathFn ?NODE1 ?NODE2))
                        (equal
                              (PathWeightFn ?PATH2)
                              ?NUMBER2))
                  (lessThanOrEqualTo ?NUMBER2 ?NUMBER1))))