Advances In Logic Based Intelligent Systems: Selected Papers Of Laptec 2005: Volume 132 Frontiers In Artificial Intelligence And Applications

Title page......Page 2 Dedication......Page 6 Preface......Page 8 Contents......Page 10 Constructive Logic and Situation Theory......Page 14 Hybrid Particle Swarm Optimizer with Mutation......Page 22 An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited......Page 31 Data Transformation in Modern Petrol Engine Tune-up......Page 39 Testing Significance in Bayesian Classifiers......Page 47 Obtaining Membership Functions from a Neuron Fuzzy System Extended by Kohonen Network......Page 55 EVALPSN-Based Process Control in Brewery Plants......Page 63 Decision Making Based on Paraconsistent Annotated Logic......Page 68 Intelligent Safety Verification for Pipeline Based on EVALPSN......Page 76 A Discrete Event Control Based on EVALPSN Stable Model......Page 84 An EVALP Based Traffic Simulation System......Page 92 Modelling and Prediction of Electronically Controlled Automotive Engine Power and Torque Using Support Vector Machines......Page 100 Multi-View Semi-Supervised Learning: An Approach to Obtain Different Views from Text Datasets......Page 110 A Planning-Based Knowledge Acquisition Methodology......Page 118 Digital Images: Weighted Automata Theoretical Aspects......Page 126 Modeling the Behavior of Paraconsistent Robots......Page 133 A System of Recognition of Characters Based on Paraconsistent Artificial Neural Networks......Page 140 Feature Subset Selection for Supervised Learning Using Fractal Dimension......Page 148 Functional Language of Digital Computers I......Page 156 Learning Algorithm of Neural Network Using Orthogonal Decomposition Method......Page 160 Para-Analyzer and Its Applications......Page 166 Methods for Constructing Symbolic Ensembles from Symbolic Classifiers......Page 174 Efficient Identification of Duplicate Bibliographical References......Page 182 Autoepistemic Theory and Paraconsistent Logic Program......Page 190 Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I......Page 198 Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II......Page 205 Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III......Page 212 Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV......Page 220 A Note on Non-Alethic Temporal Logics......Page 229 Railway Signal and Paraconsistency......Page 233 - Workshop "Rough Sets and Granularity" - T. Murai and M. Inuiguchi......Page 240 On Topological Properties of Generalized Rough Sets......Page 242 Rough-Set-Based Approaches to Data Containing Incomplete Information: Possibility-Based Cases......Page 247 Rough Set Semantics for Three-Valued Logics......Page 255 Paraconsistency and Paracompleteness in Chellas's Conditional Logics......Page 261 Rough Sets Based Minimal Certain Rule Generation in Non-Deterministic Information Systems: An Overview......Page 269 Equivalence of Fuzzy-Rough Modus Ponens and Fuzzy-Rough Modus Tollens......Page 277 Non-Commutative Fuzzy Logics and Substructural Logics......Page 285 Visibility and Focus: An Extended Framework for Granular Reasoning......Page 293 Author Index......Page 302 LAPTEC'2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logics applied to technology, with diverse backgrounds including all kinds of intelligent systems having classical or non-classical logics as underlying common matters. It was the first time for LAPTEC to be held in a different country than Brazil since its birth in 2000, and this has made the congress more international. This book is dedicated to Emerius Professor Atsuyuki Suzuki in commemoration of his honourable retirement from Shizuoka University, March 2005. Prof. Suzuki is learned in application of para consistent logic and has contributed many papers as a member of the program committee to LAPTECsince the beginning LAPTEC' 2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logics applied to technology, with diverse backgrounds including all kinds of intelligent systems having classical or non-classical logics as underlying common matters.