Filters








253,993 Hits in 2.9 sec

Metaphysics and Computational Cognitive Science: Let's Not Let the Tail Wag the Dog

Frances Egan
2012 Journal of Cognitive Science  
What is needed, according to Chalmers, is an account of implementation, which would both answer the Searle/Putnam challenge and provide a foundation for computational cognitive theorizing.  ...  In this paper I argue that computational cognitive models typically do not satisfy Chalmers' notion of implementation, and so his account does not provide a conceptual foundation for computational theorizing  ...  ) for certain arguments for which the function is defined.  ... 
doi:10.17791/jcs.2012.13.1.39 fatcat:3a4j46kna5gwfgxf7s2ml3rl34

Argumentation-based Health Information Systems: A Design Methodology

Helena Lindgren, Timotheus Kampik, Esteban Guerrero Rosero, Madeleine Blusi, Juan Carlos Nieves
2020 IEEE Intelligent Systems  
Indeed, much of the research on formal argumentation and healthcare is limited to the definition and (sometimes) the implementation of running examples, without the involvement of domain experts, the creation  ...  Note that in the context of formal argumentation, arguments can model any type of knowledge, and are not necessarily based on natural language.  ...  This work was supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP), funded by the Knut and Alice Wallenberg Foundation and by the European Union's Horizon 2020 programme, under  ... 
doi:10.1109/mis.2020.3044944 fatcat:zbxurbw2kbbhfeuilpej6rwdbq

Editorial

Nikolaj Bjørner, Frank de Boer, Andrew Butterfield
2018 Formal Aspects of Computing  
two tools, are studied for verifying opacity of implementations of software transactional memories.  ...  Together with the special issue of Acta Informatica which focusses on theoretical foundations it consists of the most well received research papers covering a spectrum of advances in formal methods.  ...  two tools, are studied for verifying opacity of implementations of software transactional memories.  ... 
doi:10.1007/s00165-018-0463-5 fatcat:wj2c6445nfeh7e3wgub56fjhzq

Alignment-based Translations Across Formal Systems Using Interface Theories

Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe
2017 Electronic Proceedings in Theoretical Computer Science  
We use a foundationally uncommitted framework to write interface theories that abstract from logical foundation, implementation, and library structure.  ...  Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations, the implementations  ...  Additional Interface Theories The foundation independent nature of MMT allows us to implement interface theories with almost arbitrary levels of detail and for vastly different foundational settings.  ... 
doi:10.4204/eptcs.262.7 fatcat:cea7qlpkpbe6zo6luoyihenfya

Executable and Symbolic Conformance Tests for Implementation Models (Position Paper) [chapter]

Thomas Baar
2002 Lecture Notes in Computer Science  
This paper is concerned with formal conformance tests between different models. It stresses the need for formal semantical foundations of all languages that are used to express models.  ...  In particular, we classify conformance tests for implementation models.  ...  Acknowledgements My thanks are due to Martin Giese, Reiner Hähnle, and Bernhard Beckert for their comments on earlier drafts of this paper.  ... 
doi:10.1007/3-540-46105-1_27 fatcat:owokh4bkkvez5jgfuyf5ot667y

Beluga: Programming with Dependent Types, Contextual Data, and Contexts [chapter]

Brigitte Pientka
2010 Lecture Notes in Computer Science  
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code and mechanizing metatheory  ...  In this paper, we present an overview of Beluga, a framework for programming and reasoning with formal systems.  ...  Formal foundations and correctness guarantees are even harder to find.  ... 
doi:10.1007/978-3-642-12251-4_1 fatcat:6lfb46dwpzbgdkocnaxvngnjgm

Classification of Alignments Between Concepts of Formal Mathematical Systems [chapter]

Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe
2017 Lecture Notes in Computer Science  
proofs from different formal proof libraries or semi-formal libraries even if the latter is based on a different mathematical foundation.  ...  We present a classification of alignments and design a simple format for describing alignments, as well as an infrastructure for sharing them.  ...  Acknowledgements We were supported by the German Science Foundation (DFG) under grants KO 2428/13-1 and RA-1872/3-1, the Austrian Science Fund (FWF) grant P26201, and the ERC starting grant no. 714034  ... 
doi:10.1007/978-3-319-62075-6_7 fatcat:25nchzaurjbarpg4rkav4xdztu

A Computational Foundation for the Study of Cognition

