Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Rules, Inconsistencies and Nonmonotonicity

Dates:7 March 2012
Times:14:00 - 15:30
What is it:Seminar
See travel and contact information
Add to your calendar

More information

  • Research Seminars

Other events

  • In category "Seminar"

Speaker: Professor Andrzej Szalas. University of Warsaw

Host: Renate Schmidt

Abstract: In this talk I will present an ongoing work on 4QL, a recently developed rule-based query language with negation allowed in bodies and heads of rules. 4QL allows for incomplete and inconsistent information and provides a simple to use and uniform framework for rule-based reasoning both monotonic and nonmonotonic. The constructs specific to 4QL are modules and external literals. They appear powerful enough to express:

  • Open and Local Closed World Assumption (thus also Closed World Assumption),
  • lightweight versions of other nonmonotonic/commonsense formalisms, including variants of default reasoning, autoepistemic reasoning, circumscriptive reasoning, etc.
  • application-specific disambiguation of inconsistent information, including defeasible reasoning.

4QL is tractable w.r.t. data complexity and captures all tractable queries. It is therefore well-suited for applications making use of commonsense reasoning techniques.

The talk is based on joint work by Jan Maluszynski and myself.

Travel and Contact Information

Find event

Kilburn Lecture Theatre 1.4
Kilburn Building
Manchester

 

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events