AITopics | IRIT-CNRS, University of Toulouse

Collaborating Authors

IRIT-CNRS, University of Toulouse

Information about AI from the News, Publications, and Conferences

Automatic Classification – Tagging and Summarization – Customizable Filtering and Analysis

If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."

However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …

Logics of Contingency

Cerro, Luis Fariñas del (IRIT-CNRS, University of Toulouse) | Herzig, Andreas (University of Toulouse-CNRS-IRIT)

AAAI ConferencesMar-19-2011

We introduce the logic of positive and negative contingency. Together with modal operators of necessity and impossibility they allow to dispense of negation. We study classes of Kripke models where the number of points is restricted, and show that the modalities reduce in the corresponding logics.

artificial intelligence, formula, logic programming, (17 more...)

AAAI Conferences

2011 AAAI Spring Symposium Series

Country: Europe (0.14)

Technology: Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (1.00)

Add feedback