Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017

Dov M. Gabbay, Jörg H. Siekmann
2017 IfColog journal of logics and their applications (FLAP)  
This mixed presentation is present everywhere: in applied logic, AI, linguistics, computer science and even philosophy. We give more examples: • Consider a representation of an agent (irrespective of the exact theory used). Any agent will have beliefs, belief revision, reasoning mechanisms (such as abduction) and more. Some of these features are declarative, others are algorithmic. The agent's nature is determined by both, i.e. these algorithms as well as the declarative content build the "personality" of the agent.
dblp:journals/flap/GabbayS17 fatcat:wvtsqquk3vhm3ohgsxn6lzc22u