Designing of a situation logic for Sustainability modeling of Natural resource

Abstract

Sustainability in short is a planning problem that ensures the newlinepresent without compromising the future Computational Sustainability newlinebrings insights from various fields to develop new computational models newlinemethods and tools to help us balance the environmental economic and newlinesocietal needs for a sustainable future Management of the presently newlineavailable resources of these three subsystems for the future generation newlinenarrows down to optimization and planning In AI employing logical newlinemethods to plan has been very much elucidated in situational calculus newlineThe aim of this work is to construct a framework of hybrid logic that newlinewould enable sustainability planners to have automated decision making newlineassistance The framework culls out major components of temporal logic newlinemodal logic and situational calculus to amalgamate them into a new newlineframework that would best suit for planning newline newline