A theory, implementation and applications of human-like understanding

DOI10.1016/0165-4896(83)90015-XzbMath0525.68059OpenAlexW2084955005MaRDI QIDQ593790

Sumit K. Garg

Publication date: 1983

Published in: Mathematical Social Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0165-4896(83)90015-x

zbMATH Keywords

knowledge representationnatural languageexpert systemanthropoecosystemdatabase management systemknowledge databaseoperation logicsemantic language clauses

Mathematics Subject Classification ID

Logic of natural languages (03B65) Abstract data types; algebraic specification (68Q65) Ecology (92D40) Artificial intelligence (68T99) Operations research and management science (90B99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Information storage and retrieval of data (68P20) Theory of operating systems (68N25)

Cites Work

• Understanding by semantic language, operation logic and formularies
• PRUF—a meaning representation language for natural languages
• Toward automatic program synthesis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A theory, implementation and applications of human-like understanding