Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 8 of 8 for “"Epistemic Logic"”.
-
Quantified Epistemic Logic
Made available in DSpace on 2014-12-10T17:07:45Z (GMT). No. of bitstreams: 1 7013518.pdf: 9303428 bytes, checksum: aba837db0e39fda3dd90703011faab73 (MD5) Previous issue date: 1969
-
Refining the semantics for epistemic logic programs
… to present a new semantics for the language of Epistemic Specifications that accurately defines those models of associated programs that are to be considered as world views from the standpoint of a rational agent. Epistemic Specifications is a declarative programming language that is an …
-
A Formal Foundation of FDI Design via Temporal Epistemic Logic
… is equipped with a semantics based on Temporal Epistemic Logic, thus enabling reasoning about partially observable systems. Automated reasoning techniques can then be applied to perform validation, verification, and synthesis of the FDI. This formal process guarantees that the generated FDI …
-
In Search of Homo Sociologicus
… subject of this dissertation is to build an epistemic logic system that is able to show the spreading of knowledge and beliefs in a social network that contains multiple subgroups. Epistemic logic is the study of logical systems that express mathematical properties of knowledge and belief. In …
-
Three Essays in Intuitionistic Epistemology
… present three papers studying knowledge and its logic from an intuitionistic viewpoint.</p> <p><em>An Arithmetic Interpretation of Intuitionistic Verification</em></p> <p>Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK …
-
Distributed computation in wireless and dynamic networks
… efficiently. Also, using tools from the field of epistemic logic, we analyze information flow in dynamic networks, and study the time required to achieve various notions of coordination. In the second part of the thesis we restrict attention to static networks, which retain an important feature of …
-
Effective Teamwork Using a Theory of Mind Over Plans
… (1) A novel modeling framework based on dynamic epistemic logic to represent agents' nested beliefs about plans. This complements existing frameworks that focus on beliefs about states, so that agents can explicitly communicate about plans during coordination. (2) EPike, a computational model for …
-
Speech act theory, discourse structure and indirect speech
… and deontic operators on the proposition within epistemic logic. This idea of the description of a speech act in terms of cognitive states is developed in Chapter Four. In Chapter Four, speech acts are related using a communicated cognitive state to pair two speech acts together into a primary …