An Applied Calculus for Spatial Accessibility Reasoning

Простая страница элемента
dc.creatorPool,Michael
dc.date2003
dc.date.accessioned2024-02-06T12:52:34Z
dc.date.available2024-02-06T12:52:34Z
dc.descriptionRecent attempts to perform formal knowledge representation and reasoning in cell biology have presented new challenges to spatial reasoning. In this paper we formalize two distinct notions of containment that were so motivated and which are relevant to reasoning about physical systems, a notion of being inside and a notion of being restricted. We develop a formal vocabulary for purposes of representing and reasoning about restrictive containment and formalize three kinds of accessibility that are each salient to attempts to reason about the possibility of interaction between pairs of objects in a system. We also consider the relation of this calculus to the well known Region Connection Calculus and related calculi for reasoning about containment. Finally, we discuss methods for implementing in a context of uncertainty, within a planning system and discuss an application to some simple representation and reasoning tasks in virology.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-009-09-0986
dc.identifierhttps://lib.jucs.org/article/28106/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8404
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 9(9): 986-1007
dc.subjectqualitative spatial reasoning
dc.subjectmolecular biology
dc.subjectspatial accessibility
dc.subjectBayesian reasoning
dc.titleAn Applied Calculus for Spatial Accessibility Reasoning
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