Dissertations / Theses on the topic 'Defeasible logic'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 23 dissertations / theses for your research on the topic 'Defeasible logic.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Trelles, Oscar. "Donald Nute (ed.): Defeasible Deontic Logic." Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/113238.
Full textAceto, Giacomo. "Implementation of a non ground meta interpreter for defeasible logic." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/2435/.
Full textZaverucha, Gerson. "A nonmonotonic multi-agent logic of belief : a Modal Defeasible Relevant approach." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46629.
Full textJanjua, Naeem Khalid. "A defeasible logic programming-based framework to support argumentation in Semantic Web applications." Thesis, Curtin University, 2013. http://hdl.handle.net/20.500.11937/2073.
Full textNair, Vineet. "On Extending BDI Logics." Thesis, Griffith University, 2003. http://hdl.handle.net/10072/365892.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Information Technology
Full Text
Dalglish, Steven Jack William. "Accepting Defeat: A Solution to Semantic Paradox with Defeasible Principles for Truth." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1597757494987204.
Full textFermé, Eduardo. "On the Logic of Theory Change : Extending the AGM Model." Doctoral thesis, KTH, Filosofi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-29601.
Full textQC 20110211
Pardo, Ventura Pere. "Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC." Doctoral thesis, Universitat de Barcelona, 2013. http://hdl.handle.net/10803/129620.
Full textEn aquesta tesi, estudiem algorismes de planificació per a dues lògiques enfocades a sistemes multi-agent. Amb més detall, estudiem problemes de planificació (com arribar a estats objectiu a partir de l'estat inicial i un conjunt d'accions disponibles), els elements dels quals es poden expressar en alguna de les dues lògiques. En la primera part de la tesi, proposem en primer lloc una extensió temporal de la programació lògica rebatible (temporal defeasible logic programming) t-DeLP. Aquest és un sistema de programació lògica no-monotònica basat en tècniques d'argumentació i orientat al raonament sobre les accions, i especialment dels seus efectes indirectes. En el llenguatge d'aquesta lògica, hom pot descriure accions temporals de l'estil de sistemes de planificació, i definir al seu temps un sistema de transicions d'estats. Finalment, això permet definir un sistema de planificació basat en aquesta lògica que combina accions i derivacions lògiques. Les contribucions principals al respecte són: l'estudi de les propietats argumentatives del sistema lògic, i de la correcció i completesa d'algorismes basats en Breadth First Search de cerca en l'espai de plans. En la segona part de la tesi, estudiem sistemes de planificació definits sobre una família de lògiques dinàmiques epistèmiques, conegudes com a Logics of Communication and Change. Aquestes lògiques permeten l'estudi formal de les creences de diversos agents, així com dels efectes epistemics i físics de diferents tipus d'accions. Entre aquestes, podem incloure diferents accions comunicatives (públiques, privades), observacions i les accions físiques habituals en planning. L'estudi del sistema de planificació definit per aquestes lògiques és dut a terme mitjançant algorismes de cerca basats en breadth first search. Les contribucions principals són l'extensió d'aquestes lògiques amb accions no-deterministes i composició d'accions, i la demostració de la correcció
Nair, Vineet, and n/a. "On Extending BDI Logics." Griffith University. School of Information Technology, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030929.095254.
Full textRiveret, Régis <1979>. "Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/911/1/Tesi_Riveret_Regis.pdf.
Full textRiveret, Régis <1979>. "Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2008. http://amsdottorato.unibo.it/911/.
Full textPensel, Maximilian [Verfasser], Anni-Yasmin [Akademischer Betreuer] Turhan, and Piero Andrea [Gutachter] Bonatti. "A Lightweight Defeasible Description Logic in Depth : Quantification in Rational Reasoning and Beyond / Maximilian Pensel ; Gutachter: Piero Andrea Bonatti ; Betreuer: Anni-Yasmin Turhan." Dresden : Technische Universität Dresden, 2019. http://d-nb.info/122720213X/34.
Full textOlivieri, Francesco. "Compliance by Design: Synthesis of Business Processes by Declarative Specifications." Thesis, Griffith University, 2015. http://hdl.handle.net/10072/367344.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
Institute for Integrated and Intelligent Systems
Science, Environment, Engineering and Technology
Full Text
Scannapieco, Simone. "Towards a Methodology for Business Process Revision Under Norm and Outcome Compliance." Thesis, Griffith University, 2014. http://hdl.handle.net/10072/368143.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
Institute for Integrated and Intelligent Systems
Science, Environment, Engineering and Technology
Full Text
Rubino, Rossella <1980>. "Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1970/2/thesis.pdf.
Full textRubino, Rossella <1980>. "Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2009. http://amsdottorato.unibo.it/1970/.
Full textLai, Wen-wen, and 賴雯雯. "Traffic Signal Control by Defeasible Logic Inference." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/2c5x32.
Full text國立臺灣科技大學
電機工程系
94
Traffic signal control at traffic intersections refers to the decision of the access right to a particular lane such that no collision will occur, as well as the allocation time, which affects system utilization. Conventional approaches are dominated by fixed-time switching policy, which, albeit simple, may not yield maximal intersection utilization nor minimal waiting time for the cars queued at the intersection in that real-time traffic is not considered. Formulating the decision problem as a resource contention one, this paper proposes a traffic signal control policy which is based on a defeasible logic scheme: Traffic flows at competing lanes are compared as defeasible rules with the access right granted to the one with heavier traffic; meanwhile, definite rules such as constraint on switching time of signals are also taken into account. With the aid of defeasible graph, conflicts among competing parties are identified and arbitraged accordingly, which leads to a FMSD modeling of the final control decision. Two cases are studied thoroughly: a single intersection, and an intersection in the vicinity of a railway crossroad. Software simulation coded in Java shows that the proposed approach yields better performance over a fixed-time approach. Controllers that embed the defeasible logic rules are also implemented by Verilog HDL on a FPGA to show its ready implementation. The defeasible logic based control proposed in this paper can be also extended to general resource allocation problems when real-time information regarding competing parties are available for defeasible reasoning.
Chen, Po-Cheng, and 陳柏澄. "The Application of Defeasible Logic in Workflow Management System." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/79164919368193057165.
Full text國立臺灣師範大學
資訊工程研究所
98
With popularization of the network, there are more and more application programs which are changed to exist in the service way. This may not only reduce the cost of local host, but has to speed up integration and reuse characteristics. Service Oriented Architecture (SOA) is produced for this type of demand. In recent years the related technologies continued the vigorous development, not only the hardware aspect potency promotion, but also many progresses of software, such as the architecture of XML platform, protocol of web server engine ,the standard of SOAP message and so on, they are all put into quite many academic researches and practical tests. It's worth noting that the technology of management work flow system still remains in the directed graph stage. This stems from initially the computer only had batch processing. However, the technological progress changes every day at present, both parallel operation and multiple processing are already the basic functions of computer system. Facing the changes, we cannot but think about the directed graph work flow is really can handle each kind of demand of network service or not. This paper is mainly aims at this question to conduct the research. We tried to give an example to explain the use of directed graphs to handle a similar situation is quite complex. When we tried to solve this problem from the logical point of view, we found the judgment way between defeasible logical system and general program is different, so we tried to move this direction to explore. After all, defeasible logic is simply the number of systems theory, it is not easy to apply to work processes on fact, so we devised a new system architecture which mainly through proxy program to aid the inference of logical system and this is to ensure the accuracy of process-oriented. Through the implementation of the results, we found we cannot only simulate general work flow successfully, but also most explicit data demonstrated this way in the majority of flow systems were quite effective.
蔣涵孟. "High Level Synchronization for Workflow Management System in Defeasible Logic." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/71427970985541284507.
Full textPensel, Maximilian. "A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond." 2019. https://tud.qucosa.de/id/qucosa%3A36341.
Full textDixon, Scott Walton. "The theory and pedagody of semantic inconsistency in critical reasoning." Thesis, 2018. http://hdl.handle.net/10500/24927.
Full textPhilosophy Practical and Systematic Theology
D. Phil
"Reasoning about Cyber Threat Actors." Doctoral diss., 2018. http://hdl.handle.net/2286/R.I.50463.
Full textDissertation/Thesis
Doctoral Dissertation Computer Engineering 2018
Maier, Frederick W. "A study of Defeasible Logics." 2007. http://purl.galileo.usg.edu/uga%5Fetd/maier%5Ffrederick%5Fw%5F200712%5Fphd.
Full text