David J. Chalmers
2011 Journal of Cognitive Science  
In order for the foundation to be stable, the notion of computation itself has to be clarified.  ...  If we build semantic considerations into the conditions for implementation, any role that computation can play in providing a foundation for AI and cognitive science will be endangered, as the notion of  ... 
doi:10.17791/jcs.2011.12.4.325 fatcat:xqahq2erynenjcyhvezuizjiqq

Deriving Harsanyi's Utilitarianism from De Finetti's Book-Making Argument

Enrico Diecidue
2006 Theory and Decision  
The new argument provides a foundation for utilitarianism that is alternative to Harsanyi's, and that generalizes foundations based on the theorem of the alternative.  ...  It has subsequently been accepted as a principle of rationality for decisions under uncertainty. In this note, a similar argument is applied to a welfare context and its implications are studied.  ...  The policy f describes the monetary consequence for each individual when it is implemented, with f (s i ), (i = 1; :::; n) the amount of money for individual s i if policy f is implemented.  ... 
doi:10.1007/s11238-006-9019-x fatcat:nely2ejhubfjrhe7w52cgnukoq

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362)

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert Van Der Torre, Marc Herbstritt
2016 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 "Present and Future of Formal Argumentation".  ...  The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the  ...  The aim and purpose would be to help assure that formal models of argument are useful as a foundation for software tools supporting real argumentation tasks in domains such as law, politics and humanities  ... 
doi:10.4230/dagrep.5.8.74 dblp:journals/dagstuhl-reports/GabbayGLT15 fatcat:htoo2zzpi5hyjogjeck2m6iilm

Homotopy Type Theory in Isabelle [article]

Joshua Chen
2021 arXiv   pre-print
The infrastructure developed is then used to formalize foundational results from the Homotopy Type Theory book.  ...  the source code level of dependently typed systems.  ...  argument for Ω 2 (A) (Theorem 2.1.6 of [14] , also formalized in this work).  ... 
arXiv:2002.09282v2 fatcat:cgaeh2o2jrhlrb37ofqayl4pre

Formal Foundations for Hierarchical Safety Cases

Ewen Denney, Ganesh Pai, Iain Whiteside
2015 2015 IEEE 16th International Symposium on High Assurance Systems Engineering  
Our aim is to provide a formal, theoretical foundation for safety cases.  ...  To this end, we formally specify and prove the correctness of key operations for constructing and managing hicases, which gives the specification for implementing hicases in AdvoCATE, our toolset for safety  ...  The theory provides a formal foundation to the implementation of hicases in our toolset, AdvoCATE [7] , providing features for constructing, modifying, and viewing hinodes.  ... 
doi:10.1109/hase.2015.17 dblp:conf/hase/DenneyPW15 fatcat:u5oxevy2i5cubk3y5pwpznpguy

Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication

Chris Reed, Doug Walton
2005 Autonomous Agents and Multi-Agent Systems  
By focusing on models of natural language argumentation schemes, and then building formal systems from them, direct implementation becomes possible that not only has advantages in flexibility and scope  ...  Although the implementation necessarily makes specific choices with regard to development, the formal component guarantees the broader applicability of the approach.  ...  They would also like to thank Henry Prakken for stimulating discussions on closely related issues.  ... 
doi:10.1007/s10458-005-1729-x fatcat:fsiuo5emwrhcxdtwkqsswt6cki

Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication [chapter]

Chris Reed, Doug Walton
2005 Lecture Notes in Computer Science  
By focusing on models of natural language argumentation schemes, and then building formal systems from them, direct implementation becomes possible that not only has advantages in flexibility and scope  ...  Although the implementation necessarily makes specific choices with regard to development, the formal component guarantees the broader applicability of the approach.  ...  They would also like to thank Henry Prakken for stimulating discussions on closely related issues.  ... 
doi:10.1007/978-3-540-32261-0_2 fatcat:yfx76efzc5fm7apt4lo5z2xqkm

A Critical Discussion Game for Prohibiting Fallacies

Jacky Visser, Katarzyna Budzynska, Chris Reed
2017 Logic and Logical Philosophy  
Central to the pragma-dialectical method for analysing and evaluating argumentative discourse is the ideal model of a critical discussion.  ...  By formalising and computationally implementing the model of a critical discussion, we take a first step in the development of software to computationally model argumentative dialogue in which fallacies  ...  We would like to thank Frans van Eemeren, Francisca Snoeck Henkemans, Bart Verheij, and John Lawrence for their contributions to the research the present paper builds on.  ... 
doi:10.12775/llp.2017.021 fatcat:eutnrcjezzgpdgdayww3yyajyy
« Previous Showing results 1 — 15 out of 253,993 results