Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili
ftp://ftp.dis.uniroma1.it/pub/iocchi/publications/
http://www.dis.uniroma1.it/~iocchi/publications/ti
ftp://ftp.dis.uniroma1.it/pub/rosati/papers/aiia96
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Giuseppe De Giacomo and Luca Iocchi and Daniele Nardi and Riccardo Rosati},
title = {Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili},
year = {}
}
Bookmarks
OpenURL
Abstract:
canismo della sussunzione per ragionare sui piani. Seguendo la corrispondenza tra PDL e DL si ottiene invece una descrizione degli stati in termini di concetti e delle azioni in termini di ruoli. Sulla base di questa rappresentazione e stato realizzato nel sistema CLASSIC un modulo per la pianificazione delle azioni di "Tino", un robot mobile appartenente alla famiglia di Erratic [9]. Il presente lavoro e organizzato come segue. Nella Sezione 2 viene presentato il formalismo per ragionare sulle azioni proprio delle logiche dinamiche e viene indicato come utilizzare tale formalismo in termini di logiche descrittive, nella Sezione 3 viene descritta l'implementazione del sistema di pianificazione del robot mobile "Tino" nel sistema CLASSIC. 2 Ragionare sulle azioni: dalle PDL alle DL I sistemi dinamici sono tipicamente modellati in termini di stati e azioni. Uno stato denota una situazione in cui puo trovars
