• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Representing the Zoo World and the Traffic World in the language of the Causal Calculator

      Thumbnail
      View/Open
      Full printable version (272.9Kb)
      Author
      Akman, V.
      Erdoğan, S. T.
      Lee, J.
      Lifschitz, V.
      Turner, H.
      Date
      2004-03
      Journal Title
      Artificial Intelligence
      ISSN
      0004-3702
       
      1872-7921
       
      Publisher
      Elsevier
      Volume
      153
      Issue
      1-2
      Pages
      105 - 140
      Language
      English
      Type
      Article
      Metadata
      Show full item record
      Please cite this item using this persistent URL
      http://hdl.handle.net/11693/11269
      Abstract
      The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCALC) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. The Zoo World consists of several cages and the exterior, gates between them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCALC, and how to use CCALC to test these representations.(C)2003 Elsevier B.V. All rights reserved.
      Published as
      http://dx.doi.org/10.1016/j.artint.2003.08.002
      Collections
      • Department of Computer Engineering 1108

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the webmaster. Phone: (312) 290 1771
      Copyright © Bilkent University | Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin