| dc.identifier.uri | http://hdl.handle.net/1951/56002 | |
| dc.identifier.uri | http://hdl.handle.net/11401/71600 | |
| dc.description.sponsorship | This work is sponsored by the Stony Brook University Graduate School in compliance with the requirements for completion of degree. | en_US |
| dc.format | Monograph | |
| dc.format.medium | Electronic Resource | en_US |
| dc.language.iso | en_US | |
| dc.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
| dc.type | Dissertation | |
| dcterms.abstract | Transaction Logic is an extension of classical predicate calculus for representing declarative and procedural knowledge in logic programming, databases, and artificial intelligence. Since it provides a logical foundation for the phenomenon of state changes, it has been successful in areas as diverse as workflows, planning, reasoning about actions, Web services, security policies, active databases and more. Although a number of implementations of Transaction Logic exist, none is logically complete due to the time and space complexity of such implementations. In the first part of this thesis, we describe an approach for performing actions in the logic, which has better complexity and termination properties via a logically complete tabling evaluation strategy. Then we describe a series of optimizations, which make this algorithm practical and analyze their performance on a set of benchmarks. Our performance evaluation study shows that the tabling algorithm can scale well both in time and space. In the second part of the thesis, we extend Transaction Logic in the direction of defeasible reasoning, which has a number of interesting applications, including specification of defaults in action theories and heuristics for directed search in planning. In this setting we show that heuristics expressed as defeasible actions can significantly reduce the search space and thus the execution time and space requirements. | |
| dcterms.available | 2012-05-17T12:20:39Z | |
| dcterms.available | 2015-04-24T14:48:12Z | |
| dcterms.contributor | David S. Warren | en_US |
| dcterms.contributor | Michael Kifer. Yanhong A. Liu. | en_US |
| dcterms.contributor | Christopher A. Welty. | en_US |
| dcterms.creator | Fodor, Paul | |
| dcterms.dateAccepted | 2012-05-17T12:20:39Z | |
| dcterms.dateAccepted | 2015-04-24T14:48:12Z | |
| dcterms.dateSubmitted | 2012-05-17T12:20:39Z | |
| dcterms.dateSubmitted | 2015-04-24T14:48:12Z | |
| dcterms.description | Department of Computer Science | en_US |
| dcterms.format | Application/PDF | en_US |
| dcterms.format | Monograph | |
| dcterms.identifier | http://hdl.handle.net/1951/56002 | |
| dcterms.identifier | Fodor_grad.sunysb_0771E_10501.pdf | en_US |
| dcterms.identifier | http://hdl.handle.net/11401/71600 | |
| dcterms.issued | 2011-05-01 | |
| dcterms.language | en_US | |
| dcterms.provenance | Made available in DSpace on 2012-05-17T12:20:39Z (GMT). No. of bitstreams: 1
Fodor_grad.sunysb_0771E_10501.pdf: 3463434 bytes, checksum: 88f0b2ffba947cfb9392b7544055d2e9 (MD5)
Previous issue date: 1 | en |
| dcterms.provenance | Made available in DSpace on 2015-04-24T14:48:12Z (GMT). No. of bitstreams: 3
Fodor_grad.sunysb_0771E_10501.pdf.jpg: 1894 bytes, checksum: a6009c46e6ec8251b348085684cba80d (MD5)
Fodor_grad.sunysb_0771E_10501.pdf: 3463434 bytes, checksum: 88f0b2ffba947cfb9392b7544055d2e9 (MD5)
Fodor_grad.sunysb_0771E_10501.pdf.txt: 233648 bytes, checksum: 0eeb41f9fa4ed56a422b58c8f7631e61 (MD5)
Previous issue date: 1 | en |
| dcterms.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
| dcterms.subject | Deductive Databases, Dynamic Knowledge Bases, Logic Programming, Programming Languages | |
| dcterms.subject | Computer Science | |
| dcterms.title | Practical Reasoning with Transaction Logic Programming for Knowledge Base Dynamics | |
| dcterms.type | Dissertation | |
