[PlanetKR] IJCAI-15 Workshop on Weighted Logics for AI (WL4AI-2015)

Lluis Godo godo at iiia.csic.es
Sat Feb 7 22:13:59 EST 2015


[Apologies for multiple postings]

===============================================================

                    IJCAI-2015 Workshop WL4AI'15

Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth

===============================================================

                    July 25-27, 2015, Buenos Aires, Argentina


* Web site: http://www.iiia.csic.es/wl4ai-2015/


* First Call for Papers:
-------------------------------

Logics provide a formal basis for the study and development of applications
and systems in Artificial Intelligence. In the last decades there has been
an explosion of logical formalisms capable of dealing with a variety of
reasoning tasks that require an explicit representation of quantitative or
qualitative weights associated with classical or modal logical formulas (in
some form or another).

The semantics of the weights refer to a large variety of intended meanings:
belief degrees, preference degrees, truth degrees, trust degrees, etc.
Examples of such weighted formalisms include probabilistic or possibilistic
uncertainty logics, preference logics, fuzzy description logics, different
forms of weighted or fuzzy logic programs under various semantics, weighted
argumentation systems, logics handling inconsistency with weights, logics
for graded BDI agents, logics of trust and reputation, logics for handling
graded emotions, etc.

The underlying logics range from fully compositional systems, like systems
of many-valued or fuzzy logic, to non-compositional ones like modal-like
epistemic logics for reasoning about uncertainty, as probabilistic or
possibilistic logics, or even some combination of them.

In this workshop, continuation of the successful workshops with the same
name held at ECAI-2012 and IJCAI-2013, the aim is to bring together
researchers to discuss about the different motivations for the use of
weighted logics in AI, the different types of calculi that are appropriate
for these needs, and the problems that arise when putting them at work. Any
paper on a weighted logical system in relation to any of the following
topics (but not limited to) with an AI perspective is welcome:

* weighted argumentation systems
* uncertain extensions of description logics
* logical aspects of graded BDI agents
* graded emotions
* graded truth
* belief revision in weighted logics
* inconsistency handling in weighted logics
* information fusion in weighted logics
* proof systems and decision procedures for weighted logics
* uncertainty extensions of logic programs
* weighted systems and non monotonic reasoning
* preference modeling
* logics of graded trust and reputation

Authors are especially encouraged to discuss the intended semantics of the
weights they use in their paper.

Details about submission guidelines will be posted shortly.


* Important Dates (tentative):
----------------------------------------

• April 27, 2015: Deadline for submission of contributions to the workshop
• May 20, 2015: Notification on workshop paper submissions
• May 30, 2015: Deadline for sending the final camera ready copy to
workshop organizers


* Workshop co-chairs:
-------------------------------

Marcelo Finger, University of Sao Paulo, Brazil
Lluis Godo, IIIA-CSIC, Spain
Henri Prade, IRIT-CNRS, France
Guilin Qi, Southeast University, China

===============================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20150207/b15e51d8/attachment.html 


More information about the PlanetKR mailing list