Computer-aided reasoned discourse or, how to argue with a computer

P Smolensky, B Fox, R King… - Cognitive science and its …, 2013 - taylorfrancis.com
Reasoning is a demanding intellectual task that is greatly facilitated by appropriate
notational systems. This chapter reports a new notational system we are developing for …

Computer-Aided Reasoned Discourse or, How to Argue with a Computer

P Smolensky, B Fox, R King… - Cognitive Science and Its …, 2013 - taylorfrancis.com
Reasoning is a demanding intellectual task that is greatly facilitated by appropriate
notational systems. This chapter reports a new notational system we are developing for …

[PDF][PDF] Computer-Aided Reasoned Discourse

P Smolensky, C Lewis - 1986 - scholar.colorado.edu
Abstract Reasoning is a demanding intellectual task that is greatly facilitated by appropriate
notational systems. We propose to develop a new notational system for supporting reasoned …

[PDF][PDF] Computer-Aided Reasoned Discourse

P Smolensky, C Lewis - 1986 - spl.cde.state.co.us
Abstract Reasoning is a demanding intellectual task that is greatly facilitated by appropriate
notational systems. We propose to develop a new notational system for supporting reasoned …