Emergent Computational Logics

Workshop organized by

Bora Kumova
(Izmir Institute of Technology, Turkey

Christoph Benzmuller
(Free University of Berlin, Germany)

Fernando Bobillo
(University of Zaragoza, Spain)

Antonio Chella
(University of Palermo, Italy)

Guillermo Simari
(National South University, Argentina)

Katsumi Inoue
(National Institute of Informatics, Japan)

 

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
Temple University, USA
"Toward a Logic for Realistic Reasoning in Humans and Computers"

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:

  • logic discovery
  • logics generated by computational intelligence
  • logics with uncertainties
  • logics extracted from probabilistic and/or possibilistic systems
  • logics of emergent systems
  • logics of behaviours
  • logics of cognitive systems
  • logics generated by neural systems
  • logics emerging from evolutionary computation
  • mining logics
  • subjective logics
  • machine learning and logic generation
  • statistical/probabilistic ontologies
  • logics of abduction
  • logics of biological systems
  • learning logics of dynamic systems

Submissions of extended abstracts should be sent by May 1st 2015 to

borakumova@iyte.edu.tr 

or to any of the other organizers or additional reviewers Lluis Godo, Martin Gebser