Results 231 to 240 of about 79,610 (265)
Some of the next articles are maybe not open access.
2000
Departing from the notion of a dynamical fuzzy set, we extend the concept of fuzzy logic, to introduce the dynamic fuzzy logic. The dynamic fuzzy logic is the base of the dynamic approximate reasoning, where the truth values and the inference rules are fuzzy, and change over time.
José Luis Pérez-Silva +1 more
openaire +1 more source
Departing from the notion of a dynamical fuzzy set, we extend the concept of fuzzy logic, to introduce the dynamic fuzzy logic. The dynamic fuzzy logic is the base of the dynamic approximate reasoning, where the truth values and the inference rules are fuzzy, and change over time.
José Luis Pérez-Silva +1 more
openaire +1 more source
New Mathematics and Natural Computation, 2006 Fuzzy logic is extended toward dynamic adaptation of the degree of fuzziness. The motivation is to explain the process of learning as a joint model improvement and fuzziness reduction. A learning system with fuzzy models is introduced. Initially, the system is in a highly fuzzy state of uncertain knowledge, and it dynamically evolves into a low-fuzzy ...
openaire +2 more sources
Logics of knowledge, games and dynamic logic
1984We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to Mccarthy.
openaire +1 more source
Journal of the ACM, 1985
In this paper concurrent dynamic logic (CDL) is introduced as an extension of dynamic logic tailored toward handling concurrent programs. Properties of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL.
openaire +1 more source
In this paper concurrent dynamic logic (CDL) is introduced as an extension of dynamic logic tailored toward handling concurrent programs. Properties of CDL are discussed, both on the propositional and first-order level, and the extension is shown to possess most of the desirable properties of DL.
openaire +1 more source
2018
An ensemble consists of collaborating entities that are able to adapt at runtime. In this work we consider a particular class of ensembles: an ensemble is formed by a dynamically changing set of entities which interact through message exchange. The members of an ensemble are instances of certain process types. They can be dynamically created to join an
Rolf Hennicker, Martin Wirsing
openaire +1 more source
An ensemble consists of collaborating entities that are able to adapt at runtime. In this work we consider a particular class of ensembles: an ensemble is formed by a dynamically changing set of entities which interact through message exchange. The members of an ensemble are instances of certain process types. They can be dynamically created to join an
Rolf Hennicker, Martin Wirsing
openaire +1 more source
Journal of Logic, Language and Information, 1994
The paper deals with various extensions of propositional dynamic logic (PDL) to logics for reasoning about action types. The basic extended formalism, DLA, incorporates names for states and time points. In the semantics, transition relations do not just relate states but rather pairs \(\langle s, t\rangle\), where \(s\) is a state and \(t\) is an ...
openaire +1 more source
The paper deals with various extensions of propositional dynamic logic (PDL) to logics for reasoning about action types. The basic extended formalism, DLA, incorporates names for states and time points. In the semantics, transition relations do not just relate states but rather pairs \(\langle s, t\rangle\), where \(s\) is a state and \(t\) is an ...
openaire +1 more source
1991
We present in this paper a new logic, called dynamic autoepistemic logic (DAL), to catch the dynamic nature of the reasoner's introspection in autoepistemic logic. We show that (1) multiple levels of exceptions can be naturally represented, and (2) unintended expansions commonly occurring in autoepistemic logic can be removed. We impose polynomial-time
openaire +1 more source
We present in this paper a new logic, called dynamic autoepistemic logic (DAL), to catch the dynamic nature of the reasoner's introspection in autoepistemic logic. We show that (1) multiple levels of exceptions can be naturally represented, and (2) unintended expansions commonly occurring in autoepistemic logic can be removed. We impose polynomial-time
openaire +1 more source
2009
We introduce a dynamic testimonial logic (DTL) to model belief change over sequences of multi-agent testimony. Our static base logic is Baltag and Smets' [1] conditional doxastic logic (CDL). Our dynamic base logic is van Benthem's [12] dynamic logic of belief upgrade, which we extend with a "belief suspension" operator.
openaire +1 more source
We introduce a dynamic testimonial logic (DTL) to model belief change over sequences of multi-agent testimony. Our static base logic is Baltag and Smets' [1] conditional doxastic logic (CDL). Our dynamic base logic is van Benthem's [12] dynamic logic of belief upgrade, which we extend with a "belief suspension" operator.
openaire +1 more source