Rozprawy doktorskie na temat „Defeasible logic”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 23 najlepszych rozpraw doktorskich naukowych na temat „Defeasible logic”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
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.
Pełny tekst źródłaAceto, 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/.
Pełny tekst źródłaZaverucha, 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.
Pełny tekst źródłaJanjua, 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.
Pełny tekst źródłaNair, Vineet. "On Extending BDI Logics". Thesis, Griffith University, 2003. http://hdl.handle.net/10072/365892.
Pełny tekst źródłaThesis (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.
Pełny tekst źródłaFermé, 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.
Pełny tekst źródłaQC 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.
Pełny tekst źródłaEn 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, i 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.
Pełny tekst źródłaRiveret, 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.
Pełny tekst źródłaRiveret, 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/.
Pełny tekst źródłaPensel, Maximilian [Verfasser], Anni-Yasmin [Akademischer Betreuer] Turhan i 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.
Pełny tekst źródłaOlivieri, Francesco. "Compliance by Design: Synthesis of Business Processes by Declarative Specifications". Thesis, Griffith University, 2015. http://hdl.handle.net/10072/367344.
Pełny tekst źródłaThesis (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.
Pełny tekst źródłaThesis (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.
Pełny tekst źródłaRubino, 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/.
Pełny tekst źródłaLai, Wen-wen, i 賴雯雯. "Traffic Signal Control by Defeasible Logic Inference". Thesis, 2006. http://ndltd.ncl.edu.tw/handle/2c5x32.
Pełny tekst źródła國立臺灣科技大學
電機工程系
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, i 陳柏澄. "The Application of Defeasible Logic in Workflow Management System". Thesis, 2010. http://ndltd.ncl.edu.tw/handle/79164919368193057165.
Pełny tekst źródła國立臺灣師範大學
資訊工程研究所
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.
Pełny tekst źródłaPensel, Maximilian. "A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond". 2019. https://tud.qucosa.de/id/qucosa%3A36341.
Pełny tekst źródłaDixon, Scott Walton. "The theory and pedagody of semantic inconsistency in critical reasoning". Thesis, 2018. http://hdl.handle.net/10500/24927.
Pełny tekst źródłaPhilosophy Practical and Systematic Theology
D. Phil
"Reasoning about Cyber Threat Actors". Doctoral diss., 2018. http://hdl.handle.net/2286/R.I.50463.
Pełny tekst źródłaDissertation/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.
Pełny tekst źródła