[Apologies if you receive this more than once]
____________________________________________________________
CALL FOR PAPER
____________________________________________________________
2nd International Workshop on Learning and NonMonotonic Reasoning (LNMR 2015)
http://lnmr2015.insight-centre.org/
27-30 September 2015, Lexington, KY, USA
co-located with the
13th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR 2015)
http://lpnmr2015.mat.unical.it/
__________________________________________________________________
* Keynote Speaker:
Professor Antonis Kakas.
Department of Computer Science, University of Cyprus.
"Cognitive Programming"
Cognitive Programming is a computing paradigm emerging at the crossroads of Cognitive Psychology and Artificial Intelliegence.
It rests on the synthesis of knowledge from Cognitive Psychology about the structure and activation of human knowledge together with theoretical models and computational methods in Artificial Intelligence in order to provide a natural problem solving environment for ordinary common sense tasks. Cognitive Programming is strongly driven by the need for computer systems and applications that exhibita smart behaviour for ordinary day to day human tasks. Such applications are generally in the form of Cognitive Assistants that, like a human personal assistant, can help their owner to make decisions that are attuned to the personal preferences of the owner, e.g. to seemingly manage the incoming calls of a user's mobile phone according to the current circumstances of the user and her/his personal preferences, or to focus the search on the Web viaa deeper and personalized understanding of the query posed by the user. The aim is for the programming framework to be naturally simple and highly resilient so that programming can be carried out by the users themselves without the need for any specialized programming skills. The talk will present the desirable characteristics of Cognitive Programming in contrast with conventional programming frameworks and the main challenges that these requirements pose. It will expose a new perspecitve on the foundational role of logic in programming and discuss the non-monotonic learning tasks that are intrically involved both at the general level of the development of a Cognitive Programnming language and the specific level of the user's development of its own cognitive programs. These general concepts will be illustrated through a first example of a Cognitive Programming framework, called STAR, that is built by bringing together non-monotonic reasoning, reasoning about actions and belief revision within a logic based argumentation framework and adopting a cognitive perspective to logical inference. The talk will show how the STAR system is applied to the problem of automating the cognitive task of text (story) comprehension needed in the developement of cognitive assistants.
*Aims and scope
Knowledge representation and reasoning (KR&R) and machine learning are two important fields in artificial intelligence (AI). (Nonmonotonic) logic programming (NMLP) and answer set programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, inductive logic programming (ILP) realizes inductive machine learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reasoning while lack the ability of (inductive) learning. By contrast, ILP realizes inductive machine learning while most techniques have been developed under the classical monotonic logic. With this background, some researchers attempt to combine techniques in the context of nonmonotonic inductive logic programming (NMILP). Such combination will introduce a learning mechanism to programs and would exploit new applications on the NMLP side, while on the ILP side it will extend the representation language and enable to use existing solvers. Cross-fertilization between learning and nonmonotonic reasoning can also occur in areas including but not limited to:
- the use of answer set solvers for Inductive Logic Programming
- speed-up learning while running answer set solvers
- learning action theories
- learning transition rules in dynamical systems
- learning normal, extended and disjunctive programs
- formal relationships between learning and nonmonotonic reasoning
- abductive learning
- updating theories with induction
- learning biological networks with inhibition
- applications involving default and negation
This workshop follows from its first edition in 2013 in an attempt to provide an open forum for the identification of problems and discussion of possible collaborations among researchers with complementary expertise. To facilitate interactions between researchers in the areas of (machine) learning and nonmonotonic reasoning, we welcome contributions focusing on problems and perspectives concerning both learning and nonmonotonic reasoning.
*Submissions
We solicit original papers which are not published elsewhere. Papers should be written in English and be formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com. Every paper should not exceed 12 pages including the title page, references and figures. All submissions will be peer-reviewed and all accepted papers must be presented at the workshop. Paper submission will be electronic through the LNMR-15 Easychair site: https://easychair.org/conferences/?conf=lnmr2015.
*Proceedings
Workshop organizers are considering to publish an on-line proceedings in a formal way. The details will be announced later. Based on the quality of submissions, a special journal issue will also be considered.
*Important Dates
Paper registration: June 22
Submission deadline: June 29
Notification: August 17
Final version due: September 1
Workshop: 1 or 2 days in September 27-30
*Workshop co-Chairs
Alessandra Mileo, INSIGHT Centre for Data Analytics, NUI Galway, Ireland
Alessandra Russo, Dept. of Computing, Imperial College London, UK
*Program Committee
- Mario Alviano University of Calabria, Italy
- Katsumi Inoue (National Institute of Informatics, Japan)
- Francesca A. Lisi (Università degli Studi di Bari "Aldo Moro", Italy)
- Chiaki Sakama (Wakayama University, Japan)
- Dalal Alrajeh (Imperial College London, UK)
- Marcello Balduccini (Kodak Research Laboratories, USA)
- Matthias Nickles NUI Galway, Ireland
- Gauvain Bourgne (Université Pierre et Marie Curie, France)
- Adrian Pearce (University of Melbourne, Australia)
- Taisuke Sato (Tokyo Institute of Technology, Japan)
____________________________________________________________
Program co-chairs:
Dr. Alessandra Mileo ([log in to unmask])
Dr. Alessandra Russo ([log in to unmask])
|