Defeasible Robot Control Based on Vector Annotated Logic Programming (Prefiminary Version) - Programa de Incentivo à Publicação
Obra: Defeasible Robot Control Based on Vector Annotated Logic Programming (Prefiminary Version)
Autor: Kazumi Nakamatsu, Jair Minoro Abe e Atsuyuki Suzuki
We have already proposed an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strang Negation) to deal with defeasible deontic reasoning. In this paper, we propose a defeasible deontic behavior contrai system for a robot based on EVALPSN. We suppose a beetle robot who is travelling a maze with some kinds of obstacles and has some different kinds of sensors to detect the obstacles. If some sensor values are input to the robot control, the next acuon that the robot shou/d do is cornputed by the EVALPSN programming system.