{"type":"ScholarlyArticle","title":"A Network-Based Knowledge Representation and Its Natural Deduction System","authors":[{"name":"Richard Fikes","slug":"richard-fikes","given":"Richard","family":"Fikes","affiliation":""},{"name":"Gary G. Hendrix","slug":"gary-g-hendrix","given":"Gary G.","family":"Hendrix","affiliation":""}],"abstract":"We describe a knowledge representation scheme called K-NET and a problem solving system called SNIFHR designed to answer queries using a K-NET knowledge base. K-NET uses a partitioned semantic net to combine the expressive capabilities of the first-order predicate calculus with linkage to procedural knowledge and with full indexing of objects to the relationships in which they participate. Facilities are also included for representing taxonomies of sets and for maintaining hierarchies of contexts. SNIFFER is a manager and coordinator of deductive and problem-solving processes. The basic system includes a logically complete set of natural deduction facilities that do not require statements to be converted into clause or prenex normal form. Using SNIFFER's coroutine-based control structure, alternative proofs may be constructed in pseudo-parallel and re sults shared among them . In addition, SNIFFER can al5o manage the application of specialist proc ed ures th at have specific knowledge about a particular domain or about the topology of the K-NET structures. For example, speciali st procedures are use d to manipulate taxonomic information and to link the system to information in external data bases.","doi":null,"url":"https://ijcai.org/proceedings/1977/52","pdf":"https://ijcai.org/proceedings/1977/0052.pdf","markdown":"https://ijcai.org/proceedings/1977/52.md","bibtex":"https://ijcai.org/proceedings/1977/bibtex/52","volume":{"slug":"1977","title":"Proceedings of the Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1977","url":"https://ijcai.org/proceedings/1977/","year":1977,"location":"Cambridge, MA, USA","dates":"","editors":"Raj Reddy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Representation of Knowledge","track":"Representation of Knowledge","number":52,"pages":{"first":235,"last":245},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}