• 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 / Download
      272.9 Kb
      Author
      Akman, V.
      Erdoğan, S. T.
      Lee, J.
      Lifschitz, V.
      Turner, H.
      Date
      2004-03
      Source Title
      Artificial Intelligence
      Print ISSN
      0004-3702
       
      1872-7921
       
      Publisher
      Elsevier
      Volume
      153
      Issue
      1-2
      Pages
      105 - 140
      Language
      English
      Type
      Article
      Item Usage Stats
      114
      views
      80
      downloads
      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.
      Keywords
      Reasoning About Actions
      Commonsense Reasoning
      Knowledge Representation
      Action Languages
      Permalink
      http://hdl.handle.net/11693/11269
      Published Version (Please cite this version)
      http://dx.doi.org/10.1016/j.artint.2003.08.002
      Collections
      • Department of Computer Engineering 1368
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

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

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