Show simple item record

dc.contributor.authorTın, E.en_US
dc.contributor.authorAkman, V.en_US
dc.date.accessioned2016-02-08T10:48:03Z
dc.date.available2016-02-08T10:48:03Zen_US
dc.date.issued1997en_US
dc.identifier.issn0921-7126
dc.identifier.urihttp://hdl.handle.net/11693/25620en_US
dc.description.abstractAfter a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.en_US
dc.language.isoEnglishen_US
dc.source.titleAI Communicationsen_US
dc.subjectCognitive Systemsen_US
dc.subjectFormal Logicen_US
dc.subjectLogic Programmingen_US
dc.subjectProblem Solvingen_US
dc.subjectSituation Theoryen_US
dc.subjectTemporal Reasoningen_US
dc.subjectUniformitiesen_US
dc.subjectYale Shooting Problemen_US
dc.subjectYoav Shoham Causal Theoriesen_US
dc.subjectArtificial Intelligenceen_US
dc.titleSituated nonmonotonic temporal reasoning with BABY-SITen_US
dc.typeArticleen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage93en_US
dc.citation.epage109en_US
dc.citation.volumeNumber10en_US
dc.citation.issueNumber2en_US
dc.publisherIOS Pressen_US
dc.identifier.eissn1875-8452


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record