The Computational Logic in Multi-agent Systems (CLIMA) workshop series aims at periodically bringing together researchers to discuss techniques, based on computational logic, for representing, programming and reasoning about multi-agent systems in a formal way. Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectru...

Justification logics are epistemic logics that explicitly include justifications for the agents’ knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting’s semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of o...

Abramsky's Linear Chemical Abstract Machine is a term calculus which corresponds to Linear Logic, via the Curry-Howard iso-morphism. We show that the typed-calculus is embedded into Linear Chemical Abstract Machine by Girard's embedding of Intuitionistic Logic into Linear Logic. Then we extend our result to a simple functional programming language obtained from the typed-calculus by adding cons...

In this paper, an interval Type-2 fuzzy logic based pitch angle controller is proposed for fixed speed wind energy system (WES) to maintain the aerodynamic power at its rated value. The pitch angle reference is generated by the proposed controller which can compensate the non-linear characteristics of the pitch angle to the wind speed. The presence of third dimension in the Type-2 fuzzy logic c...

Purpose – This paper describe the development of the fuzzy logic model approach to supply chain and its value for managers by illustrating its application to supplier performance appraisals. Design/methodology/approach – Measuring supplier performance possesses the properties of multi-dimension and multi-scale, it increases the complexity of the aggregation and assessment process. A focal compa...

Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of fuzzy sets and in exploring the multi-modal aspect of fuzzy logic due to the different cognitive, emotional and behavioral angles of assessing truth. We lay here the foundations of...

Functional decomposition is becoming more and more popular, because it is more general than all other known logic synthesis approaches and it seems to be the most effective approach for LUT-based FPGAs, (C)PLDs and complex CMOS-gates. The multi-level functional decomposition can be seen as a recursive splitting of a given function, into two sub-functions: the predecessor (bound-set) function an...

Encoding is a fundamental part of any EA. The solution encoding, and its interactions with the EA’s operators, should be designed to minimise arbitrary search bias. A multidimensional encoding suitable for fully specified fuzzy logic rulebases is investigated, and is shown to have better convergence than traditional single-dimensional encoding. By comparison with 2-point and uniform crossover, ...