Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: literal

Sortuj według:

Ogranicz wyniki do:

Towards a solution to a plan-formation problem

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2002

Nr 948

1-18

The paper deals with the problem of achieving a goal in a system in which certain actions can be executed. The initial state and the states that may be reached from this state by executing actions are represented by sets of sente nces, each sentence saying that some objects are or are not in a relation. Available actions are represented as instances of rewriting rules. The problem consists in finding a sequence of actions that leads from the initia l state to a state in which the goal is achieved. The presented solution to this problem for a class of systems is based on reducing it to the problem of reachability in contextual Petri nets.

Praca dotyczy problemu osiągania celu w systemie, w którym można wykonywać pewne akcje. Stan początkowy i stany, które moga być z tego stanu osiągnięte przez wykohnywanire akcji, są reprezentowane przez zbiory zadań, z których każde orzeka, że pewne obiekty są lub nie są w pewnych relacjach. Możliwe akcje sa reprezentowane jako instancje pewnych reguł przekształcania. Problem polega na znalezieniu ciągu akcji prowadzącego ze stanu początkowego do stanu, w którym cel jest osiągnięty. Proponowane rozwiązanie tego problemu dla pewnej klasy systemów polega na jego redukowaniu do problemu osiągalności w kontekstowych sieciach Petriego.