Abstract
Although there has been a growing body of literature on verification of agents programs, it has been difficult to design a verification logic for agent programs that fully characterizes such programs and to connect agent programs to agent theory. The challenge is to define an agent programming language that defines a computational framework but also allows for a logical characterization useful for verification. The agent programming language Goal has been originally designed to connect agent programming to agent theory and we present additional results here that Goal agents can be fully represented by a logical theory. Goal agents can thus be said to execute the corresponding logical theory.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
