Situated nonmonotonic temporal reasoning with BABY-SIT

Simple item page
dc.citation.epage109en_US
dc.citation.issueNumber2en_US
dc.citation.spage93en_US
dc.citation.volumeNumber10en_US
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.departmentDepartment of Computer Engineeringen_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.description.provenanceMade available in DSpace on 2016-02-08T10:48:03Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1997en
dc.identifier.eissn1875-8452
dc.identifier.issn0921-7126
dc.identifier.urihttp://hdl.handle.net/11693/25620en_US
dc.language.isoEnglishen_US
dc.publisherIOS Pressen_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

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Situated nonmonotonic temporal reasoning with BABY-SIT.pdf
Size:
432.29 KB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Scholarly Publications - Computer Engineering