In this paper we start with developing a non-monotonic temporal logic based on the linear temporal logic LTL and then briefly mention non-monotonic versions of ...
People also ask
What does non-monotonic mean?
What is the difference between monotonic and non-monotonic?
What is non-monotonic reasoning?
What is the nonmonotonic principle?
In this paper we introduce a logic programming based framework which allows the representation of conditional non-monotonic temporal beliefs and goals in a ...
In this paper, we bridge the gap between temporal and non-monotonic goal languages by introducing a general non-monotonic goal framework. The lan- guage ...
In this paper, we bridge the gap between temporal and non-monotonic goal languages by introducing a general non-monotonic goal framework. The lan- guage ...
We propose a new non-monotonic temporal logic, that not only overcomes this, but is also able to express exception to exceptions, strengthen and weaken.
In this paper, we propose a simple extension of LTL, which we call N-LTL, that allows non-monotonic specification of goals. We study properties of N-LTL. We ...
A logic programming based framework which allows the representation of conditional non-monotonic temporal beliefs and goals in a declarative way and endow ...
Apr 28, 2014 · Every DRS incorporates some well-defined logic together with a controller that serves to guide the reasoning process in response to user inputs.
Missing: Goals. | Show results with:Goals.
As non-monotonic languages are often used for elaboration tolerant specification, we propose to explore non-monotonic temporal logics for goal specification.
Feb 1, 2023 · Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals. February 1, 2023. Authors. Chitta Baral.