Home › Formal Languages and Knowledge Representation
Formal Languages and Knowledge Representation
14 chapters
Chapters
1 What They Are Formal Languages and Knowledge Representation · 2:30 Dive into the foundational world of formal languages and knowledge representation, exploring how structured systems like XML and RuleML give logic a voice on the semantic web.
2 What None of Them Fully Achieve Formal Languages and Knowledge Representation · 2:55 Exploring the limitations of natural language and formal systems like SBVR, this chapter reveals why even structured approaches struggle to eliminate ambiguity when representing complex concepts like deadlines and frequencies in a way machines can truly understand.
1 What Each Language Gets Right Formal Languages and Knowledge Representation · 3:16 A survey of specialized formal languages—from Deontic Logic's handling of norms and obligations to SBVR's human-readable business rules—revealing what each approach uniquely contributes to knowledge representation.
3 The Ideal Language Would Look Like Formal Languages and Knowledge Representation · 3:34 Exploring the design of an ideal formal language, this chapter examines how borrowing from SBVR's controlled vocabulary and Catala's literate programming style could bridge human-readable language with machine-processable logic.
4 Practical Recommendations Formal Languages and Knowledge Representation · 3:04 Bridging theory and practice, this chapter walks through four concrete strategies for bringing formal language structure into real-world compliance and policy work, starting with the foundational step of building a controlled vocabulary using SBVR principles.
Struggling to Find Its Track Formal Languages and Knowledge Representation · 4:58 Tracing the rocky adoption history of SBVR since its 2008 release, this chapter examines why the business rules standard struggled to gain traction and failed to penetrate security and compliance domains.
Parse With Confidence All Along Formal Languages and Knowledge Representation · 7:51 Dive into ACE, a powerful English parsing system three decades in the making, and discover how it transforms natural language sentences into precise formal meanings while transparently flagging ambiguity.
Making the Complex Fall in Line Formal Languages and Knowledge Representation · 3:19 Explore how formal languages like ACE tackle real-world complexity across domains including biomedical ontologies, patent law, and government legal systems, revealing how structured language transforms messy human knowledge into precise, actionable information.
Beyond True and False Formal Languages and Knowledge Representation · 4:34 Venture beyond binary true/false logic into the world of deontic logic, where obligation, permission, prohibition, and exemption give us the tools to formally reason about rules, policies, and ethical constraints.
No More Places to Hide Formal Languages and Knowledge Representation · 4:58 Exploring how separating policy documentation from actual code creates dangerous compliance gaps, this song reveals how literate programming solves the problem by keeping logic and natural language explanations side by side, leaving no room for inconsistencies to hide.
When Time Derails the Rules Formal Languages and Knowledge Representation · 3:39 Exploring the limitations of formal rule systems like SBVR in time-sensitive, high-stakes situations, listeners will discover why step-by-step procedural frameworks often outperform semantic vocabulary-based approaches when rapid emergency response takes priority over structured abstraction.
Born in Zurich, Logic Alive Formal Languages and Knowledge Representation · 4:29 Discover ACE (Attempto Controlled English), the formal controlled language born in Zurich in 1995, and learn how its structured grammar bridges natural English and first-order logic for precise knowledge representation.
When ACE Breaks Down Formal Languages and Knowledge Representation · 4:47 Exploring the limitations of ACE (Axiomatic Concise Encoding) when handling time-sensitive and procedural knowledge, listeners will discover why real-time requirements, recovery objectives, and sequential incident response workflows demand representation approaches beyond what ACE can effectively model.
Beyond the Coded Sails Formal Languages and Knowledge Representation · 4:37 Exploring the boundaries of formal languages like Catala, this chapter examines why certain governance functions—risk appetite statements, board oversight, and cultural awareness campaigns—require human judgment that no coding system can replicate.