Programming in logic without logic programming

  title={Programming in logic without logic programming},
  author={Robert A. Kowalski and Fariba Sadri},
We extend a logic-based agent and production system language, LPS, from the single agent to the multi-agent case in which agents coordinate their behaviour through the medium of a shared state, which is viewed as a model-theoretic structure. In the extended language MALPS, each agent can be viewed as a collection of reactive rules: conditions  conclusions, which have both a procedural and a declarative reading. In the operational semantics of the extended language, the shared state is… CONTINUE READING
This paper has been referenced on Twitter 2 times. VIEW TWEETS

Similar Papers

Loading similar papers…