February 2019 - SIPTA News - lists.sipta.org

[SIPTA] DeepLearn 2019: early registration March 2

by IRDTA

Feb. 26, 2019

[SIPTA] IFSA/NAFIPS'2019: additional deadline April 1 (not a joke!)

by Kreinovich

Feb. 25, 2019

[SIPTA] AlCoB 2019: call for posters

by IRDTA

Feb. 22, 2019

[SIPTA] Funded PhD position on "Reasoning under inconsistencies in support to maritime surveillance"

by frederic.pichon

* Title of the PhD project : Reasoning under inconsistencies in support to maritime surveillance * Starting date and duration: Octobre 2019, 36 months * Supervision: Supervisor: Frédéric Pichon, Associate Professor (Maître de conférences HDR), Laboratory of Computer Engineering and Automation of Artois (LGI2A) Co-supervisor: Anne-Laure Jousselme, Scientist, NATO Centre for Maritime Research & Experimentation (CMRE) * Topic of the project: In maritime surveillance, the detection, identification and management of inconsistencies in available information is of crucial importance for understanding the situation and analyzing ship behaviors. These inconsistencies may reflect illicit or malicious acts, ships in distress, or simply sensor malfunction. This task of monitoring is particularly difficult for an operator because of the volume, the variety and the lack of veracity of information. Moreover, the characterization of what constitutes an inconsistency represents a challenge in itself since it depends strongly on the operational context (mission, weather, geopolitics, environment). The objective of the project is to develop a formal and tooled approach to help reasoning in the presence of inconsistencies. Building on previous work [1-5] including recent work at LGI2A and CMRE [6-10], the project will aim at proposing one or more measures of the degree of inconsistency having clear semantics and behavior, adapted to the operational context and meaningful to the operator. The major challenge will therefore be to reconcile inconsistency measurement and human intuition as to its behavior. The formal framework chosen should be rich enough to handle the heterogeneity and imperfection of information, and to reflect different facets of human reasoning. As such, the theory of belief functions will be favored. The approach developed will be tested on real data from AIS (Automatic Identification System), possibly supplemented by information extracted from radar or satellite images, from past events, intelligence reports, patterns-of-life, nautical charts or social networks. References [1] D. Dubois, W. Liu, J. Ma, H. Prade. The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks. Information Fusion 32:12-39, 2016. [2] A. Hunter, S. Konieczny. Measuring inconsistency through minimal inconsistent sets. Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'08), pp. 358-366, 2008. [3] S. Destercke, T. Burger. Toward an axiomatic definition of conflict between belief functions. IEEE Trans. Syst. Man Cybern. B 43(2):585-596, 2013. [4] T. George, N. R. Pal. Quantification of conflict in Dempster-Shafer framework: A new approach. Int. J. of General Systems 24(4):407-423, 1996. [5] R. R. Yager. On considerations of credibility of evidence. Int. J. Approx. Reason. 7(1/2):45-72, 1992. [6] G. Pallotta, A.-L. Jousselme. Data-driven detection and context-based classification of maritime anomalies. In Proc. of the 18th Int. Conf. on Information Fusion, Washington, D. C., USA, pp. 1152-1159, 2015. [7] F. Pichon, A.-L. Jousselme, N. Ben Abdallah. Several shades of conflict. Fuzzy Sets and Systems (2019), https://doi.org/10.1016/j.fss.2019.01.014 [8] F. Pichon, S. Destercke, T. Burger. A consistency-specificity trade-off to select source behavior in information fusion. IEEE Transactions on Cybernetics 45(4):598-609, 2015. [9] N. Ben Abdallah, A.-L. Jousselme, F. Pichon. An ordered family of consistency measures of belief functions. In F. Cuzzolin, S. Destercke, T. Denoeux and A. Martin, editors, Belief Functions: Theory and Applications, Proc. of the 5th International Conference, BELIEF 2018, Compi√®gne, France, September 17-21, 2018, volume 11069 of Lecture Notes in Computer Science, pages 199-207, Springer, 2018. [10] N. Ben Abdallah, A.-L. Jousselme, An evidential solution to support reasoning with partially reliable and conflicting sources in maritime surveillance, Under review, 2019. * Keywords: Belief functions, Dempster-Shafer theory, Consistency, Conflict, Anomaly, Maritime surveillance. * (Pending) Funding: Université d'Artois, French Région Hauts-de-France and/or research funding entity, for an expected gross salary of approximately 1800 euros per month for 3 years (standard duration and salary to complete doctoral studies in computer science in France). * Environment: The work will be carried out in the Laboratory of Computer Engineering and Automation of Artois (https://www.lgi2a.univ-artois.fr/spip/?lang=en) located in Béthune, France. Stays at the NATO Centre for Maritime Research & Experimentation (https://www.cmre.nato.int) located in La Spezia, Italy, may also be necessary. * Candidate profile: The candidate must hold a master's degree (or equivalent) in computer science. Knowledge in artificial intelligence will be an asset. * Application: Send CV, cover letter, grades and rankings of the last two years of studies as well as letters of recommendation to: Frédéric Pichon (frederic.pichon(a)univ-artois .fr) and Anne-Laure Jousselme (anne-laure.jousselme(a)cmre.nato.int)

Feb. 21, 2019

[SIPTA] CoProd'2019: additional deadline April 1 (not a joke!)

by Kreinovich

Feb. 19, 2019

[SIPTA] DeepLearn 2019: early registration March 2

by IRDTA

Feb. 16, 2019

[SIPTA] LATA 2019: call for participation

by IRDTA

Feb. 15, 2019

[SIPTA] Entanglement!

by Alessio Benavoli

Feb. 14, 2019

[SIPTA] 3rd Call for papers: DARe at LPNMR-19

by Ivan José Varzinczak

* Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at LPNMR 2019 Date: June 3 or 4 2019 (TBC) Philadelphia, USA *** Deadline: 19 March 2019 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-19/ collocated with LPNMR 2019 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms (conditionals), whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare19 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org) Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the LPNMR 2019 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 19 March 2019 - Notification to authors: 26 April 2019 - Camera ready version: 6 May 2019 - Workshop date: 3 or 4 June 2019 (to be confirmed) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Guillaume Aucher, University of Rennes 1 - INRIA, France - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Andreas Herzig, IRIT CNRS, France - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Simon Kramer, SK-R&D, Switzerland - Michael Maher, University of New South Wales, Australia - João Marcos, Universidade Federal do Rio Grande do Norte, Brazil - Reka Markovich, Université du Luxembourg - Thomas Meyer, University of Cape Town, South Africa - Xavier Parent, Université du Luxembourg - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Rafael Testa, University of Campinas, Brazil - Leon van der Torre, Université du Luxembourg - Heinrich Wansing, Ruhr-Universitaet Bochum, Germany - Renata Wassermann, Universidade de São Paulo, Brazil - Anna Zamansky, University of Haifa, Israel -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-19/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us(a)gmail.com -- Ivan Varzinczak - https://www.ijv.ovh CRIL, Université d'Artois & CNRS, France

Feb. 12, 2019

Re: [SIPTA] Newsletter: ASCE-ASME Journal

by Kreinovich

Feb. 11, 2019