Extending ConGolog to allow partial ordering

Chitta Baral, Tran Cao Son

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

In this paper we extend the high level execution language ConGolog (developed at the University of Toronto) by adding to it a new construct which we call the htn-construct. The new construct improves ConGolog by allowing easy specification of non-determinism when a partial ordering between a set of actions needs to be maintained. Furthermore, it allows temporal constraints to be specified easily. We present an implementation of the htn-construct in PROLOG which can be directly added to PROLOG implementations of ConGolog interpreters.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages188-204
Number of pages17
Volume1757
ISBN (Print)3540672001, 9783540672005
StatePublished - 2000
Event6th International Workshop on Agent Theories Architectures and Languages, ATAL 1999 - Orlando, United States
Duration: Jul 15 1999Jul 17 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1757
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other6th International Workshop on Agent Theories Architectures and Languages, ATAL 1999
CountryUnited States
CityOrlando
Period7/15/997/17/99

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Extending ConGolog to allow partial ordering'. Together they form a unique fingerprint.

  • Cite this

    Baral, C., & Son, T. C. (2000). Extending ConGolog to allow partial ordering. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1757, pp. 188-204). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1757). Springer Verlag.