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 42 articles , 2 standard articles )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. De Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian: Agent planning programs (2016)
  2. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  3. Liaskos, Sotirios; Khan, Shakil M.; Litoiu, Marin; Jungblut, Marina Daoud; Rogozhkin, Vyacheslav; Mylopoulos, John: Behavioral adaptation of information systems through goal models (2012) ioport
  4. Schiffer, Stefan; Ferrein, Alexander; Lakemeyer, Gerhard: Reasoning with qualitative positional information for domestic domains in the situation calculus (2012) ioport
  5. Bienvenu, Meghyn; Fritz, Christian; Mcilraith, Sheila A.: Specifying and computing preferred plans (2011)
  6. Blom, Michelle L.; Pearce, Adrian R.: Relaxing regression for a heuristic GOLOG (2011)
  7. Mermet, Bruno; Simon, Gaële: Specifying recursive agents with gdts (2011) ioport
  8. Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo: Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? (2010)
  9. Claßen, Jens; Lakemeyer, Gerhard: On the verification of very expressive temporal properties of non-terminating Golog programs (2010)
  10. Khan, Shakil M.; Lespérance, Yves: Prioritized goals and subgoals in a logical account of goal change -- a preliminary report (2010)
  11. Lakemeyer, Gerhard: The situation calculus: a case for modal logic (2010)
  12. Bryl, Volha; Giorgini, Paolo; Mylopoulos, John: Designing socio-technical systems: From stakeholder goals to social networks (2009) ioport
  13. Kiringa, Iluju: Specifying active databases as non-Markovian theories of actions (2009) ioport
  14. Kiringa, Iluju: Specifying active databases as non-Markovian theories of actions (2009) ioport
  15. Lapouchnian, Alexei; Lespérance, Yves: Using the ConGolog and CASL formal agent specification languages for the analysis, verification, and simulation of $i^*$ models (2009) ioport
  16. Anderson, Joseph; Hong, Lang: Sensor resource management driven by threat projection and priorities (2008) ioport
  17. Dastani, Mehdi: 2APL: a practical agent programming language. (2008) ioport
  18. Lu, Ruqian; Jin, Zhi: From knowledge based software engineering to knowware based software engineering (2008)
  19. Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael: Programming multi-agent systems in AgentSpeak using Jason (2007)
  20. 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)

1 2 3 next