<?xml version="1.0"?>

<!DOCTYPE owl [
	<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
	<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
	<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
	<!ENTITY owl "http://www.w3.org/2002/07/owl#">
	<!ENTITY cc "http://web.resource.org/cc/#">
	<!ENTITY project "http://ebiquity.umbc.edu/ontology/project.owl#">
	<!ENTITY person "http://ebiquity.umbc.edu/ontology/person.owl#">
	<!ENTITY pub "http://ebiquity.umbc.edu/ontology/publication.owl#">
	<!ENTITY assert "http://ebiquity.umbc.edu/ontology/assertion.owl#">
]>

<!--

This ontology document is licensed under the Creative Commons
Attribution License. To view a copy of this license, visit
http://creativecommons.org/licenses/by/2.0/ or send a letter to
Creative Commons, 559 Nathan Abbott Way, Stanford, California
94305, USA.

-->

<rdf:RDF 
		xmlns:rdf = "&rdf;"
		xmlns:rdfs = "&rdfs;"
		xmlns:xsd = "&xsd;"
		xmlns:owl = "&owl;"
		xmlns:cc = "&cc;"
		xmlns:project = "&project;"
		xmlns:person = "&person;"
		xmlns:pub = "&pub;"
		xmlns:assert = "&assert;">
	<pub:TechReport rdf:about="http://ebiquity.umbc.edu/paper/html/id/1206/The-Logic-Theory-Machine-a-Complex-Information-Processing-System">
		<rdfs:label><![CDATA[The Logic Theory Machine — a Complex Information Processing System]]></rdfs:label>
		<pub:title><![CDATA[The Logic Theory Machine — a Complex Information Processing System]]></pub:title>
		<pub:abstract><![CDATA[In this paper, RAND researchers describe a complex information-processing system — the logic theory machine — capable of discovering proofs for theorems in symbolic logic. In contrast to the systematic algorithms ordinarily employed in computation, this system relies heavily on heuristic methods similar to those that have been observed in human problem-solving activity. The specification is written in a formal language, of the nature of a pseudo-code, that is suitable for coding for digital computers. However, the authors are concerned with the specification of the system rather than its realization in a computer. The logic theory machine is part of a program of research to understand complex information-processing systems by specifying and synthesizing a substantial variety of such systems for empirical study.]]></pub:abstract>
		<pub:number><![CDATA[P-868]]></pub:number>
		<pub:note><![CDATA[<img src="https://i.imgur.com/bZcgQ9X.png" style='height: 90%; width: 90%; object-fit: contain; display: block; margin-left: auto; margin-right: auto;'>]]></pub:note>
		<pub:counter>696</pub:counter>
		<pub:tag><![CDATA[ai]]></pub:tag>
		<pub:tag><![CDATA[history]]></pub:tag>
		<pub:tag><![CDATA[knowledge]]></pub:tag>
		<pub:tag><![CDATA[logic]]></pub:tag>
		<pub:publisher><![CDATA[RAND Corporation]]></pub:publisher>
		<pub:author>
			<rdf:List>
				<rdf:first>
					<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Allen/Newell"><person:name><![CDATA[Allen Newell]]></person:name><rdfs:label><![CDATA[Allen Newell]]></rdfs:label></person:Person>
				</rdf:first>
				<rdf:rest>					<rdf:List>
						<rdf:first>
							<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Herbert/Simon"><person:name><![CDATA[Herbert A. Simon]]></person:name><rdfs:label><![CDATA[Herbert A. Simon]]></rdfs:label></person:Person>
						</rdf:first>
						<rdf:rest rdf:resource="&rdf;nil" />
					</rdf:List>
				</rdf:rest>
			</rdf:List>
		</pub:author>
		<pub:firstAuthor>
<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Allen/Newell"><person:name><![CDATA[Allen Newell]]></person:name><rdfs:label><![CDATA[Allen Newell]]></rdfs:label></person:Person>
		</pub:firstAuthor>
		<pub:softCopy><pub:SoftCopy>
			<pub:softCopyFormat><![CDATA[PDF Document]]></pub:softCopyFormat>
			<pub:softCopyURI><![CDATA[http://ebiquity.umbc.edu/get/a/publication/1470.pdf]]></pub:softCopyURI>
			<pub:softCopySize>3618631</pub:softCopySize>
			</pub:SoftCopy>
			</pub:softCopy>
	</pub:TechReport>

<rdf:Description rdf:about="">
	<cc:License rdf:resource="http://creativecommons.org/licenses/by/2.0/" />
</rdf:Description>

</rdf:RDF>
