Programming in logic without logic programming

@article{Kowalski2016ProgrammingIL,
  title={Programming in logic without logic programming},
  author={Robert A. Kowalski and Fariba Sadri},
  journal={TPLP},
  year={2016},
  volume={16},
  pages={269-295}
}
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
Tweets
This paper has been referenced on Twitter 2 times. VIEW TWEETS

Similar Papers

Loading similar papers…