Atnaujinkite slapukų nuostatas

El. knyga: Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings

Edited by , Edited by

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022.

The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic;  applications;  author index.
Program Logic.- Finite Quantified Linear Temporal Logic and its
Satisfiability Checking.- Quantitative BAN Logic Based on Belief Degree.-
Predicate Logic Network: Vision Concept Formation.- Approximate Simulation
for Transition Systems with Regular Expressions.- On Interval Perturbation of
the -Symmetric Implicational Algorithm.- Fuzzy Logic.- Viewpoint-Driven
Subspace Fuzzy C-Means Algorithm.- TOPSIS Method based on Intuitionistic
Fuzzy with Linguistic Concept.- Properties of Fuzzy -Approximate
Context-Free Languages.- Fuzzy-Classical Linguistic Concept Acquisition
Approach based on Attribute Topology.- Generalized Convex Combinations of
T-norms on Bounded Lattices.- A Transformation Model for Different
Granularity Linguistic Concept Formal Context.- Paraconsistent Rough Set
Algebras.- Applications.- A Generalization of Bounded Commutative
R-Monoids.- On the Weak Dominance Relation between Conjunctors.- New
Modification to ToulminModel as an Analytical Framework for Argumentative
Essays.- Value-based Preference Aggregation Argument Framework and Its
Application.- A New Fuzzy Analytic Hierarchy Process Method for Software
Trustworthiness Measurement.- A Novel Trustworthiness Measurement Method for
Software System Based on Fuzzy Set.- The Trustworthiness Measurement Model of
Component-Based Software based on Combination Weight.- Author Index.