Table of contents for Logic, artificial intelligence, and robotics : LAPTEC 2001 / edited by Jair Minoro Abe and Joäao Inâacio da Silva Filho.

Bibliographic record and links to related information available from the Library of Congress catalog. Note: Electronic data is machine generated. May be incomplete or contain other coding.



Preface                                                                     v

Annotated Logics Qt and Model Theory, J.M. Abe                               I
The Degree of Inconsistency in Paraconsistent Logics, S. Akama and J.M. Abe  13
ParaFrame: A Paraconsistent Frame System, B.C. Avila and F. Hembecker      23
Some Model Theory of Ordered Structures and Undefinability Results,
  R. Bianconi                                                                31
Evolutionary Approach to Design of Artificial Neural Networks,
  L.M. Lima de Campos, M. Roisenberg and G.A. Lima de Campos                 35
Fuzzy Conceptual Graphs for the Semantic Web, T.H. Cao                        43
Logic and Valuations, N.C.A. da Costa                                         52
Emmy: A Paraconsistent Autonomous Mobile Robot, J.I. da Silva Filho
  and J.M. Abe                                                               53
A Treatment of Limit Figures of Quadratic Transformations as One-way Functions
  in Authentication for Pictures or Documents of Digital Contents, T. Da-te,
  T. Yoshikawa, H. Shioya and H. Noanaka                                     62
Toward a Domain-Theoretic Modelling of Measuring Processes, G.P. Dimuro
  and A. C. da Rocha Costa                                                   68
Logic of Incursive Synchronization Applied to the Anticipation of a Chaotic
  Epidemic, D.M. Dubois                                                      76
Rules from Supervised Neural Networks in Data Mining Tasks, N.F.F. Ebecken
  and E.R. Hruschka                                                          84
Applications of Product Boolean Algebras in Cluster Analysis, C.G. Gonzalez
   and E.C. Maia                                                             101
On Finite BCK with Condition (S), K. Iseki                                   109
Some Fundamental Theorems on BCK, K. Iseki                                   123
Note on the Structure of Weak Interlaced Bilattice K(L), M. Kondo         129
Decision-Making System based on Fuzzy and Paraconsistent Logics,
   G. Lambert-Torres, C.I. de Almeida Costa and H. Gonzaga                   135
A Polysynthetic Theory of Sets, E.G.K. Ldpez-Escobar                         147
Reasons and Ways to Cope with a Spectrum of Logics, A. Martini, U. Wolter
   and E.H. Haeusler                                                         148
The Logic of Medical Diagnosis, E. Massad and N.R.S. Ortega                  156
Representation of Incompleteness and Inconsistency in Possible-Worlds Semantics,
   T. Murai, G. Resconi and Y. Sato                                          166
Applications of EVALP Based Reasoning, K. Nakamatsu, J.M. Abe and A. Suzuki  174
Logic - A Key of New Information Technology, S. Ohsuga                       186
Non Local Computation by Semantic Field (Semantic Web), G. Resconi
   and T. Murai                                                              200
Ehrenfeucht Theorem for the Annotated Logics Qt, A. Scalzitti and J.M. Abe  208
A Formalization for Signal Analysis of Information in Annotated Paraconsistent
   Logics, A. Scalzitti, J.I. da Silva Filho and J.M. Abe                    215





Rule and Agent Oriented Software Architecture for Controlling Automated
  Manufacturing Systems, J.M. Simao, P.R.O. da Silva, P.C. Stadzisz
  and L.A. Kiinzle
What Can Be Inferred Without Embracive World-Knowledge, P. Smrz
Semantic Computation by Humans, Computers and Robots, P. Suppes
A New Approach to Type-2 Fuzzy Sets, H. Thiele
A Concurrent Algorithm for Logical Subsumption, I. Tonin and G. Bittencourt
On Interpolation and Modularity for Ultrafilter Logic, P.A.S. Veloso
On a Logical Framework for 'Generally', S.R.M. Veloso and P.A.S. Veloso

Author Index