ConGolog
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.
Keywords for this software
References in zbMATH (referenced in 48 articles , 2 standard articles )
Showing results 1 to 20 of 48.
Sorted by year (- De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray: Non-terminating processes in the situation calculus (2020)
- De Giacomo, Giuseppe; Gerevini, Alfonso Emilio; Patrizi, Fabio; Saetti, Alessandro; Sardina, Sebastian: Agent planning programs (2016)
- De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
- Herzig, Andreas; Perrussel, Laurent; Xiao, Zhanhao: On hierarchical task networks (2016)
- Liaskos, Sotirios; Khan, Shakil M.; Litoiu, Marin; Jungblut, Marina Daoud; Rogozhkin, Vyacheslav; Mylopoulos, John: Behavioral adaptation of information systems through goal models (2012) ioport
- Schiffer, Stefan; Ferrein, Alexander; Lakemeyer, Gerhard: Reasoning with qualitative positional information for domestic domains in the situation calculus (2012) ioport
- Bienvenu, Meghyn; Fritz, Christian; Mcilraith, Sheila A.: Specifying and computing preferred plans (2011)
- Blom, Michelle L.; Pearce, Adrian R.: Relaxing regression for a heuristic GOLOG (2011)
- Gabaldon, Alfredo: Making Golog norm compliant (2011)
- Mermet, Bruno; Simon, Gaële: Specifying recursive agents with gdts (2011) ioport
- Morgenstern, Leora; McIlraith, Sheila A.: John McCarthy’s legacy (2011)
- Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo: Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? (2010)
- Claßen, Jens; Lakemeyer, Gerhard: On the verification of very expressive temporal properties of non-terminating Golog programs (2010)
- Khan, Shakil M.; Lespérance, Yves: Prioritized goals and subgoals in a logical account of goal change -- a preliminary report (2010)
- Lakemeyer, Gerhard: The situation calculus: a case for modal logic (2010)
- Bryl, Volha; Giorgini, Paolo; Mylopoulos, John: Designing socio-technical systems: From stakeholder goals to social networks (2009) ioport
- Kiringa, Iluju: Specifying active databases as non-Markovian theories of actions (2009) ioport
- Kiringa, Iluju: Specifying active databases as non-Markovian theories of actions (2009) ioport
- 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
- Slota, Martin; Leite, João: EVOLP: Tranformation-based semantics (2009)