Resource-conscious AI planning with conjunctions and disjunctions

Küngas Peep: Resource-conscious AI planning with conjunctions and disjunctions. In: Acta cybernetica, (15) 4. pp. 601-620. (2002)

Előnézet

Cikk, tanulmány, mű cybernetica_015_numb_004_601-620.pdf Letöltés (1MB) | Előnézet

Absztrakt (kivonat)

The aim of this work is to develop a resource-conscious Artificial Intelligence (AI) planning system, which allows for nondeterminism in the environment. Such planner has a potential in applications where actions in "real world" are considered. The planning process is based on proof search for a fragment of Linear Logic (LL) [10] sequents using a subset of LL rules. As LL is resourceconscious and has additive disjunction connective (represents nondeterminism), LL sequents are used to describe an application domain, whereby every LL sequent represents pre- and postconditions of a particular action execution. We present an idea to use Petri net reachability tree analysis for finding proofs for propositional LL sequents. Game playing is used to solve LL additive disjunctions. From LL proofs plans are extracted which because of underlying LL properties keep track of resources and handle both deterministic and nondeterministic actions.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2002
Kötet:	15
Szám:	4
ISSN:	0324-721X
Oldalak:	pp. 601-620
Nyelv:	angol
Kiadás helye:	Szeged
Konferencia neve:	Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38514/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 617-620. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:25
Utolsó módosítás:	2022. jún. 14. 14:32
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12698

Bővebben:

Tétel nézet