Formalising the Fisherman's Folly puzzle
نویسندگان
چکیده
This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, whose models generalise the stable model semantics.
منابع مشابه
The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology
In this paper we propose a spatial ontology for reasoning about holes, rigid objects and a string, taking a classical puzzle as a motivating example. In this ontology the domain is composed of spatial regions whereby a theory about holes is defined over a mereotopological basis. Within this theory we define a data structure, named chain, that facilitates a clear and efficient representation of ...
متن کاملAn Investigation of Actions, Change and Space
This work investigates the spatial knowledge and automated solution of a domain composed of non-trivial objects such as strings and holed objects. Formalising the Fisherman’s Folly Puzzle The work presented in (Cabalar and Santos 2011; Santos and Cabalar 2008) has concentrated on the formalisation and automated solution of the Fisherman’s Folly puzzle (shown in Figure 3), whose goal is to relea...
متن کاملComparison of Lecture and Puzzle for Teaching Medical Emergency to Anesthesiology Students: Students’ Learning and Viewpoints
Introduction: Emphasis on active learning in training leads to the development of new educational strategies for teaching theoretical and clinical courses in medical sciences. Active involvement in the teaching-learning process improves learning. The purpose of the present study is to compare two methods of lecturing and puzzle in Medical Emergency Course, regarding students’ learning & viewpoi...
متن کاملUntrammeled growth as an environmental “ March of Folly ”
The themewe explore in this paper is that uncontrolled growth and resulting environmental damage can be considered as an Environmental March of Folly. A folly has been defined as the pursuit of policies that are contrary to the pursuers own long-term interests. For an event or series of events to be considered a folly, three criteria must bemet. The policy must be perceived as counter-productiv...
متن کاملIntroducing an Invention: Puzzle Shaped Cast for Upper Limb Fractures
Upper limb fractures are prevalent injuries. An essential element of fracture healing is to maintain the bones alignment. However there are lots of complications associated with traditional ways of treatment, such as compartment syndrome and stiffness due to immobility for long time. Also evaluation and observation of the limb under the casts for potential infections and skin issues are n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Artif. Intell.
دوره 175 شماره
صفحات -
تاریخ انتشار 2011