Emergent Computational Logics Workshop organized by Bora Kumova Christoph Benzmuller Fernando Bobillo Antonio Chella Guillermo Simari Katsumi Inoue
Various general logics have been formalised in the history of philosophy and mathematics, like propositional, predicate, higher-order or fuzzy logics. Artificial intelligence should posses the capability for generating formal logics automatically from any given data set. Such data could for instance include corpora of information collected in interactions with the environment or any other approach for extracting some logic from data or statistics. An emergent logic should represent the logic of a particular environment, from which it was generated. As the environment widens towards the global environment, emergent logics should give up the flexibilities they have retained, in favor to general properties and ultimately converge to universal logics. Any work related to automated generation of some logic or the automated verification of such logic is welcome. Application areas for such techniques are hybrid systems of emergent and symbolic systems. Related research is typically found in the literature on computational intelligence and symbolic artificial intelligence that focuses on logic.
|
Keynote Speaker Pei Wang Contributing speakers Bhupinder Singh Anand, Mumbai, India, Algorithmically Verifiable quantum functions vis a vis algorithmically computable classical functions: a suggested mathematical perspective for the EPR argument Chiaki Sakama and Katsumi Inoue, Wakayama University and National Institute of Informatics, Japan, Can machine learn logics? Florentin Smarandache, Math and Science Division, University of New Mexico, USA, n-valued refined neutrosophic logic and its applications to physics Mikhail Zarechnev and Bora Kumova, Department of computer engineering, Izmir Institute of Technology, Turkey, Fuzzy-syllogistic reasoning with ontologies Call for papers Any work related to automated generation of some logic or the automated verification of such logic is welcome. Application areas for such techniques are hybrid systems of emergent and symbolic systems. Related research is typically found in the literature on computational intelligence and symbolic artificial intelligence that focuses on logic. Topics of interest include (but are not limited to) the following:
Submissions of extended abstracts should be sent by May 1st 2015 to or to any of the other organizers or additional reviewers Lluis Godo, Martin Gebser
|