ConGolog, a concurrent programming language based on the situation calculus As an alternative to planning, an approach to high-level agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with some examples. The language includes facilities for prioritizing the execution of concurrent processes, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situation calculus. Some mathematical properties of the language are proven, for instance, that the proposed semantics is equivalent to that given earlier for the portion of the language without concurrency.

References in zbMATH (referenced in 48 articles , 2 standard articles )

Showing results 21 to 40 of 48.
Sorted by year (citations)
  1. Anderson, Joseph; Hong, Lang: Sensor resource management driven by threat projection and priorities (2008) ioport
  2. Dastani, Mehdi: 2APL: a practical agent programming language. (2008) ioport
  3. Lu, Ruqian; Jin, Zhi: From knowledge based software engineering to knowware based software engineering (2008)
  4. Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana: Reasoning about interaction protocols for customizing web service selection and composition (2007)
  5. Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael: Programming multi-agent systems in AgentSpeak using Jason (2007)
  6. de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch.: A verification framework for agent programming with declarative goals (2007)
  7. van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S.: Semantics of plan revision in intelligent agents (2006)
  8. de Boer, Frank S.; de Vries, Wieke; Meyer, John-Jules Ch.; van Eijk, Rogier M.; van der Hoek, Wiebe: Process algebra and constraint programming for modeling interactions in MAS (2005)
  9. Thielscher, Michael: Reasoning robots. The art and science of programming robotic agents (2005)
  10. van Riemsdijk, M. Birna; de Boer, Frank S.; Meyer, John-Jules Ch.: Dynamic logic for plan revision in intelligent agents (2005)
  11. Bordini, Rafael H.; Moreira, Álvaro F.: Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L) (2004)
  12. Mao, Xinjun; Yu, Eric: A formal method to model early requirement of multi-agent system (2004)
  13. Mascardi, Viviana; Martelli, Maurizio; Sterling, Leon: Logic-based specification languages for intelligent software agents (2004)
  14. Baier, Jorge A.; Pinto, Javier A.: Planning under uncertainty as GOLOG programs (2003)
  15. Fichtner, Matthias; Großmann, Axel; Thielscher, Michael: Intelligent execution monitoring in dynamic environments (2003)
  16. Giordano, Laura; Martelli, Alberto; Schwind, Camilla: Specifying and verifying systems of communicating agents in a temporal action logic (2003)
  17. Grosskreutz, Henrik; Lakemayer, Gerhard: cc-Golog -- an action language with continuous change (2003)
  18. Gans, Günter; Lakemeyer, Gerhard; Jarke, Matthias; Vits, Thomas: SNet: A modeling and simulation environment for agent networks based on i* and ConGolog (2002)
  19. Alechina, Natasha; Logan, Brian: Logical omniscience and the cost of deliberation (2001)
  20. De Giacomo, Giuseppe; Levesque, Hector J.; Sardiña, Sebastian: Incremental execution of guarded theories (2001)