Introspection, Updates and Belief Revision as Agent Processes
Fernando Zacarías Flores, Rosalba Cuapa Canto, Erick Madrid · 2013
A novel way of building intelligent agents is deployed. This proposal considers two aspects: In the first instance, our agents have a novel mechanism for updates, simple and easy of calculating and that guarantee our agents to stay always consistent. This mechanism was introduced and formalized in [13] and it is supported by the paradigm Answer Set Programming (ASP). ASP programs are written in the language of AnsProlog and its extensions [5, 11, 12, 14]. And, in a second plane, we generalize our kind of programs accepted in [13] and we accept general clauses, disjunctive clauses and augmented clauses. Considering these two aspects, we can develop systems to approach in a direct way to intelligent behavior.