Temporal Extensions to Defeasible Logic
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended...
Saved in:
| Published in | AI 2007: Advances in Artificial Intelligence Vol. 4830; pp. 476 - 485 |
|---|---|
| Main Authors | , |
| Format | Book Chapter |
| Language | English |
| Published |
Germany
Springer Berlin / Heidelberg
2007
Springer Berlin Heidelberg |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783540769262 3540769269 |
| ISSN | 0302-9743 1611-3349 |
| DOI | 10.1007/978-3-540-76928-6_49 |
Cover
| Abstract | In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended temporalised framework is suitable to model different types of causal relations which have been identified by the specialised literature. We also prove that the computational properties of the original logic are still retained by the extended approach. |
|---|---|
| AbstractList | In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended temporalised framework is suitable to model different types of causal relations which have been identified by the specialised literature. We also prove that the computational properties of the original logic are still retained by the extended approach. |
| Author | Terenziani, Paolo Governatori, Guido |
| Author_xml | – sequence: 1 givenname: Guido surname: Governatori fullname: Governatori, Guido – sequence: 2 givenname: Paolo surname: Terenziani fullname: Terenziani, Paolo |
| BookMark | eNqNkE9PwzAMxQMMxDb2DTj0ximQxEnTHNE2_kiTuIxzlKXuKIymNEXi45NuwBlfLD37Z_m9CRk1oUFCLjm75ozpG6MLClRJRnVuREFzK80RmUBS9oI6JmOec04BpDkhs7T_O8vFiIwZMEGNlnBGJjzJQumCq3Myi_GVpYIBLsbkao3vbejcLlt-9djEOjQx60O2wApdrDc7zFZhW_sLclq5XcTZT5-S57vlev5AV0_3j_PbFW0FA0NLIyoOrPSmkqJUKDmULFd6g8470BochwqZN7n0RhW-KCUygygAFFTKwZSIw93YdnWzxc5uQniLljM75GKTTws2ObX7GOyQS4LkAWq78PGJsbc4UB6bPjnzL67tsYs2F0UKi1updaLUfzGl0qeG_WHfL0VzfA |
| ContentType | Book Chapter |
| Copyright | Springer-Verlag Berlin Heidelberg 2007 |
| Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2007 |
| DBID | FFUUA |
| DEWEY | 006.3 |
| DOI | 10.1007/978-3-540-76928-6_49 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISBN | 3540769285 9783540769286 |
| EISSN | 1611-3349 |
| Editor | Thornton, John Orgun, Mehmet A |
| Editor_xml | – sequence: 1 fullname: Thornton, John – sequence: 2 fullname: Orgun, Mehmet A |
| EndPage | 485 |
| ExternalDocumentID | EBC6283491_477_495 EBC5595890_477_495 |
| GroupedDBID | 0D6 0DA 0E8 2HV 38. AABBV AABFA AAHDE AAJYQ AATVQ AAUKK ABBUY ABBVZ ABCYT ABMNI ABTMC ACDTA ACDUY ACFGI ADQVG AEDXK AEHEY AEHWL AEJLV AEKFX AETDV AEZAY AGNDD AHMWK AHNNE ALMA_UNASSIGNED_HOLDINGS ATJMZ AZZ BBABE CZZ FFUUA IEZ IV0 LZA MA. MW~ NUP SBO TPJZQ TSXQS Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88 -DT -GH -~X 1SB 29L 2HA 5QI 875 AASHB ACGFS ADCXD AEFIE EJD F5P FEDTE HVGLF LAS LDH P2P RNI RSU SVGTG VI1 ~02 |
| ID | FETCH-LOGICAL-p2039-d92f130dc9f42d5e413d0657beaca3773a13fe0c964c958c8d4e09ee23353f5a3 |
| ISBN | 9783540769262 3540769269 |
| ISSN | 0302-9743 |
| IngestDate | Wed Sep 17 04:27:24 EDT 2025 Tue Oct 21 09:32:27 EDT 2025 Tue Oct 21 00:53:01 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum | Q334-342QA8.9-QA10.3 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p2039-d92f130dc9f42d5e413d0657beaca3773a13fe0c964c958c8d4e09ee23353f5a3 |
| OCLC | 1076257815 1183958777 |
| PQID | EBC5595890_477_495 |
| PageCount | 10 |
| ParticipantIDs | springer_books_10_1007_978_3_540_76928_6_49 proquest_ebookcentralchapters_6283491_477_495 proquest_ebookcentralchapters_5595890_477_495 |
| PublicationCentury | 2000 |
| PublicationDate | 2007 |
| PublicationDateYYYYMMDD | 2007-01-01 |
| PublicationDate_xml | – year: 2007 text: 2007 |
| PublicationDecade | 2000 |
| PublicationPlace | Germany |
| PublicationPlace_xml | – name: Germany – name: Berlin, Heidelberg |
| PublicationSeriesSubtitle | Lecture Notes in Artificial Intelligence |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationSubtitle | 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings |
| PublicationTitle | AI 2007: Advances in Artificial Intelligence |
| PublicationYear | 2007 |
| Publisher | Springer Berlin / Heidelberg Springer Berlin Heidelberg |
| Publisher_xml | – name: Springer Berlin / Heidelberg – name: Springer Berlin Heidelberg |
| SSID | ssj0000316118 ssj0002792 |
| Score | 1.3549019 |
| Snippet | In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend... |
| SourceID | springer proquest |
| SourceType | Publisher |
| StartPage | 476 |
| SubjectTerms | Artificial intelligence Causal Reasoning Data mining Mathematical theory of computation Strict Rule Strong Rule Temporal Constraint Temporal Extension |
| Title | Temporal Extensions to Defeasible Logic |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5595890&ppg=495 http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6283491&ppg=495 http://link.springer.com/10.1007/978-3-540-76928-6_49 |
| Volume | 4830 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSyQxEA46srB60HVXfNOHhT0MvfR03gcPsju-UE-6eAvdnTQMyIw4LYi_3qqkHzOz4uJemqEJnaS-TKVSjy-EfM8HSQnbEI8TkfGYwRYVK8fzWFslJGNID4OFwlfX4uyWXdzxu45QwVeXVPnP4uXNupL_QRXeAa5YJfsBZNuPwgv4DfjCExCG54LxO-9mDenF50gHKL1nLwTyfWrr8aPP_gkcGh3dZptn4-_WxZO2D-OfPo3spD29Y-nfyyjc8gS2JejFuRUVWKzu-8Nnn_aOSTZguf52pcvgj3Xv8P7fUUirxOm76dFlHaG4nlRhdM0lEo1OmXM6yAWnQ-N07L_DyVX7lKRARsIZrUZBBcMhJmg1F7SuQC5FGrhLa03KpJjZlFm41-cvfb-Y4oG9qVgYppfJMgygR1aOhxeXf1q3G-gw6KwjlEf-xBBoCqOqy3_8qPWn1jMWZjFTevlWl3OHlIW4ujdXbjbIGpawRFhbArL-QpbceJOsN7KPatlvktUZNsqv5EcDcNQBHFWTqAM48gB_I7cnw5tfZ3F9j0b8kGKg3-q0BFPFFrpkqeUO7BYLlqfMYdPNqJQ0G9DSJYUWrNBcFcoyl2jnUko5LXlGt0hvPBm7bRINlGa2SKxSuUBTXzmRYamyszRPtUp2SNyIwPhof51iXIQJTw0cYLnSiWFSgsT4P9sLMH-ZHnTt-41cDTafmoZ2GwAx1AAgxgNiEJDdD7XeI5-7pb5PetXjkzsAi7PKD-tV9Apy43PF |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=AI+2007%3A+Advances+in+Artificial+Intelligence&rft.au=Governatori%2C+Guido&rft.au=Terenziani%2C+Paolo&rft.atitle=Temporal+Extensions+to+Defeasible+Logic&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2007-01-01&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783540769262&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=476&rft.epage=485&rft_id=info:doi/10.1007%2F978-3-540-76928-6_49 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5595890-l.jpg http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6283491-l.jpg |