Obra: Defeasible Robot Control Based on Vector Annotated Logic Programming (Prefiminary Version)
Autor: Kazumi Nakamatsu, Jair Minoro Abe e Atsuyuki Suzuki3
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 beatle rabot who is travelling a maze with some kinds of obstacles and has some dfterent 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.