![\"A](\"http:\/\/haleyai.com\/wordpress\/wp-content\/uploads\/2013\/05\/The-hydrophobic-ends-of-the-lipids-of-a-cells-plasma-membrane-are-oriented-away-from-the-cells-cytoplasm.png\" "\\"The")
<\/a><\/p>\nWith KnowBuddy and the Linguist, you can:<\/p>\n
- \n
- Master natural language and formal logic.<\/li>\n
- Automate business logic expressed in plain English.<\/li>\n
- Provide artificial intelligence with the knowledge it needs to think.<\/li>\n<\/ul>\n
KnowBuddy and the Linguist have been used:<\/p>\n
- \n
- in deep question answering systems<\/li>\n
- to understand and comply with financial regulations<\/li>\n
- in educational technology that understands what it teaches<\/li>\n<\/ul>\n
KnowBuddy performs natural language analysis and disambiguation beyond syntax to logical semantics and axiomatic knowledge.<\/p>\n
- \n
- Click here<\/a> for a video showing the knowledge above being acquired<\/li>\n
- Click here <\/a>for a presentation on breaking the knowledge acquisition bottleneck<\/li>\n
- Click here<\/a> for a Vulcan report on knowledge acquisition for deep question answering<\/li>\n<\/ul>\n
For more information see posts tagged “linguist”<\/a> or contact linguist@haleyai.com<\/a>.<\/p>\n
KnowBuddy is available on-line at https:\/\/linguist.haleyai.com.<\/a><\/strong><\/p>\n
\nThe Linguist generates logic and automates reasoning using\u00a0 description logic, logic programs, theorem proving systems, and other inference or business rule engines.<\/p>\n
For more information, see:<\/p>\n
- \n
- Requirements for logical reasoning<\/a><\/li>\n
- Confessions of a production system vendor<\/a><\/li>\n
- Semantic Inferencing on Large Knowledge (SILK<\/em>) knowledge representation system<\/a><\/li>\n
- the Semantics of Business Vocabulary and Rules<\/a> (SBVR) standard for business logic<\/li>\n<\/ul>\n
\nCapturing and automating business logic and knowledge from natural English is much easier than using business ‘rule’ management systems<\/a> (BRMS), such asOracle Policy Automation,<\/a> IBM Operational Decision Manager<\/a>, and others (e.g.,\u00a0 SAP, Progress, Fair Isaac).\u00a0 And the resulting logic can be translated into production rules, such as Haley Systems<\/a> used to do for the most popular syntax<\/a>.\u00a0 We recommend more advanced reasoning technology, as discussed above, however.<\/p>\n","protected":false},"excerpt":{"rendered":"
The Linguist\u2122 and KnowBuddy\u2122 With KnowBuddy and the Linguist, you can: Master natural language and formal logic. Automate business logic expressed in plain English. Provide artificial intelligence with the knowledge it needs to think. KnowBuddy and the Linguist have been used: in deep question answering systems to understand and comply with financial regulations in educational … <\/p>\n
- Confessions of a production system vendor<\/a><\/li>\n
- Click here <\/a>for a presentation on breaking the knowledge acquisition bottleneck<\/li>\n
- Click here<\/a> for a video showing the knowledge above being acquired<\/li>\n