D'Odorico, T and Bennett, B (2013) Automated reasoning on vague concepts using formal ontologies, with an application to event detection on video data. In: Commonsense 2013, 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 27-29 May 2013, Aya Napa, Cyprus.
Abstract
In this paper we lay the foundations of a formal ontology for the characterisation of vague concepts sourced from natural language, applying principles of event calculus and super-valuation semantics. We focus on a specific set of motion events and related concepts, motivated by the aim to develop an automated reasoning system able to detect occurrences of such events in video scenes. Our goal is to provide a general methodology for the formalisation of vague concepts, and to address the issue of vagueness in formal ontologies.
Metadata
Item Type: | Conference or Workshop Item |
---|---|
Authors/Creators: |
|
Editors: |
|
Keywords: | Spatial reasoning; ontology; logic; artificial intelligence; event recognition |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Artificial Intelligence & Biological Systems (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 31 Mar 2015 12:38 |
Last Modified: | 19 Dec 2022 13:30 |
Published Version: | http://www.commonsense2013.cs.ucy.ac.cy/pc.html |
Status: | Published |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:83863 |