All Title Author
Keywords Abstract

Publish in OALib Journal
ISSN: 2333-9721
APC: Only $99


Relative Articles


A Logic of Spatial Qualification Using Qualitative Reasoning Approach

Keywords: Qualitative R easoning , Quant ified Modal Logic , Commonsense Reasoning , Spatial Qualification P r oblem , Possible World Semantics

Full-Text   Cite this paper   Add to My Lib


The qualification problem is well known within the field of artificial intelligence. Thispaper introducedaspecific aspectof qualification problem thatdealswithknowing the possibility of an agent’spresenceat aspecific locationat a particular timeas a qualification for carryingout an action or be participant in anevent given its knownlocationantecedents. Aquantifiedmodal logicwas presentedfor reasoning with thisproblem. Logical axioms based on qualitative reasoning for inferring the possibility of an agent’spresenceata certainlocation andtimewerepresented.A formal semanticsthatclarifiedthe fact that our first ordermodal logic is a fixed domain logicwas also presented.The resultingspatial qualification modelwascompared with existingS4 and S5modal systems. The logicwasseen to have all the properties ofthe S4system but failed tosatisfy axiom B in S5 system


comments powered by Disqus

Contact Us


WhatsApp +8615387084133

WeChat 1538708413